Church of BSD

Can a verified microkernel actually secure a car?

A history of microkernels Most operating systems people use are monolithic.

Microkernels: a thirty-five year argument In January 1992, Andrew Tanenbaum told a Usenet newsgroup that among people who actually design operating systems, the debate was over and microkernels had won.

https://en.wikipedia.org/wiki/OpenHarmony The main official website for OpenHarmony is https://www.openharmony.cn/ .

EulerOS is a commercial Linux distribution developed by Huawei based on Red Hat Enterprise Linux[4] to provide an operating system for server and cloud environments under Huawei Cloud B2B provider ecosystem.[5][6] Its open-source community version is known

https://www.youtube.com/watch?

Unix Man (Parody of Nowhere Man) He's a real UNIX Man Sitting in his UNIX LAN Making all his UNIX plans For nobody.

jesse650 Fri, Jan 16, 9:11 PM (14 hours ago) The only thing more consistent than AI is climate change.

Original benchmark by John Sokol (1998-2005) Updated with modern hardware: January 2026 Overview Budmark is a CPU benchmark based on brute-force searching for optimal error-correcting codes (ECC).

Hollow Core Fibers: A Leap Forward in Optical Technology Hollow core fibers (HCFs) represent a groundbreaking evolution in optical fiber technology, offering a suite of advantages that overcome some of the fundamental limitations of traditional solid-core…

there is was package called dummy net that would simulate loss and latency on networks, what is there like this for linux today?

just amazing building the cpu from the ground up.

from h2oGPT [Model: llama] Yes, it is possible to reverse compile Sun SPARC binaries back to C source code using a tool called "objdump".

Tiny10-21h2-x64,x86-NTDEV Tiny10 21H2 2209 by NTDV newer version of Tiny10 that includes Microsoft Edge and other features includes both 64 bit and 32bit ISOs. taken from https://youtu.be/4cF3UW5W980 https://archive.org/details/tiny-10-21h2-x64-2209 https…

I ran this through ChatGPT, so far it looks like it might be accurate.

Decentralized Skype https://tox.chat/ https://github.com/JFreegman/toxic https://github.com/TokTok/c-toxcore https://media.ccc.de/v/glt19-51-tox-secure-open-source-p2p-communication Tox uses UDP for its underlying transport protocol.

https://www.youtube.com/watch?

Just like the Online html.css.js editor and test environments, I found one for FPGA hardware development https://www.edaplayground.com/ LEARN FPGA FAST WITH HACKADAY’S FPGA BOOT CAMP https://hackaday.io/project/159720-fpga-bootcamp-0 https://hackaday.io/p…

Both of these are a bit more serious in that you need a real account before you an play with code. replit.com Replit is a web-based platform that provides a coding environment for various programming languages, including JavaScript.

So I found this website that had a real time editor for react native apps https://expo.dev/ https://snack.expo.dev/@johnsokol/basic-ar-with-three.js Except every demo was broken and failed.

https://thebookofshaders.com/ Wow super awesome. https://www.lighthouse3d.com/tutorials/glsl-tutorial/ Resource for News https://www.lighthouse3d.com/ Live Interactive editor for GL_ES https://thebookofshaders.com/edit.php Tons of demos many you can view…

https://www.starfivetech.com/en/site/boards

https://www.grc.com/otg/uheprng.htm What's so special about this pseudo-random number generator?

https://medium.com/bash-tips-and-tricks/how-to-trigger-an-action-at-the-end-of-the-shell-bash-script-52b0ba9c157e