Better Python path handling with Pathlib and Git
abstractnonsense.xyz·7h·
Discuss: Hacker News
❄️Nixified Development
Vanilla JavaScript: The Difference Between Plain JS, JavaScript Frameworks, and When to Use Them
blog.webix.com·1d·
Discuss: r/programming
🧱Immutable Infrastructure
C++: Maps on Chains
bannalia.blogspot.com·11h·
Discuss: Hacker News
🏹Effect Systems
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·19h·
Discuss: Hacker News
🌐NetworkProtocols
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Chat2SPaT: A Large Language Model Based Tool for Automating Traffic Signal Control Plan Management
arxiv.org·2d
🔄Finite State Machines
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·22h·
Discuss: Hacker News
✓Automated Theorem Proving
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Vibe Coding in BASIC
goto10retro.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Croissant! Building a No-Framework Web App
dbushell.com·11h·
Discuss: Hacker News
🌐NetworkProtocols
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·2d
🔄Reproducible Builds
I still care about the code
martinfowler.com·2d·
Discuss: DEV, Hacker News
🔬Static Analysis
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·15h
🔍Formal Verification
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
GTA1: GUI Test-time Scaling Agent
arxiv.org·2d
🧪Property-Based Testing