Feeds to Scour
SubscribedAll
Scoured 24250 posts in 1.14 s
IDA Plugin Updates on 2026-02-08
williballenthin.com·3d
🌳Incremental Parsing
Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently
towardsdatascience.com·4d
✅Format Verification
I built a Python LSP in Go!
reddit.com·3d·
Discuss: r/golang
🧠Lisp Dialects
NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler
dev.to·3d·
Discuss: DEV
⚙️Modern Assembly
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Building a Dynamic Multilanguage System Without Rebuilds
kuldeepmodi.vercel.app·2d·
Discuss: DEV
🔄Language Evolution
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·6d
🦀Rust Verification
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·4d
🏗️Compiler Archaeology
Is Reasoning Capability Enough for Safety in Long-Context Language Models?
arxiv.org·1d
🌳Context free grammars
Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI
arxiv.org·1d
📏Linear Logic
Why you should consider F#
asfaload.com·4d·
Discuss: Hacker News
🔒Type Safety
The Other Markov’s Inequality
ethanepperly.com·3d·
Discuss: Hacker News
📐Error Bounds
Fyrox Game Engine 1.0 Release Candidate 2
fyrox.rs·2d·
Discuss: Hacker News, r/rust, r/rust_gamedev
🎬WebCodecs
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·5d·
Discuss: Hacker News
💻Programming languages
Dependency Resolution Methods
nesbitt.io·4d·
Discuss: Hacker News
🔗Dependency Resolution
Turing's Parsing and Brute Force Are Incorrect
zenodo.org·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
31-year old VT220 terminfo curses bug
lists.gnu.org·2d·
Discuss: Hacker News
📺VT100
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·2d·
Discuss: Hacker News
🦀Rust Macros
First Proof | Research-Level Math for AI Evaluation
1stproof.org·4d·
Discuss: Hacker News
🎯Performance Proofs
Portable C Compiler
en.wikipedia.org·3d·
Discuss: Hacker News
🏗️Compiler Archaeology

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