🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Compiler Design
LLVM, Type Systems, Optimization, Language Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Lobsters Interview with Matklad
lobste.rs
·
5h
·
Discuss:
Lobsters
📦
WebAssembly
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com
·
4h
·
Discuss:
Substack
⚡
Performance Engineering
Scheme Basics
courses.cs.washington.edu
·
7h
·
Discuss:
Hacker News
,
Hacker News
✅
Formal Verification
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev
·
4h
·
Discuss:
Hacker News
✅
Formal Verification
the core of rust
jyn.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/rust
🦀
Rust
Making the Case for One Language Tree Across Monorepos
hackernoon.com
·
1d
🌐
HTMX
Sapir-Whorf does not apply to Programming Languages
buttondown.com
·
1d
·
Discuss:
Hacker News
✅
Formal Verification
Monolith vs Microservices: The $1M ML Design Decision
javarevisited.substack.com
·
8h
·
Discuss:
r/programming
📡
Distributed Systems
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com
·
3d
·
Discuss:
r/programming
✅
Formal Verification
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com
·
1d
·
Discuss:
Hacker News
,
r/programming
⚡
Performance Engineering
Herb Sutter "Three Cool Things in C++26"
herbsutter.com
·
2d
·
Discuss:
Hacker News
🔍
eBPF
Contrasting Data and Objects (2018)
tedinski.com
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
LLMs Won't Replace Programming Languages
mech-lang.org
·
13h
·
Discuss:
Hacker News
📦
WebAssembly
Rebuilding Babel: The Tokenizer (2022)
nan.fyi
·
8h
·
Discuss:
Hacker News
📦
WebAssembly
Simpler Category Theory
ryanbrewer.dev
·
2d
·
Discuss:
Hacker News
✅
Formal Verification
Rust for Gophers - a short interview
packagemain.tech
·
8h
·
Discuss:
r/programming
🦀
Rust
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔌
Network Programming
Convergence in Software
valand.dev
·
6h
·
Discuss:
Hacker News
📦
WebAssembly
Launch HN: BlankBio (YC S25) – Making RNA Programmable
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
⚡
Performance Engineering
A Systematic Study of Post-Training Quantization for Diffusion LLMs
arxiv.org
·
1d
·
Discuss:
Hacker News
✅
Formal Verification
Loading...
Loading more...
Page 2 »