Feeds to Scour
SubscribedAll
Scoured 80193 posts in 1.44 s
LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
arxiv.org·1d
📋Souffle Datalog
Distributed Knowledge in Simplicial Models
arxiv.org·1d
🕸️Tarjan Algorithms
From Monolith to Micro-Brain: Architecting Scalable AI Inference in .NET
dev.to·2d·
Discuss: DEV
🗺️Region Inference
CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide
dev.to·3d·
Discuss: DEV
🏰Capability Machines
Sampling the Oxford CS Library
blog.computationalcomplexity.org·5d·
Discuss: blog.computationalcomplexity.org
🗑️Stack Scanning GC
web.lemoyne.edu/giunta
letture.bearblog.dev·6d
🔗Concatenative Theory
The Index and the Vector (Dan Cohen)
newsletter.dancohen.org·6d
🪢Rope Data Structures
Stop Using Icons in Data Tables
medium.com·4d·
Discuss: Hacker News
📇Symbol Tables
A Faster WBT/SBT Implementation Than Linux RBT
typecombinator.github.io·6d·
Discuss: r/cpp
🌳Tree Shaking
Show HN: FalseWork – Extract transferable structural mechanisms from works
news.ycombinator.com·5d·
Discuss: Hacker News
🌳Structural Editing
**Abstract:** This paper introduces a novel framework for automated verification of deformations applied to Hilbert polytopes, a crucial step in understandin...
freederia.com·4d
🧩Constraint Solvers
Hamming Distance for Hybrid Search in SQLite
notnotp.com·5d·
Discuss: r/programming
💾Minimal Databases
Automated Legal‑Compliance Analytics of Autonomous‑Vehicle EDR Data Ownership Claims Using a Hybrid Transformer – Formal‑Verification Pipeline **Abstract** I...
freederia.com·4d
🏷️Attribute Grammars
Building an Obsidian RAG with DuckDB and MotherDuck
motherduck.com·5d
📖Literate Programming
What Ultimately Is There? <br>Metaphysics and the Ruliad
writings.stephenwolfram.com·5d
🔗Concatenative Theory
Next Generation DB Ingestion at Pinterest
medium.com·4d
📮Message Queues
Trudging Through Nonsense
aphyr.com·5d·
Discuss: Hacker News
🚂Error Propagation
Neural Bitcoin Small Class Number Attack
leetarxiv.substack.com·5d·
Discuss: Substack
🔢Bit Manipulation
Claude Code Part 12: How I Use Claude Code for Empirical Research
causalinf.substack.com·5d·
Discuss: Substack
📚Self-Documenting Code
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·6d·
Discuss: Lobsters, Hacker News
🧠Memory Models

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