frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Cohesix 0.4.0-alpha, a no-std control-plane OS

https://github.com/lukeb-aidev/cohesix
2•Cohesix•1h ago
I became increasingly frustrated with control planes that were easy to assemble but hard to audit. The convenience of open-source stacks doesn’t compose with compliance - because every extra daemon and API becomes another surface to explain, version, and defend.

I built Cohesix 0.4.0-alpha to treat compliance and security as a systems problem. It is a control-plane OS for edge GPU nodes, running as an seL4 VM, and it exposes a Secure9P namespace instead of a traditional filesystem or RPC layer.

The heresy is deliberate. The VM userspace is no_std, no POSIX, no traditional filesystem, no in‑VM RPC, and no background daemons. The interface is a small, explicit grammar: file‑shaped control surfaces under a Secure9P namespace.

This is not minimalism for its own sake. It is about determinism, auditability, revocation, bounded behavior, and making failure modes legible. Tickets and leases expire; budgets return ELIMIT instead of mystery latency; /proc exposes queue and lease state.

A deployment is a hive: a queen role orchestrates worker‑heart and worker‑gpu roles, and NineDoor exports paths like /queen/ctl, /proc, /log, and /worker/<id>/telemetry. Operators attach with ‘cohsh’ over an authenticated TCP console; that console is the only in‑VM listener.

Cohesix does not try to replace Linux, Kubernetes, CUDA, or existing OSS. Heavy ecosystems stay on the host, and host‑side tools and sidecars mirror them into /gpu and /host, so adoption can happen without rewrites. It is a control‑plane boundary, not a workload plane.

In 0.4.0‑alpha I added authoritative scheduling/lease/export/policy control files with /proc observability, plus a REST gateway that projects the same file semantics over HTTP. QEMU aarch64/virt is the dev target today; UEFI ARM64 is the intended hardware target.

If you want a general‑purpose OS, this is the wrong tool. I wanted something boring on purpose, small but deceptively powerful, and I was willing to sacrifice convenience to regain control.

Air in Indoor Ice Rinks a Health Risk for 2026 Olympians

https://www.medscape.com/viewarticle/indoor-ice-air-health-concern-ahead-2026-olympics-2026a10002ou
1•wjb3•27s ago•0 comments

Show HN: Local AI – Curated resources for running LLMs on consumer hardware

https://github.com/msb-msb/awesome-local-ai
1•insiderllm•1m ago•0 comments

Watch Club's producing short video dramas and building a social network for them

https://techcrunch.com/2026/02/03/watch-club-microdrama-video-social-network/
1•nadis•3m ago•0 comments

Show HN: Toktrack – 1000x faster AI CLI cost tracker (Rust and SIMD)

https://github.com/mag123c/toktrack
2•mag123c•3m ago•1 comments

Kyiv bureau among those axed by Jeff Bezos' Washington Post,journalists laid off

https://kyivindependent.com/jeff-bezos-washington-post-shuts-down-kyiv-bureau-fires-staff/
1•wslh•4m ago•0 comments

Senators Accuse Equifax of 'Price-Gouging' Medicaid Programs

https://www.nytimes.com/2026/02/04/health/equifax-medicaid-states-senators.html
1•geox•7m ago•0 comments

New Source Performance Standards Review for Stationary Combustion/Gas Turbines [pdf]

https://www.epa.gov/system/files/documents/2026-01/for-website_preamble-clean-san11542-combustion...
1•wjb3•8m ago•1 comments

The Prompt That Makes My Local Coding Agent Possible

https://www.robpanico.com/articles/display/?entry_short=the-prompt-that-makes-my-local-coding-age...
1•retrocog•8m ago•1 comments

Mouthbreathing Machiavellis Dream of a Silicon Reich (2014)

https://thebaffler.com/latest/mouthbreathing-machiavellis
2•lbrito•8m ago•0 comments

Show HN: AI that prepares you for meetings automatically

https://forms.zams.com/t/gN4eXz3mMgus
1•nddave•10m ago•1 comments

Show HN: Fundamental financial data directly in Google Sheets

https://workspace.google.com/marketplace/app/finqual/218031317945
1•myztika•11m ago•0 comments

2100 – Beyond the Horizon – A Utopian AI Short Film by the Flo Factory [video]

https://www.youtube.com/watch?v=EJNhFARaxKA
1•pdfernhout•11m ago•1 comments

Always Be Journaling (2018)

https://letterstoanewdeveloper.com/2018/12/14/always-be-journaling/
1•mooreds•12m ago•0 comments

Confidential computing and trusted execution within the agentic ecosystem

https://www.youtube.com/playlist?list=PLYGWJjYNEIt3zCGboiDjsNwHn3t2BTLAJ
1•adfm•13m ago•0 comments

Fyxer.ai – AI Email Companion

https://www.fyxer.com/
1•joeyswole•15m ago•0 comments

The network architecture of general intelligence in the human connectome

https://www.nature.com/articles/s41467-026-68698-5
2•bookofjoe•15m ago•0 comments

Show HN: Inklings – Handwritten family notes turned into a printed book monthly

https://inklings.social
1•archaeal•18m ago•1 comments

Mistral Is Not a European Alternative (Yet) – Here's Why

https://www.xprivo.com/blog/en/mistral-is-not-a-european-alternative/
1•petethomas•19m ago•0 comments

WorkHourly tracking app for people who work with their hands

1•bukhtin•23m ago•0 comments

Severo Ornstein

https://en.wikipedia.org/wiki/Severo_Ornstein
2•exizt88•26m ago•0 comments

Show HN: I launched a MIDI controller and IG banned me 48 hours later

4•harmonyresearch•28m ago•1 comments

Show HN: Lost in a Wikipedia rabbit hole? Pop out and survey the field

https://chromewebstore.google.com/detail/constellations/nphipbpoephgjgapmeanccnaikljggkg
1•johndimm•31m ago•0 comments

A Tale of AI and Apples

https://arbinquiry.com/a-tale-of-ai-and-apples/
1•ateesdalejr•32m ago•1 comments

'jdupes', or how I unexpectedly became a better programmer (2015)

https://www.jodybruchon.com/2015/08/08/finding-duplicates-faster-the-story-of-jdupes-or-how-i-une...
2•indigodaddy•34m ago•0 comments

Order Imposing and Reporting Requirements on Certain Finance Institutions in MN

https://www.federalregister.gov/documents/2026/01/13/2026-00449/geographic-targeting-order-imposi...
1•duxup•36m ago•1 comments

The Pinhole view of the value of AI as simply reducing payroll costs is wrong

https://tidyfirst.substack.com/p/the-pinhole-view-of-ai-value
1•KentBeck•38m ago•0 comments

Indiewebify.me? Yes Please

https://blog.rickardlindberg.me/2026/02/04/indie-webify-me-yes-please.html
1•todsacerdoti•39m ago•0 comments

Ask HN: Have you started to use "->" when you type after working with LLMs?

2•FailMore•40m ago•0 comments

The Boomcession: Why Americans Hate What Looks Like an Economic Boom

https://www.thebignewsletter.com/p/the-boomcession-why-everyone-but
3•connor11528•42m ago•0 comments

The Trigger in the Haystack: Extracting and Reconstructing LLM Backdoor Triggers

https://arxiv.org/abs/2602.03085
1•maltalex•43m ago•0 comments