Feeds to Scour
SubscribedAll
Scoured 23671 posts in 532.0 ms
Generative Type experiments
brendandawes.com·3d
✨Effect Handlers
Learning Coupled Actions of Lie Groups: Kuramoto Models for Robotics and Hyperbolic Data
hackernoon.com·2d
🌀Hyperbolic Geometry
Build a Compiler in Five Projects
kmicinski.com·5d
🔨Compilers
A Proof of P = NP
dev.to·3d·
Discuss: DEV
🎯Performance Proofs
Less is Enough: Synthesizing Diverse Data in Feature Space of LLMs
arxiv.org·17h
💻Local LLMs
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·1d
🔗Concatenative Programming
A Software Engineer’s Wish List for CS Research
laser-coder.net·3d·
Discuss: Hacker News
🔩Systems Programming
Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)
0xlang.com·2d·
Discuss: Hacker News
🦀Rust Macros
I vibecoded a production grade internationalization library in 2 days
sklivvz.com·3d·
Discuss: Hacker News
🌀Brotli Internals
Minions: Stripe’s one-shot, end-to-end coding agents
stripe.dev·3d·
Discuss: Hacker News
⚔️Lean Tactics
The cost of a function call
lemire.me·4d·
Discuss: Lobsters, Hacker News, Hacker News
🔗Concatenative Programming
Learn Weird Programming Languages
okienko.day·3d·
Discuss: Hacker News
🔗Concatenative Programming
Data teams should become context teams
thenewaiorder.substack.com·3d·
Discuss: Substack
🌊Stream Processing
Redefining Go Functions
pboyd.io·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🧠Lisp Dialects
Besieged
redmonk.com·2d·
Discuss: Hacker News, r/opensource
⚡Proof Automation
Context-Driven Development Meets Team Agents: What Changed and What Didn't
themobileagent.substack.com·2d·
Discuss: Substack
⚙️TLA+
an early-stage experimental programming language
solnix-lang.org·4d·
Discuss: DEV, Hacker News
💻Programming languages
"Compiled" Specs
deepclause.substack.com·4d·
Discuss: Substack
⚡Proof Automation
The Potential of RLMs
dbreunig.com·3d·
Discuss: Hacker News
📏Linear Logic
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·4d·
Discuss: Hacker News
⚖️Hoare Logic

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