Better Python path handling with Pathlib and Git
abstractnonsense.xyz·9h·
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·13h·
Discuss: Hacker News
🏹Effect Systems
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·21h·
Discuss: Hacker News
🌐NetworkProtocols
Stop Converting Your REST APIs to MCP
jlowin.dev·3h·
Discuss: Hacker News
🧱Immutable Infrastructure
It's bye for now, and so here are my final thoughts on technology
yukinu.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Distributed Systems for Fun and Profit
book.mixu.net·4d·
Discuss: Hacker News
📦Unikernel Systems
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·17h
🐫OCaml
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
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
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
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
(Attempting to) Engineer the chaos out of AI agents
trunk.io·2d·
Discuss: Hacker News
🧪Property-Based Testing
SSPL is BAD
ssplisbad.com·1h·
Discuss: Hacker News
🛡️seL4
Croissant! Building a No-Framework Web App
dbushell.com·13h·
Discuss: Hacker News
🌐NetworkProtocols
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·2d
🔄Reproducible Builds
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design