The foundations of a provably secure operating system (PSOS) (1979) [pdf]

PSOS is a secure operating system designed using the SRI Hierarchical Development Methodology (HDM) with a capability mechanism for access control. The capability mechanism provides a simple and uniform way to manage access to objects, with capabilities serving as names or tokens for all objects in the system.

I automated opt-outs for 500 data broker sites (open source)

https://opengraph.githubassets.com/ddee959a506ca66d52346e7df6dd111990733bf3ccf772df7ed039428c452bf0/stephenlthorn/auto-identity-remove
Automated data broker opt-out runner for macOS. Removes your personal information from 500+ people-search sites and data broker databases on a monthly schedule — with CAPTCHA solving, persistent state tracking (so completed opt-outs aren't resubmitted every run), and an iMessage notification when done. # 1. Clone the repo git clone https://github.com/stephenlthorn/auto-identity-remove.git ...

GenCAD

https://gencad.github.io/static/images/403.png
GenCAD is an image-conditional CAD model that generates 3D CAD and its command history. It uses a strong representation learning framework for multiple modalities of computational engineering designs.

Dogme 25 – Vow of Chastity

It is time to give up the dualism introduced by the debate on consciousness

https://noemamag.imgix.net/2026/05/Noema_FlorianMeissner_2.jpg?fit=crop&fm=pjpg&h=1186&ixlib=php-3.3.1&w=947&wpsize=noema-portrait-hero-image&s=4343c57bdfd6ec5fa4d8a8280014ebc1
The debate on consciousness is fueled by human fear of being part of the natural world, but consciousness is a natural phenomenon that can be understood through science. Our soul or spiritual life is consistent with fundamental physics, and we can safely speak of it without introducing dualism.

Crystals found inside wreckage from the first nuclear bomb test

https://static.scientificamerican.com/dam/asset/12cb3e17-9ed8-4e16-92fe-384efe63b377/GettyImages-2217357656-cropped.jpeg?m=1778530102.63&w=600
Scientists discovered a new clathrate material within trinitite, a glasslike substance formed from the Trinity nuclear test. The clathrate's unique structure was created under extreme conditions, similar to those found in nuclear explosions and meteorite impacts.

NASA still maintains some of the Voyager spacecraft code from the 70s era

https://spacedaily.com/wp-content/uploads/2026/05/newimagesize-2026-05-16T111530.760.png
NASA's Voyager spacecraft run on assembly language written in the 1970s, with a small team of engineers in their 80s struggling to find replacements. The team faces a succession problem due to the unique skills required to maintain the spacecraft's custom hardware and outdated software.

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

https://opengraph.githubassets.com/29f9619c1db5d42706687c8afd49e365dfc41d829e1186215f856c93f7c48908/tech4bot/rk3562deb
Debian 12 Bookworm runs on Doogee U10 tablet without bootloader unlock using rkdebian build system. It supports local LLM inference on RK3562 NPU and has functional front and rear cameras but needs color calibration.

Ask an Astronaut: 333 hours of Q&A footage with astronauts

https://askanastronaut.issinrealtime.org/images/social_image.png
Find your question among hundreds of astronaut interviews aboard the International Space Station

Jank now has its own custom IR

https://jank-lang.org/img/logo-transparent.png
The author of jank, a Clojure dialect, has created a custom intermediate representation (IR) to optimize jank's performance and compete with the JVM. The author has implemented several optimizations, including inlining, eliminating unnecessary IR instructions, and using tagged pointers to avoid dynamic allocations, which have significantly improved jank's performance in a recursive Fibonacci benchmark.

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

https://raw.githubusercontent.com/MinishLab/semble/main/assets/images/semble_logo.png
Semble is a code search library that indexes and searches codebases instantly, using 98% fewer tokens than grep+read. It runs on CPU with no API keys or external services, providing fast and accurate results for agents.

Where Are the Vibecoded Photoshops?

https://indiepixel.de/blog/images/vibecodedPhotoshop.jpg
The author argues that AI has lowered the barrier for Level 1 tasks, but not for complex tasks that require architectural judgment. They claim that accusations of "vibecoding" are unfounded and based on a false premise.

kharp – k version 3 Language Interpreter in C#

https://opengraph.githubassets.com/0448baa7d6412a30d6489c721b9d80bd49396c027b5953f8486d25d5b2c5892d/ERufian/ksharp
ksharp is a K programming language interpreter written in C# with a focus on simplicity and compatibility with K version 3. It supports various features including parsing, evaluation, and .NET integration, with ongoing development and contributions from multiple individuals.

Prolog Coding Horror

https://www.metalevel.at/prolog/videos/t_antipatterns.png
A Prolog programmer should rebel against outdated features, not against the language itself. Using declarative constructs can make Prolog programs more general and efficient.

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

https://content.pouet.net/files/screenshots/00106/00106210.jpg
The code uses 16 bytes of x86 assembly to draw an infinite Sierpinski fractal and generate audio in real-mode DOS. It utilizes video memory as a calculation space and speaker port for audio output.

Profunctor Equipment in Haskell

https://i0.wp.com/bartoszmilewski.com/wp-content/uploads/2026/04/Screenshot-2026-04-19-at-19.15.45.png?resize=510%2C224&ssl=1
The text describes a Haskell implementation of category theory concepts, using endo-functors and endo-profunctors to encode equipment and units. It provides definitions for various units and compositions, including Hunit, Vunit, CompUnit, and ConjUnit, with laws satisfied up to isomorphism.

Tesla Solar Roof is on life support as it pivot to panels

https://electrek.co/wp-content/uploads/sites/3/2019/08/Tesla-Solar-Roof-quote.jpg?quality=82&strip=all&w=1600
Tesla's Solar Roof failed to meet its 1,000-per-week target, with only 3,000 systems installed in nearly a decade. The company has pivoted to conventional solar panels, abandoning Solar Roof customers with unresolved product issues and poor customer service.

Graphing Scientific Calculator Based on the ESP32

https://private-user-images.githubusercontent.com/130647064/566889655-e1b1df29-362b-4f5c-b824-bacb8e9a28f4.jpg?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3NzkxMDI5MjMsIm5iZiI6MTc3OTEwMjYyMywicGF0aCI6Ii8xMzA2NDcwNjQvNTY2ODg5NjU1LWUxYjFkZjI5LTM2MmItNGY1Yy1iODI0LWJhY2I4ZTlhMjhmNC5qcGc_WC1BbXotQWxnb3JpdGhtPUFXUzQtSE1BQy1TSEEyNTYmWC1BbXotQ3JlZGVudGlhbD1BS0lBVkNPRFlMU0E1M1BRSzRaQSUyRjIwMjYwNTE4JTJGdXMtZWFzdC0xJTJGczMlMkZhd3M0X3JlcXVlc3QmWC1BbXotRGF0ZT0yMDI2MDUxOFQxMTEwMjNaJlgtQW16LUV4cGlyZXM9MzAwJlgtQW16LVNpZ25hdHVyZT1iYzEzODQ1ZTM3NGZkODc5M2JjOWRiZDAxNGRmZjNjMDVmNWNjZTFmNjgwZTZhMGViN2ZmYmVkMWUzMzE1NDUxJlgtQW16LVNpZ25lZEhlYWRlcnM9aG9zdCZyZXNwb25zZS1jb250ZW50LXR5cGU9aW1hZ2UlMkZqcGVnIn0.79UGqWUsH_vz0volgVWZqn13T2P7oQiZuZuY20yX7Gk
ESP32-S3 N16R8 · ILI9341 IPS 320×240 · LVGL 9.x · CAS Engine · Natural Display V.P.A.M. Technical Status: Major Architectural Refactor We are currently migrating the core math engine to Giac and implementing STIX Two Math for LaTeX-quality rendering. If you are compiling from main, you might experience UI glitches. For a stable experience, please check the Releases section. NumOS is an ...

Why is Google Maps back to showing old satellite images of Altadena?

To continue, log in to your Reddit account or use your developer tokenIf you think you've been blocked by mistake, file a ticket below and we'll look into it.

Math Jokes in Alice in Wonderland

Most people remember Alice in Wonderland as a dreamy children's book about a girl, a rabbit, a cat that disappears, and a hatter who hosts a tea party. They forget that the man who wrote it spent the rest of his working life teaching mathematics, and that nearly every famous scene is a joke aimed at his colleagues in the Oxford Senior Common Room. Charles Lutwidge Dodgson was thirty when ...

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

https://idahonews.com/resources/assets/kboi/images/brand-icons/KBOI-160.png
Two US Navy jets collided and crashed at an air show at Mountain Home Air Force Base, but all four crew members ejected safely. The incident occurred during an aerial demonstration, with no one on the ground hurt, but a nearby road is closed for a multi-day investigation.

Magical Realism: “Northern Exposure” 25 Years Later (2015)

Checking your browser... This may take a few seconds.

CUDA Books

https://opengraph.githubassets.com/43384a509b88250b47c5bb87f0b5d08b033c9d883e6bb44fd2781db79e7cfe51/alternbits/awesome-cuda-books
A curated list of major CUDA programming books covers beginner to advanced topics, including C++/Python, architecture, optimization, and the latest releases. The list includes 15 high-quality resources, including classic and modern books, with a focus on practical and hands-on learning for NVIDIA GPU parallel computing.

A Good Lemma Is Worth a Thousand Theorems (2007)

Doron Zeilberger praises lemmas for their significant value in mathematics, often surpassing theorems. A good lemma is applicable, obvious, and aesthetically beautiful, making it a fundamental contribution to the field.

Build a Radio Wave Detector with Balls of Aluminum Foil

https://media.wired.com/photos/6a0640879f7f511553da42c5/master/w_2560%2Cc_limit/GettyImages-515220084.jpg
Radio waves are everywhere, used in cell towers, GPS, Wi-Fi, and Bluetooth, and can be easily created at home with a simple radio transmitter made from a grill lighter. A homemade receiver, called a coherer, can detect these radio waves using aluminum foil balls and a button cell battery, demonstrating the basic principles of wireless communication.

Hindenburg’s Smoking Room

https://www.airships.net/wp-content/uploads/hindenburg-smoking018web-385x244.jpg
The Hindenburg had a smoking room to minimize fire risk from hydrogen gas, with a higher pressure and airlock to prevent leaks. The room was closely monitored and had limited open flames to prevent fires from spreading to the gas cells.

Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting

https://opengraph.githubassets.com/3d79e603ac24c428b92ad87ed7017f0c8a0e3c91a478b98f5c1100b803eb0e49/ABGEO/mezz
Mezz is a wifi sandbox for inspecting IoT devices in a controlled network. It turns a Linux host into a small isolated network for defensive purposes only.

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/images/pikachu.png
The user describes how they used Prolog to model the complex mechanics of the Pokémon video game series, finding it to be a concise and expressive programming system for intricate rules engines. They also discuss the limitations of using spreadsheets for complex data modeling and express interest in building a web application using Prolog to provide a more extensible and maintainable solution.

I don't think AI will make your processes go faster

https://frederickvanbrabant.com/images/posts/2026-05-15%20I%20don%27t%20think%20AI%20will%20make%20your%20processes%20go%20faster/header_hu_d600c0f40cf5c31.webp
You're re-reading "The Toyota Way" and "The Goal" to improve process optimization, but find that many exercises are too simplistic and misunderstand what to focus on. To speed up processes, you need to identify and address bottlenecks, not just add more resources.

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

Scientists in Canada discovered that hundreds of gray seal pups are killed by adult male gray seals each year on Sable Island, with the males tearing down to the bone with their flippers. The attacks are likely for added nutrients to boost the males' mating value during the breeding season.