Feeds to Scour
SubscribedAll
Scoured 19440 posts in 767.3 ms
Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
arxiv.org·2d
📏Linear Logic
Capture the Flags: Family-Based Evaluation of Agentic LLMs via Semantics-Preserving Transformations
arxiv.org·1d
💻Local LLMs
Riki: the shortcut directive
blog.liw.fi·6d
✨Effect Handlers
Marriage Logic Puzzle And Irrational Puzzle
mindyourdecisions.com·4d
🔲Proof Irrelevance
Composition of attractor lattices
topos.institute·6d
🔲Cellular Automata
CS
cityscapesmag.com·6d
💻CS
Easy FunctionGemma finetuning with Tunix on Google TPUs
developers.googleblog.com·4d
💧Liquid Types
How to Become an AI Engineer in 2026: A Self-Study Roadmap
kdnuggets.com·2d
🗺️Competency Maps
iree-org/wave: Wave: Python Domain-Specific Language for High Performance Machine Learning
github.com·3d·
Discuss: Hacker News
🚀SIMD Parsing
Semantic Operators: Run LLM Queries Directly in SQL
tacnode.io·4d·
Discuss: Hacker News
🧮Datalog
Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy
github.com·3d·
Discuss: Hacker News
🖥️Game Emulation
Evaluating Large Language Models on Agentic Workspace Bootstrapping
nightshift.sh·4d·
Discuss: Hacker News
⚡Proof Automation
The Decision Engine
holenventures.substack.com·4d·
Discuss: Substack
🌍Cultural Algorithms
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·3d·
Discuss: Hacker News
👑Isabelle
Show HN: Build a coding agent in 500 lines (Pure Python, No Vector DBs)
news.ycombinator.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
Enforcing rules and managing expectations for AI agents with CI and code review
rubyonai.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Draft AV2 specification and reference code
av2.aomedia.org·4d·
Discuss: Hacker News
📋Format Specification
AI-powered software development flow: Lessons from shipping My Yarn Stash
jtemporal.com·4d·
Discuss: Hacker News
🔗Topological Sorting
Durable Execution: Build reliable software in an unreliable world
thenewstack.io·4d·
Discuss: Hacker News
💾Persistence Strategies
The Bus Factor of Zero
arturdryomov.dev·6d·
Discuss: Hacker News
📏Code Metrics

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