Vanilla JavaScript: The Difference Between Plain JS, JavaScript Frameworks, and When to Use Them
blog.webix.com·1d·
Discuss: r/programming
🧱Immutable Infrastructure
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·22h·
Discuss: Hacker News
💾Retro Computing
Dependency hell is NP-complete
research.swtch.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Cocoindex: Data Transformation for AI
cocoindex.io·1d·
Discuss: Hacker News
🛡️seL4
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·17h·
Discuss: Hacker News
🌐NetworkProtocols
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Data Science Weekly – Issue 607
datascienceweekly.substack.com·14h·
Discuss: Substack
👁️System Observability
Async Ruby Is the Future of AI Apps (and It's Already Here)
paolino.me·2d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·4d·
Discuss: r/programming
🐫OCaml
It's bye for now, and so here are my final thoughts on technology
yukinu.com·1h·
Discuss: Hacker News
✓Automated Theorem Proving
I created a Python library for derivatives pricing and quantitative finance
reddit.com·2d·
Discuss: r/programming
👁️System Observability
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·3d·
Discuss: Hacker News
🐫OCaml
Stop Converting Your REST APIs to MCP
jlowin.dev·31m·
Discuss: Hacker News
🧱Immutable Infrastructure
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·13h
🐫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