- 1Show HN: Spur solver – Z3-backed model-finder solved values for coding agent (github.com)
- 1Basilisk: Fast 100% PEP compliant Python type checker (basilisk-python.dev)
- 2Psion Emulator – classic Psion palmtops in your browser (joehaines.com)
- 3The most official water costs $120k a gallon (signoregalilei.com)
- 1AI Workspace for Your PC (stuard.ai)
- 5Verisign Cooperative Agreement (ntia.gov)
- 8Nvidia in Talks with OpenAI to Guarantee $250B Financing for Data Center (wsj.com)
- 1Show HN: 3D music visualization on Apple Vision Pro (old.reddit.com)
- 11Show HN: Watch random code typed out on an MS-DOS IDE (hackerman.specr.net)
- 27Sand battery: Finland's answer to a renewable energy headache (cnbc.com)
- 3Why AI Doesn't Replace Software Architecture – It Makes It More Valuable (wilburhimself.github.io)
- 3Malicious sites use JavaScript to build malware in browser memory (bleepingcomputer.com)
- 2Show HN: CarbonSheets – Host your own customizable cheatsheet portal In GitHub (carbonsheets.vercel.app)
- 4Physicists build a computer from 400 particles orbiting in liquid (tomshardware.com)
- 1Sticky notes on a storyboard became my savior productivity app (taskloco.com)
- 1The Optimization Theory of Everything (12gramsofcarbon.com)
- 1Show HN: Quintile – keyboard-only window grids for Mac (github.com)
- 11Foxconn drops VMware, adopts hyperconverged upstart Arcrfra (theregister.com)
- 2Show HN: ASL V6 – Open-source AST red-teaming engine for Python AI agents (github.com)
- 1Show HN: Injectable time and timers with custom Date types for TypeScript (github.com)
- 1Multimodal foundation model for image and video understanding from Microsoft (huggingface.co)
- 8Bullwhip Effect (en.wikipedia.org)
- 2It is empowering to hand off execution (charbzg.com)
- 5Palette Vault – Color Palettes and Hex Codes (palettevault.github.io)
- 4Porffor: An ahead-of-time JavaScript-to-native/WASM compiler (porffor.dev)
- 1Newpipe Extractor in WASM (github.com)
- 2Paywall-free News Aggregator (freepress.today)
- 2Show HN: a Rust, Wayland, Vulkan 3D CRT, screencast application, retroarch cores (github.com)
- 5India cuts internet, then demands removal of bitchat's code (korben.info)
- 2Improving Terminal Ergonomics (aiex7.github.io)