Feeds to Scour
SubscribedAll
Scoured 2705 posts in 104.5 ms
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Verification
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·3d·
Discuss: Hacker News, r/rust
📦WebAssembly
Automatic Programming Returns
cyber-omelette.com·3d·
Discuss: Hacker News, Hacker News, r/programming
✅Formal Verification
Style tips for less experienced developers coding with AI
honnibal.dev·4d·
Discuss: Hacker News
✅Formal Verification
Sixteen Claude AI agents working together created a new C compiler
arstechnica.com·3d·
Discuss: r/programming, r/technews
📦WebAssembly
The Rise of Spec Driven Development
dbreunig.com·3d·
Discuss: Hacker News
🚢DevOps
Code only says what it does
brooker.co.za·2d·
Discuss: Hacker News
✅Formal Verification
pilifs/Terminal-Value: A sandbox showcasing rendering personalized user views with an LLM-enabled pipeline, along with engineering principles that make it possible.
github.com·13h·
Discuss: Hacker News
🌐HTMX
I am happier writing code by hand
abhinavomprakash.com·2d·
Discuss: Lobsters, Hacker News
⚙️Engineering
Fast Autoscheduling for Sparse ML Frameworks
ajroot.pl·5d·
Discuss: Hacker News, r/Compilers
📦WebAssembly
Opus 4.5 really changed things
kylerush.org·1d·
Discuss: Hacker News
🚢DevOps
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·3d·
Discuss: Hacker News
✅Formal Verification
Continual learning and the post monolith AI era
baseten.co·3d·
Discuss: Hacker News
📡Distributed Systems
Thoughts on LLMs
finestructure.co·1d·
Discuss: Hacker News
⚙️Engineering
[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel
lore.kernel.org·3d·
Discuss: Lobsters, Hacker News
🔍eBPF
How I squeezed a BERT sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io·2d·
Discuss: Hacker News
📦WebAssembly
MiquelNasarre/chaotic: Chaotic ― 3D renderer for your crazy math projects in C++. Minimal bloat, minimal complexity, maximal fun!
github.com·1d·
Discuss: Hacker News
🌐HTMX
stdlib v7.2
erlang.org·3d·
Discuss: Hacker News
🔍eBPF
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·6d·
Discuss: Lobsters, Hacker News, r/golang
📦WebAssembly
Clean Coder: The Dark Path (2017)
blog.cleancoder.com·5d·
Discuss: Hacker News
✅Formal Verification

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