Feeds to Scour
SubscribedAll
Scoured 72807 posts in 2.07 s
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·4d
🔓Lock-Free Programming
Algebraic Robustness Verification of Neural Networks
arxiv.org·1d
🧮SMT Solvers
News for January 2026
ptreview.sublinear.info·4d
🕸️GraphBLAS
The Weather-Report Lie: AI Isn’t Fate
hackernoon.com·4d
⚓Anchors
AI attention span so good it shouldn’t be legal
stackoverflow.blog·4d
💬Prompt Engineering
Automatic Programming
notes.billmill.org·5d
🎭Program Synthesis
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·4d·
Discuss: Hacker News
🌳Fenwick Trees
Released: DeepBrainz-R1 — reasoning-first small models for agentic workflows (4B / 2B
huggingface.co·4d·
Discuss: Hacker News, r/LocalLLaMA
💬Prompt Engineering
Ottermon.ai – Effortless Observability Deployed in Seconds
ottermon.ai·4d·
Discuss: Hacker News
🕵️Jaeger
Fast Autoscheduling for Sparse ML Frameworks
ajroot.pl·5d·
Discuss: Hacker News, r/Compilers
🤖TVM
Low-dimensional materials for intracellular electrophysiology: advances from synthesis to applications
nature.com·4d
🧬Computational Biology
Secrets of Intelligence Services - by Ben Recht
argmin.net·3d
💬Prompt Engineering
suzgunmirac/belief-in-the-machine: Belief in the Machine: Investigating Epistemological Blind Spots of Language Models
github.com·6d
💬Prompt Engineering
LLMs could be, but shouldn't be compilers
alperenkeles.com·3d·
Discuss: Lobsters, Hacker News
📊Profile-Guided Optimization
As Rocks May Think
evjang.com·6d·
Discuss: Hacker News, r/programming
📱Edge AI
jameshaydon/sentinel - MCP guardrailing for LLM agents using logic programming
github.com·6d
🦙Ollama
**Abstract:** This paper introduces a novel framework, the Hybrid Symbolic-Neural Verification Engine (HSNVE), to bolster the legal reliability of AI-driven ...
freederia.com·4d
🧮SMT Solvers
How I Program with LLMs
blog.wesleyabbey.io·5d·
Discuss: Hacker News
🦀Rust Macros
**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...
freederia.com·3d
🎨ART Trees
Building a C compiler with a team of parallel Claudes
anthropic.com·5d·
Discuss: Lobsters, Hacker News, r/ClaudeAI, r/Compilers, r/embedded, r/rust
🧵OpenMP

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