Feeds to Scour
SubscribedAll
Scoured 7457 posts in 162.8 ms
Topological Semantics for Common Inductive Knowledge
arxiv.org·1d
📐Denotational Semantics
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
arxiv.org·1d
🔀OCaml Multicore
Making Waffles with Group Theory
hmpcabral.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Quantization-Aware Distillation
ternarysearch.blogspot.com·2d·
Discuss: Hacker News
📚Automata Learning
Designing a Cost-Efficient Agentic System
p.agnihotry.com·22h·
Discuss: Hacker News
🧠Automated Reasoning
Finding My Spark Again: A Month with Codex
dragsbaek.tech·1d·
Discuss: Hacker News
🔧DevOps
Style tips for less experienced developers coding with AI
honnibal.dev·4d·
Discuss: Hacker News
λFunctional Programming
Some thoughts on LLM coding
blog.dave.tf·1d·
Discuss: Hacker News
🔬Static Analysis
Portable C Compiler
en.wikipedia.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Togelius: Math and me
togelius.blogspot.com·21h·
Discuss: Hacker News
➡️Category Theory
A Software Engineer’s Wish List for CS Research
laser-coder.net·22h·
Discuss: Hacker News
🔤DSLs
Unlocking the Power of Python Generators: A Comprehensive Guide
dev.to·2d·
Discuss: DEV
🔨Compilers
The Machine Learned Our Language
medium.com·3d·
Discuss: r/programming
📚Automata Learning
Spec-driven development doesn't work if you're too confused to write the spec - deontologician
publish.obsidian.md·10h·
Discuss: Hacker News, r/programming
💎Refinement Types
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·3d·
Discuss: Hacker News, r/Compilers
🔧ppx
How we didn't pick Rust
floedb.ai·1d·
Discuss: Hacker News
🏗️Dune
An attempt at a First-Proof AI challenge
abhvio.us·2d·
Discuss: Hacker News
⏱️Computational Complexity
Both GCC and Clang generate strange/inefficient code
codingmarginalia.blogspot.com·3d·
Discuss: Hacker News, Hacker News
🏃Escape Analysis
Compound Engineering: Make Every Unit of Work Compound Into the Next
every.to·22h·
Discuss: Hacker News
🔄Reproducible Builds
I Write Games in C (yes, C)
jonathanwhiting.com·2d·
Discuss: Hacker News
🏃Escape Analysis

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help