Feeds to Scour
SubscribedAll
Scoured 25289 posts in 854.9 ms
ABC-Bench and the Real Test for AI Engineers: Can It Run End-to-End?
hackernoon.com·2d
🔍Concolic Testing
Introducing TealTiger: AI Security & Cost Control Made Simple
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·4d
🏗️Compiler Archaeology
Dynamical sequences: closure properties and automatic identity proving
arxiv.org·22h
🎯Performance Proofs
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·5d
🦀Rust Verification
Is Reasoning Capability Enough for Safety in Long-Context Language Models?
arxiv.org·22h
🌳Context free grammars
Why you should consider F#
asfaload.com·4d·
Discuss: Hacker News
🔒Type Safety
Dependency Resolution Methods
nesbitt.io·4d·
Discuss: Hacker News
🔗Dependency Resolution
31-year old VT220 terminfo curses bug
lists.gnu.org·2d·
Discuss: Hacker News
📺VT100
Turing's Parsing and Brute Force Are Incorrect
zenodo.org·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·2d·
Discuss: Hacker News
🦀Rust Macros
From Flops to Finality: Solving Proof-of-Compute with Verifiable Intelligence
daifi.ai·5d·
Discuss: Hacker News
🎯Performance Proofs
First Proof | Research-Level Math for AI Evaluation
1stproof.org·4d·
Discuss: Hacker News
🎯Performance Proofs
C and Undefined Behaviour
lelanthran.com·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🦀Rust Macros
Portable C Compiler
en.wikipedia.org·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
Notepad++ DLL Hijack (2017)
wikileaks.org·2d·
Discuss: Hacker News
🏺Format Archaeology
Extracting Xcode's Claude Code Prompt
jackpearce.co.uk·3d·
Discuss: Hacker News
🌳Incremental Parsing
Style tips for less experienced developers coding with AI
honnibal.dev·5d·
Discuss: Hacker News
🎯Gradual Typing
Computing large Fibonacci numbers
johndcook.com·2d·
Discuss: Hacker News
📐Interval Arithmetic

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