Fetched via Hacker News API • 2026-05-18
Number of Pages: 9 The foundations of a provably secure operating system (PSOS) By Richard J. Neumann SRI International Menlo Park, California Proceedings of the National Computer Conference AFIPS Press, 1979, pages 329-334. INTRODUCTION PSOS has been designed according to a set of formal techniques embodying the SRI Hierarchical Development Methodology (HDM).
If vibecoding is what people say it is, the world should be drowning in vibecoded artifacts right now. Millions of people with the tools. The barrier supposedly fell, right?.
Abstract We present GenCAD, an image-conditional CAD generation model. Our model not only generates the 3D CAD but also the entire parameterized CAD command history, CAD program, as output. The complexity of CAD data structures such as boundary representation (B-rep) makes it difficult to train efficient AI models.
NBC News reports that multiple commencement speakers across several universities were booed by graduates for their comments about artificial intelligence during graduation ceremonies, reflecting growing student skepticism toward optimistic AI narratives from speakers at 2026 graduations.
Underwood Archives/Contributor/Getty Images Nearly 81 years ago, the first nuclear bomb exploded. The Trinity test, conducted as part of the Manhattan Project in the New Mexico desert, detonated a plutonium bomb that released the energy of 25 kilotons of TNT. When the mushroom cloud faded, a weird, glasslike form of matter was left behind from the melted sand combined with vaporized sensor wires.
Carlo Rovelli is a theoretical physicist known for his work on quantum gravity, the foundation of quantum mechanics and the nature of space and time. A fierce debate is raging around the slippery notion of consciousness. It retraces a trotted pattern of cultural resistance: We humans are often scared by anything that may disturb our image of ourselves.
rkdebian is a build system that produces a complete, bootable Debian 12 Bookworm image for the $80 Doogee U10 Android tablet (RK3562 chip). No bootloader unlock required — boots from SD card, remove it to return to stock Android. Reverse engineered from scratch with no vendor BSP or official support, built with help from Claude, Codex, and Google Gemini, using Firefly RK3562 open-source repos as a starting point.
Presented by ISS In Real Time, this project collects 333 hours of Q&A footage featuring astronauts answering questions from the public. The archive covers a wide range of topics including daily life in space, experiments aboard the ISS, spacewalk procedures, and perspectives on life from orbit — making it one of the most comprehensive astronaut interview collections available.
jank has a new custom intermediate representation (IR) and we're using it to optimize jank to compete with the JVM. We'll dive into more of that today, but first I want to say thank you to my Github sponsors and to Clojurists Together for sponsoring me this whole year. You all are helping a great deal.
A comprehensive implementation of K version 3, a vector programming language from the APL family, written entirely in C#. Features include full K3 language semantics, IPC support, MCP (Model Context Protocol) integration, and serialization research. Licensed under MIT with Commons Clause — free for use and modification but not for resale. Actively developed with 646 commits.