October 2024 Progress in Guaranteed Safe AI
lesswrong.comยท2d
๐Ÿ“ˆMonotonic Logic
Flag this post
Industries Where Your C Code Saves Lives (And They're Hiring)
dev.toยท2hยท
Discuss: DEV
๐Ÿ”ŒMicrocontrollers
Flag this post
Next step: Redundancy - but how?
reddit.comยท22hยท
Discuss: r/selfhosted
๐Ÿ–ฅ๏ธMinimal VMs
Flag this post
A Reverse Engineer's Anatomy of the macOS Boot Chain and Security Architecture
stack.int.movยท9hยท
Discuss: Hacker News
๐Ÿท๏ธMemory Tagging
Flag this post
Gemini 3: The Good, The Bad, And The (Nano) Bananas
blog.orangecountyai.comยท2h
๐Ÿ”ฎMetacircular Evaluators
Flag this post
Quantum Computing Moves Closer to Real-World Use as Researchers Push Past Major Technical Limits
blogger.comยท14h
๐Ÿ“กErlang BEAM
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.comยท17hยท
Discuss: Hacker News
๐Ÿ—บ๏ธRegion Inference
Flag this post
STMicroelectronics STM32U3 Cortex-M33 sub-threshold MCU for ultra-low-power smart home and IoT
armdevices.netยท2h
๐Ÿ”ŒMicrocontrollers
Flag this post
I used an immutable Linux distro for a week, and it was weirdly great
xda-developers.comยท9h
๐Ÿ—๏ธBuild Systems
Flag this post
Robot Reflection: Unlocking Ingenious AI with Self-Aware Machines
dev.toยท13hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
Built an "Operating System" for AI agents that actually survives when shit breaks (offline-first, self-healing)
reddit.comยท12hยท
Discuss: r/ClaudeAI
๐Ÿ›ก๏ธCapability VMs
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.comยท20hยท
Discuss: Substack
๐ŸŽญProgram Synthesis
Flag this post
Zoomer: Powering AI Performance at Metaโ€™s Scale Through Intelligent Debugging and Optimization
engineering.fb.comยท1d
๐Ÿ“ˆPerformance Tools
Flag this post
Weekly Bookmarks
inkdroid.orgยท1h
๐ŸชขRope Data Structures
Flag this post
AI Infrastructure on Consumer Hardware
dev.toยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธCapability VMs
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.ioยท20hยท
Discuss: r/programming
๐Ÿ”—Concurrency Primitives
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.phยท1d
๐Ÿ”ขBit Manipulation
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.comยท2d
๐Ÿ”€Control Structures
Flag this post