✈️ Aviation - bitfield · Scour

Introduction 🐹Golang

aperio-lang.github.io·5d·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🔩Assembly

jameshaydon.github.io·1d·Lobsters, Hacker News, r/programming

aionhw/xezim: SystemVerilog (IEEE 1800-2017) Simulator 🔧Assembly Language

github.com·18h·Hacker News

Starship's Twelfth Flight Test 🛸Commercial Spaceflight

spacex.com·2h·Hacker News

Observability that installs itself and fixes bugs 🖥️Bytecode VMs

superlog.sh·1d·Hacker News

SpaceX just filed for what could be the biggest IPO ever 🚀Space Exploration

·2h

You can just do things 💻Programming

shiver.github.io·17h·r/programming

A Few Words on DS4 ⚙Risc-v

antirez.com·6d·Lobsters, Hacker News

SpaceX punts Starship V3 launch to May 21 as investigation opens into Starbase worker’s death 🛸Commercial Spaceflight

scientificamerican.com

·1d·Hacker News

My Mention of AI in This Commencement Speech Is Bound to Be a Hit ⚡Electronics

theatlantic.com

·6h

Will Robotics Have a ChatGPT Moment? 🚀Space Robotics

spectrum.ieee.org

·12h

An OpenAI model has disproved a central conjecture in discrete geometry 🦀Borrow Checker

openai.com·4h·Lobsters, Hacker News, r/OpenAI, r/artificial, r/singularity

On mashing up modelling techniques for fun and profit 🛠️Software Craft

architecture-weekly.com·2d·r/programming

Book Club: Designing Data-Intensive Applications, 2nd Edition 🕰️Computing History

heltweg.org·6d·Hacker News, r/programming

Formal Verification Gates for AI Coding Loops 🦀Borrow Checker

reubenbrooks.dev·8h·Hacker News

AI coding made us faster. Why did incidents increase? 🛠️Software Craft

leaddev.com·1d·Hacker News, r/coding, r/programming

Daniel's Blog · America's Greatest Strategic Blunder: The Imprisonment of Qian Xuesen ⚔Military history

danieltan.weblog.lol·10h·Hacker News

O(x)Caml in Space 🛰️Spacecraft Operations

gazagnaire.org·5d·Lobsters, Hacker News

Built an interactive system design tool every architecture is clickable and you can simulate failures 🖥️Bytecode VMs

getreqflow.com·2d·r/InternetIsBeautiful, r/compsci, r/programming

‘Solve all diseases,’ you say? 🔬Science News

·2h

Log in to enable infinite scrolling