Feeds to Scour
SubscribedAll
Scoured 22916 posts in 907.9 ms
Generative Type experiments
brendandawes.com·2d
✨Effect Handlers
Towards a Standard for JSON Document Databases
muratbuffalo.blogspot.com·2d·
Discuss: Blogger
📊Graph Databases
Hello World: Algorithmic Trading & DeFi Logic
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
ABC-Bench and the Real Test for AI Engineers: Can It Run End-to-End?
hackernoon.com·3d
🔍Concolic Testing
Learning Coupled Actions of Lie Groups: Kuramoto Models for Robotics and Hyperbolic Data
hackernoon.com·2d
🌀Hyperbolic Geometry
Code2World: A GUI World Model via Renderable Code Generation
arxiv.org·1d
⚡Incremental Computation
Object-Oriented Transition Modeling with Inductive Logic Programming
arxiv.org·2d
🔍Type Inference
What's up with Haskell's do notation?
slightknack.dev·2d
🧬Functional Programming
Building Reliable AI Applications: A Validation Strategy
dev.to·4d·
Discuss: DEV
✅Format Verification
six thoughts on generating c
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Don't use escaping closures in SwiftUI
rensbr.eu·2d·
Discuss: Hacker News
⬆️Lambda Lifting
Learning by hand is better than learning by AI
blog.engora.com·2d·
Discuss: Hacker News
⚡Proof Automation
A Software Engineer’s Wish List for CS Research
laser-coder.net·2d·
Discuss: Hacker News
🔩Systems Programming
Manufacturing QMS Software
samrian.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
Humanity's last programming language
xeiaso.net·2d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·2d·
Discuss: Hacker News
🛡️WASM Sandboxing
New microkernel OS in 10 days: From zero to Google Compute Engine
seiya.me·2d·
Discuss: Hacker News
⚙️Operating System Design
Grumpy Julio plays with CLI coding agents
jmmv.dev·2d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
The Joy of Programming
deanclatworthy.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
an early-stage experimental programming language
solnix-lang.org·4d·
Discuss: DEV, Hacker News
💻Programming languages

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