Stories by doener

High-Assurance Separation Kernels: A Survey on Formal Methods (2017)

The Nizza Secure-System Architecture [pdf]

SeL4 Microkernel: Security is no excuse for poor performance

IOTA – 4th Industrial Revolution Behind the Doors?

Gartner: Enterprise use of AI grew 270% over the past 4 years

Genode OS: A tool kit for highly secure special-purpose operating systems

GNU Linux-Libre, Free as in Freedo

Microkernel-based operating systems

Barrelfish is a new research operating system being built from scratch

“The Python programming language was originally developed for this platform”

“I've hacked together a PoC for an in-kernel Z-Wave driver”

Deepfakes and the New Disinformation War

Saudi Arabia’s Great Run Seems Headed for Trouble

Currency of Trust (Rachel Botsman, Author) – DLD 19

Turn Your Raspberry Pi to an Amiga

1985: Micro Live: WIMP on the Amiga

Windows 10 Mobile End of Support: FAQ

Breakthrough Initiatives

NASA Learns More About Interstellar Visitor 'Oumuamua

If True, This Could Be One of the Greatest Discoveries in Human History