frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Twan – A lightweight and adaptable separation kernel

https://github.com/MicroOperations/Twan
1•macrofusion•1h ago

Comments

macrofusion•1h ago
Twan is an open source separation kernel designed for adaptability, real-time computing, and mixed criticality workloads. Currently, most viable separation kernels are commercial, and those that are open source are typically completely static and are specifically designed to adhere to specifications such as arinc653. Although these standards are essential in highly regulated domains, their strictness often leads to systems which are inflexible, overly complex, or bloated with functionality that is often not required. Some standards will go further and not only describe what guarantees must be provided, but also how they should be implemented.

Twan takes a different approach, rather than directly implementing or adhering to a specific industry specification, twan provides a small policy neutral separation kernel that focuses on strong isolation and deterministic scheduling. Higher level policies such as communication models and health monitoring are to be implemented ontop of the kernel, rather than being hard coded into it.

Trump announces plan to hit European countries with tariffs over Greenland

https://www.bbc.co.uk/news/live/c1j8kw866p3t
1•c-oreills•30s ago•0 comments

Pragmatic Bitmap Filters in Microsoft SQL Server

https://www.vldb.org/cidrdb/2026/i-cant-believe-its-not-yannakakis-pragmatic-bitmap-filters-in-mi...
1•tanelpoder•2m ago•0 comments

Top Gadgets That Stole the Spotlight at CES 2026

https://techfusiondaily.com/top-10-gadgets-ces-2026/
1•nelkazzu•2m ago•0 comments

Show HN: Cppsp v1.4 –– multi-var support: var a,b,C = 1,2,3 int

https://github.com/user19870/cppsp
1•user19870•3m ago•0 comments

Nothin

1•BadOmen•6m ago•1 comments

Chinese Fishing Boats Quietly Form Vast Sea Barriers

https://www.nytimes.com/interactive/2026/01/16/world/asia/china-ships-fishing-militia-blockade.html
2•donohoe•6m ago•0 comments

Claude Code with Anthropic API Compatibility [ollama blog]

https://ollama.com/blog/claude
1•laacz•8m ago•0 comments

Mandeville's Travels

https://en.wikipedia.org/wiki/Mandeville%27s_Travels
1•petethomas•9m ago•0 comments

Syscallargs: List all Linux system calls with their arguments from tracefs

https://tanelpoder.com/posts/list-linux-system-call-arguments-with-syscallargs/
1•tanelpoder•13m ago•0 comments

World models could unlock the next revolution in artificial intelligence

https://www.scientificamerican.com/article/world-models-could-unlock-the-next-revolution-in-artif...
1•beardyw•13m ago•0 comments

Have an Arrest Plan

https://old.reddit.com/r/selfhosted/comments/1qfffz5/have_an_arrest_plan/
2•speckx•13m ago•1 comments

How to use the hn4 file system?

https://github.com/hn4-dev/hn4
1•kentsummer•13m ago•0 comments

Which countries are adopting AI the fastest?

https://www.economist.com/graphic-detail/2026/01/12/which-countries-are-adopting-ai-the-fastest
1•andsoitis•14m ago•0 comments

Haptic Pad – 6 Button Macropad with haptic wheel

https://github.com/dmcke5/Hapticpad
1•saltmate•14m ago•0 comments

Tired of recruiters who ask for availability via email?

https://github.com/smccaffrey/wya
2•smccaffrey•14m ago•0 comments

Show HN: How to build decentralized apps on the new Freenet

https://freenet.org/resources/manual/tutorial/
1•sanity•15m ago•0 comments

Same-sex sexual behaviour in primates is a survival strategy

https://www.economist.com/science-and-technology/2026/01/14/same-sex-sexual-behaviour-in-primates...
1•andsoitis•16m ago•0 comments

Deterministic settlement and dispute containment for oracle-based system

https://github.com/azender1/deterministic-settlement-gate
1•Lions2026•16m ago•1 comments

Changelog Invaders – Turn your changelog into a Space Invaders game

https://github.com/kbanc85/changelog-invaders
1•kbanc9•17m ago•0 comments

Hacker stole my therapy notes – now my deepest secrets are online forever

https://www.bbc.co.uk/news/articles/c62nzxqw45eo
1•mmarian•17m ago•0 comments

Show HN: Git Guide - The open source travel guide on GitHub Actions

https://github.com/ateliti99/git-guide
1•olirex99•19m ago•0 comments

How to share what you know (without becoming an influencer)

https://twitter.com/acolombiadev/status/2012554871778545834
1•andreag11•20m ago•0 comments

China Abuses Jimmy Lai

https://www.wsj.com/opinion/mike-johnson-parliament-address-jimmy-lai-china-hong-kong-d6096d05
2•RyanShook•22m ago•0 comments

Why There's No Single Best Way to Store Information

https://www.quantamagazine.org/why-theres-no-single-best-way-to-store-information-20260116/
3•7777777phil•22m ago•0 comments

Physical Foundations of Energy Commodities

https://a115.co.uk/physical-foundations-energy-commodities/
2•a115ltd•23m ago•0 comments

BentoPDF Urgent Security Notice

https://old.reddit.com/r/selfhosted/comments/1qffpkq/bentopdf_urgent_security_notice/
1•mmarian•23m ago•0 comments

Is QSpy still cool? Let's play QuakeWorld

https://fabiensanglard.net/quakeworld/index.html
1•ingve•24m ago•0 comments

Escaping the trap of US tech dependence

https://disconnect.blog/escaping-the-trap-of-us-tech-dependence/
3•laurex•25m ago•0 comments

The Thinking Game [video]

https://www.youtube.com/watch?v=d95J8yzvjbQ
2•sonabinu•26m ago•0 comments

Valve amends AI disclosure policy but still stresses players need . . .

https://www.eurogamer.net/valve-amends-ai-disclosure-policy-but-still-stresses-players-need-to-be...
1•chrisjj•27m ago•1 comments