Feeds to Scour
SubscribedAll
Scoured 8570 posts in 143.5 ms
Towards a theory of Fa\c{c}ade-X data access: satisfiability of SPARQL basic graph patterns
arxiv.org·1d
🔁Fixed-Point Theory
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·1d·
Discuss: r/programming
🧮SMT Solvers
Random Access in Grammar-Compressed Strings: Optimal Trade-Offs in Almost All Parameter Regimes
arxiv.org·2d
🧩Parser Combinators
A Conceptual Framework for Exploration Hacking
lesswrong.com·1d
🐫OCaml
Technical "whitepaper" for afl-fuzz
lcamtuf.coredump.cx·1d·
Discuss: Lobsters
🔧Unikernel Development
Hazardous States and Accidents
lesswrong.com·18h
🎯GADT
C-- Home
cs.tufts.edu·4d·
Discuss: Lobsters
⚙️Compiler Design
The inverted index pattern
jamesg.blog·2d·
Discuss: Hacker News
🕸️Graph Theory
Ontologies are all you need
lexifina.com·8h·
Discuss: Hacker News
🏔️Domain Theory
full-featured database with one line of curl
zero.tidbcloud.com·1d·
Discuss: Hacker News
🐳Containerization
The e-signature service built for AI agents
saysigned.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: A segmentation model client-side via WASM
qtoolkit.dev·1d·
Discuss: Hacker News
🧩Separation Logic
Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·3d·
Discuss: Hacker News
➡️Category Theory
Validate AI agent endpoints across 8 protocols in one URL
agentprobe.xyz·1d·
Discuss: Hacker News
🔒Protocol Verification
Category Theory, AI and Jobs
deadneurons.substack.com·17h·
Discuss: Substack
➡️Category Theory
BalatroBench Benchmarks Large Language Models Playing Balatro
balatrobench.com·20h·
Discuss: Hacker News
🐫OCaml
Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage
latentk.org·2d·
Discuss: Hacker News
📦OPAM
You're Already Building Petri Nets. You're Just Building Them Badly.
joshtuddenham.dev·1d·
Discuss: Hacker News
⚡Process Calculi
[Podman] Quadlet as a First-Class Platform Primitive
ebourgess.dev·1d·
Discuss: Hacker News
🐳Containerization
Vesta AI Explorer
kruks.ai·1d·
Discuss: Hacker News
🍎Apple

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