Feeds to Scour
SubscribedAll
Scoured 23376 posts in 949.3 ms
Automatic Programming
notes.billmill.org·6d
⚡Proof Automation
On This Day in Math
pballew.blogspot.com·3d·
Discuss: Blogger
📜Manuscript Calculus
★ Claude Code: /insights
perrotta.dev·3d
⚡Proof Automation
**AI‑Powered Surface‑Enhanced Infrared Spectroscopy for Trace Antibiotic Detection in Milk**
dev.to·3d·
Discuss: DEV
🌈Spectroscopy
Unlocking the Power of Python Generators: A Comprehensive Guide
dev.to·3d·
Discuss: DEV
⚙️Parser Generators
Early History of a Perfect Join Algorithm
remy.wang·3d
🚀Query Optimization
Profinite trees, through Lawvere theories and the lambda-calculus
arxiv.org·1d
λLambda Encodings
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·1d
🔗Functional Compilers
Accelerate your discovery by parallelizing experiments
magellink.com·2d·
Discuss: Hacker News
⚡Incremental Computation
Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)
neutree.ai·5d·
Discuss: Hacker News
💻Local LLMs
Dependency Resolution Methods
nesbitt.io·5d·
Discuss: Hacker News
🔗Dependency Resolution
CRAFT: Continuous Reasoning and Agentic Feedback Tuning
huggingface.co·5d·
Discuss: Hacker News
✨Effect Handlers
Obey the Testing Goat!
obeythetestinggoat.com·3d·
Discuss: Hacker News
🔍Concolic Testing
A Neuro Symbolic Architecture For Induced Epistemic Agency and System 2 Reasoning in Quantized Large Language Models
papers.ssrn.com·5d·
Discuss: Hacker News
🔗Constraint Handling
Spike from July 2025: Creating a Programming Language using Coding Agents on GitHub
dsyme.net·2d·
Discuss: Hacker News
🦀Rust Macros
A timeline of claims about AI/LLMs
blog.nethuml.xyz·3d·
Discuss: Hacker News
⚙️Proof Engineering
Adversarial Reasoning: Multiagent World Models for closing the Simulation Gap
latent.space·3d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
CSCI 49201 - Functional Programming in OCaml
a-nikolaev.github.io·5d·
Discuss: Hacker News
🧬Functional Programming
Opus 4.5 really changed things
kylerush.org·2d·
Discuss: Hacker News
📚MARC Evolution
Grumpy Julio plays with CLI coding agents
jmmv.dev·1d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing

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