Feeds to Scour
SubscribedAll
Scoured 80252 posts in 381.1 ms
Intermediate Results on the Complexity of STRIPS$_{1}^{1}$
arxiv.org·8h
🎯Bit Vectors
QUOKA: Query-Oriented KV Selection For Efficient LLM Prefill
arxiv.org·8h
🔍Query Engines
lean-phys-community/PhysLean: A project to digitalise results from physics into Lean.
github.com·5h·
Discuss: Hacker News
🔄Nanopass
plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol
github.com·17h
👑Dependent Haskell
Accelerate your discovery by parallelizing experiments
magellink.com·1d·
Discuss: Hacker News
🔀SIMD Programming
Uncovering Hidden Informations
whiteravendev.itch.io·1d
🔍Execution Tracing
Varparser Reveals How LLM Log Parsing Benefits From Variable Data
quantumzeitgeist.com·1d
📊Log Parsers
Domain Knowledge Is the New Syntax
blog.melashri.net·1d·
Discuss: Hacker News
🎮Language Ergonomics
There is no Alignment Problem
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Concatenative Theory
Building Reliable AI Applications: A Validation Strategy
dev.to·2d·
Discuss: DEV
✅Configuration Validation
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·3d·
Discuss: Hacker News
📜Proof Languages
Custom AI Tool Development in Regulated Industries: Why Off-The-Shelf LLM Solutions Fall Short
analyticsvidhya.com·1d
🎮Language Ergonomics
The Air-Gapped Chronicles: The Poison Pill — 47 Countries, 12,000 Rules, One AI Audit.
pub.towardsai.net·19h
🛡️Security Type Systems
AI-augmented data quality engineering
infoworld.com·1d
🛡️Error Ergonomics
gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au·2d·
Discuss: DEV
💬Smalltalk VMs
Scaling AI Agents: Mastering Elasticity, State, and Throughput with C#
dev.to·17h·
Discuss: DEV
📮Persistent Queues
Designing a Cost-Efficient Agentic System
p.agnihotry.com·19h·
Discuss: Hacker News
🎭Program Synthesis
Label-Consistent Backdoor Attacks
paperium.net·1d·
Discuss: DEV
🛡️Security Type Systems
A one-prompt attack that breaks LLM safety alignment
microsoft.com·20h·
Discuss: Hacker News
🏰Capability Machines
A Language For Agents
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🎨Domain-Specific Languages

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