Feeds to Scour
SubscribedAll
Scoured 8617 posts in 75.4 ms
A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era
thenewstack.io·2d
🌐Network Protocols
miniKanren.org
minikanren.org·3d·
Discuss: Lobsters
📦Module Systems
Sentence Encoders on STILTs: Supplementary Training on Intermediate Labeled-dataTasks
dev.to·6d·
Discuss: DEV
🧩Parser Combinators
Building Reliable AI Applications: A Validation Strategy
dev.to·4d·
Discuss: DEV
🔀Brzozowski Derivatives
Do Models Continue Misaligned Actions?
lesswrong.com·2d
📐Hoare Logic
Latent Reasoning with Supervised Thinking States
arxiv.org·2d
🧠Automated Reasoning
LOCA-bench: Benchmarking Language Agents Under Controllable and Extreme Context Growth
arxiv.org·2d
🧩Parser Combinators
six thoughts on generating c
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Fun With Dada
smallcultfollowing.com·3d·
Discuss: Lobsters, Hacker News
⚙️Compiler Design
Sid Meier's System for Real-Time Music Composition and Synthesis
patents.google.com·5d·
Discuss: Hacker News
🐫OCaml
Show HN: Model Training Memory Simulator
czheo.github.io·4d·
Discuss: Hacker News
🐫Embedded OCaml
A one-prompt attack that breaks LLM safety alignment
microsoft.com·2d·
Discuss: Hacker News
🛡️seL4
How We Give AI Agents Long-Term Memory Without Blowing the Budget
metaduck.com·3d·
Discuss: DEV, Hacker News
🧠Automated Reasoning
Algos, Bias, Due Process, & You
suffolklitlab.org·3d·
Discuss: Hacker News
🎮Verification Games
Designing a Cost-Efficient Agentic System
p.agnihotry.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·4d·
Discuss: Hacker News
⚙️Compiler Design
The Autonomous Experimentation Engine
remoroo.com·3d·
Discuss: Hacker News
👁️System Observability
what a software factory can teach creatives about working with AI
codeforcreatives.com·3d·
Discuss: Hacker News
🤖Program Synthesis
AI Orchestrators Decision Table
gist.github.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·2d·
Discuss: Hacker News
⚙Operational Semantics

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