🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ PL Implementation
Compilers, Runtime Systems, JIT, Interpreter Design
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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
Loading...
Loading more...
« Page 5
•
Page 7 »