🧙‍♂️ Unix Operating Systems - matmat · Scour

lukeb-aidev/cohesix: Cohesix is an open-source high-assurance control-plane operating system built on the formally verified seL4 microkernel, designed to keep the trusted computing base intentionally small while enabling deterministic orchestration of edge GPU systems and auditable MLOps.

github.com·5d·

Discuss: Hacker News

⚙️Operating System Design

Glaswegian life, captured over 80 years of redevelopment and flux

huckmag.com·1h

🏛Digital humanities

My solar panels are installed!

forums.anandtech.com·55m

⚙️DIY Electronics

Connectivity case study: When the unthinkable happens

blog.arelion.com·59m

🕸️Mesh Networking

From baseload to flexibility: How coal’s role in China is changing

ember-energy.org·23m·

Discuss: Hacker News

🇨🇳Chinese Computing

Life support build: Breaking all the rules to build a productivity PC beast

tomshardware.com

·33m

🖥️Terminal Renaissance

Meet the unbearably cute patients at this one-of-a-kind hospital for bats

vox.com·33m

🦠Malware Analysis

Drones capture brilliant shots at the Winter Olympics

bbc.com

·35m

Three cups of tea or coffee ‘lowers risk of dementia by almost a fifth’

the-independent.com·52m

☕Coffee Chemistry

Package-Inferred Systems are Dangerous

aartaka.me·8m

📦Package Managers

CIA Launches New Acquisition Framework to Turbocharge Collaboration with Private Sector

cia.gov·51m·

Discuss: Hacker News

🎯Threat Hunting

US won't abandon the Philippines in fighting China's assertiveness at sea, Manila's envoy says

the-independent.com·35m

🇨🇳Chinese Computing

Drawing and hand-written fonts

jamesg.blog·3m

🔤Font Archaeology

Can ESG ratings be trusted? Study examines the fight against greenwashing

phys.org·48m

🎯Recommendation Metrics

Protein isn't a weight loss miracle. A leading protein expert explains how to incorporate it into your routine for the best results.

businessinsider.com

·56m

🧮Algorithmic Cooking

Corruption Perceptions Index 2025

transparency.org·1h·

Discuss: Hacker News

🌡️Preservation Entropy

Macron urges Europe to start acting like world power

bbc.com·21m

🇫🇷French Computing

How Many Years of Pizza Do You Have?

parkscomputing.com·52m·

Discuss: Hacker News

🌳Format Genealogy

The risks of OpenAI's Whisper audio transcription model

baldurbjarnason.com·18m·

Discuss: Hacker News

Spotify Adds Record Monthly Users and Hits 290 Million Paid Subscribers in Q4, New Co-CEO Says 2026 Will Be ‘Year of Raising Ambition’

variety.com·32m

🎵Audio Codecs

Loading more...