Feeds to Scour
SubscribedAll
Scoured 23848 posts in 1.11 s
(a → a) → a
kivikakk.ee·3d
🌳Context free grammars
In the Age of AI Writing Tools, I Picked Emacs for My Sci-Fi Novel
itsfoss.com·3d
🦀Rust Macros
Study finds AI reasoning models generate a "society of thought" with arguing voices inside their process
the-decoder.com·3d
🔲Cellular Automata
Joy & Curiosity #73
registerspill.thorstenball.com·3d
🌀Brotli Internals
How to Use AI Hallucination to Generate Your Software Spec
dev.to·3d·
Discuss: DEV
⚡SMT Integration
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Private Data Space Model
privatedata.space·6d
✅Format Verification
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·6d·
Discuss: r/golang
🔍RegEx Engines
VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org·1d
⚔️Lean Tactics
Static Analysis Under Non-Deterministic Program Assumptions
arxiv.org·1d
🧪Property-Based Testing
Show HN: Elysia JIT "Compiler", why it's one of the fastest JavaScript framework
elysiajs.com·3d·
Discuss: Hacker News, r/javascript, r/node
🏗️Compiler Archaeology
Same Surface, Different Weight
robpanico.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·4d·
Discuss: Hacker News
🦀Rust Macros
Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)
linuxjournal.com·3d·
Discuss: Hacker News
🖥️Hardware Architecture
Software Factories and the Agentic Moment
factory.strongdm.ai·4d·
Discuss: Hacker News
🔐Capability Systems
RFC 3092: Etymology of "Foo"
datatracker.ietf.org·3d·
Discuss: Hacker News
📝ABNF Extensions
C Isn't A Programming Language Anymore
faultlore.com·6d·
Discuss: Hacker News
🔩Systems Programming
I am happier writing code by hand
abhinavomprakash.com·4d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Controlled Cot: A SystemLevel Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com·5d·
Discuss: Substack
📏Linear Logic
Experiments in building bespoke tools with AI
knlb.dev·3d·
Discuss: Hacker News
⚡Incremental Computation

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