Feeds to Scour
SubscribedAll
Scoured 23907 posts in 231.9 ms
theHigherGeometer
thehighergeometer.wordpress.com·6d
🔲Proof Irrelevance
Antiparallels, an Overlooked HS Beauty
pballew.blogspot.com·3d·
Discuss: Blogger
📐Mathematical Art
Differential Logic • 1
inquiryintoinquiry.com·6d
📏Linear Logic
ChatGPT vs. Logic: Why AI Code is Slower
dev.to·5d·
Discuss: DEV
🌊Streaming Algorithms
I Built an AI Fight Club: Forcing LLMs to Roast Each Other for Truth (with Local Llama 3)
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
📝Concrete Syntax
Eve-positional languages: putting order into B\"uchi automata
arxiv.org·14h
🎯Automata theory
iGRPO: Self-Feedback-Driven LLM Reasoning
arxiv.org·1d
⚔️Lean Tactics
Part 1 of 3 - Indicting the Villain: How the "Pipeline Tyranny" Created Your "Genius Gridlock"
corvic.ai·2d·
Discuss: Hacker News
🎨Graph Coloring
NotebookLM: The AI that only learns from you
byandrev.dev·4d·
Discuss: Hacker News
💻Local LLMs
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·3d·
Discuss: Hacker News
🛠Language Design
Knowledge-Creating LLMs
tecunningham.github.io·4d·
Discuss: Hacker News
💻Local LLMs
Building the Future with AI That Acts
devxt.com·3d·
Discuss: Hacker News
🏠Homelab Orchestration
Autonomous PRD Agent
minicodemonkey.github.io·3d·
Discuss: Hacker News
⚡Proof Automation
Developing AI Taste: Understanding the Positioning Battle in AI
johnsonshi.substack.com·2d·
Discuss: Substack
🤖AI Curation
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·3d·
Discuss: Hacker News
✨Effect Handlers
The control layer for AI
blog.dottxt.ai·4d·
Discuss: Hacker News
🔒WASM Capabilities
Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
news.ycombinator.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
Experiments in building bespoke tools with AI
knlb.dev·2d·
Discuss: Hacker News
⚡Incremental Computation
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·2d·
Discuss: Hacker News
⚙️Proof Engineering

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