Episode 166 - Beyond the PDP-11
adventofcomputing.libsyn.com·11h
🧲RISC-V Archaeology
MoonScript, a language that compiles to Lua
moonscript.org·3d
🔗Concatenative Programming
Hacking Claude Code for Fun and Profit
sibylline.dev·20h·
Discuss: Hacker News, r/ClaudeAI
🤖Network Automation
How do you keep advancing as a developer when there's no formal promotion path?
techleadmastery.substack.com·2h·
Discuss: Substack, r/programming
🔩Systems Programming
Quit Begging Your LLM: Master the Art of Task Framing
hackernoon.com·9h
🧮Theorem Proving
Python feels sucky to use now
kix.dev·2d·
Discuss: Hacker News
🎯Gradual Typing
Tiger Style Coding Philosophy
tigerstyle.dev·4d·
Discuss: Hacker News
🔩Systems Programming
Show HN: URI-Transformer: AI architecture that models meaning. 99.9% less memory
github.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Observations from Working with Coding Agents
anyblockers.com·2d·
Discuss: Hacker News
⚡Proof Automation
Automated Knowledge Graph Validation and Enhancement via Adaptive Semantic Refinement
dev.to·22h·
Discuss: DEV
🔗Constraint Handling
Nvidia's AI Kill Chain
dev.to·1d·
Discuss: DEV
🔓Hacking
LLM-Generated Samples for Android Malware Detection
arxiv.org·6h
💻Local LLMs
Mitigating Modal Imbalance in Multimodal Reasoning
arxiv.org·6h
⬌Bidirectional Typing
InvThink: Towards AI Safety via Inverse Reasoning
arxiv.org·3d
⚖️Hoare Logic
Building My Modern Portfolio: A Journey Through Web Development
dev.to·18h·
Discuss: DEV
🎬WebCodecs
Scaling Projects: How AI Transforms DevOps & Continuous Integration
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Running Goose in Containers (Without Losing Your Mind)
dev.to·2d·
Discuss: DEV
📦METS Containers
A DuckDB extension for in-database inference, written in Rust 🦀
github.com·5d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Claude Code: Unix Philosophy Makes AI Coding Better
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Nicholas Renotte: I Trained AI To "DOMINATE" Brackey's Game
dev.to·8h·
Discuss: DEV
🎯Proof Tactics