Feeds to Scour
SubscribedAll
Scoured 8590 posts in 216.0 ms
Post-AI Era: Will the Spiral of Strong vs. Weak Presuppositions Continue?
medium.com
·3d·
Discuss: r/programming
🔀Brzozowski Derivatives
Why do tree-based models still outperform deep learning on tabular data?
dev.to·4d·
Discuss: DEV
🎯Hindley-Milner
Sentence Encoders on STILTs: Supplementary Training on Intermediate Labeled-dataTasks
dev.to·6d·
Discuss: DEV
🧩Parser Combinators
Latent Reasoning with Supervised Thinking States
arxiv.org·2d
🧠Automated Reasoning
LOCA-bench: Benchmarking Language Agents Under Controllable and Extreme Context Growth
arxiv.org·2d
🧩Parser Combinators
parse human-friendly filter strings into structured queries
filtron.dev·3d·
Discuss: Hacker News
🧩Parser Combinators
Allium is an LLM-native language for sharpening intent alongside implementation
juxt.github.io·3d·
Discuss: Hacker News
⚙️PL Implementation
an early-stage experimental programming language
solnix-lang.org·4d·
Discuss: DEV, Hacker News
📝Nix Language
Using Claude Code as a general agent
raahelbaig.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Agentic Tool Patterns – 54 patterns for building tools LLM agents can use
blog.arcade.dev·2d·
Discuss: Hacker News
🛡️seL4
Rule #1 for coding with AI agents
zknill.io·3d·
Discuss: Hacker News
🤖Program Synthesis
Sid Meier's System for Real-Time Music Composition and Synthesis
patents.google.com·5d·
Discuss: Hacker News
🐫OCaml
What Functional Programmers Get Wrong About Systems
iankduncan.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
We recreated the Anthropic C compiler agent
vizops.ai·3d·
Discuss: Hacker News
🔧ppx
A one-prompt attack that breaks LLM safety alignment
microsoft.com·2d·
Discuss: Hacker News
🛡️seL4
AI Workflows with human-in-the-loop
weavemind.ai·4d·
Discuss: Hacker News
🧠Automated Reasoning
Designing a Cost-Efficient Agentic System
p.agnihotry.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
How We Give AI Agents Long-Term Memory Without Blowing the Budget
metaduck.com·3d·
Discuss: DEV, Hacker News
🧠Automated Reasoning
Humanity's last programming language
xeiaso.net·2d·
Discuss: Lobsters, Hacker News
🔤Language Design
Show HN: Parametric Hubris – Beating GPT-5 on SimpleQA with forced retrieval
dev.thelastrag.de·3d·
Discuss: Hacker News
✓Automated Theorem Proving

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