Feeds to Scour
SubscribedAll
Scoured 9176 posts in 225.2 ms
Building Reliable AI Applications: A Validation Strategy
dev.to·4d·
Discuss: DEV
🔀Brzozowski Derivatives
How to Keep Your Smoke Testing Useful
theqacrew.substack.com·1d·
Discuss: r/programming
📊Runtime Verification
Using Databases Without Putting Domain Logic in Them (2023)
alexkondov.com·1d·
Discuss: Lobsters
🧱Immutable Infrastructure
When LLMs get significantly worse: A statistical approach to detect model degradations
arxiv.org·14h
⏳LTL
Building a Regex Engine with a team of parallel Claudes
lesswrong.com·1d
🧩Parser Combinators
Static Analysis Under Non-Deterministic Program Assumptions
arxiv.org·2d
🔬Static Analysis
Monitor Jailbreaking: Evading Chain-of-Thought Monitoring Without
lesswrong.com·1d
🛡️macOS Security
six thoughts on generating c
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
The $6 Bug
campedersen.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Announcing TypeScript 6.0 Beta
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🔠Type-Level Programming
Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage
latentk.org·1d·
Discuss: Hacker News
📦OPAM
Lessons from Zig
vinniefalco.com·18h·
Discuss: Hacker News
🐫Embedded OCaml
The LLM Context Tax: Best Tips for Tax Avoidance
nicolasbustamante.com·1d·
Discuss: Hacker News
🔤Language Design
How to make an AI ready business, the easy way
phillyharper.medium.com·1d·
Discuss: Hacker News
🔒Protocol Verification
The Solution to Prompt Injection: Mapping SSL/TLS Trust Architecture onto LLMs [pdf]
solvingpromptinjection.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
Persistent development environments for AI coding agents
wallfacer.ai·1d·
Discuss: Lobsters, Hacker News
🔧DevOps
Programming Aphorisms
matklad.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News
🧮Z3
AI-DLC Solves the Wrong Bottleneck
wakamoleguy.com·22h·
Discuss: Hacker News
👁️System Observability
Show HN: Multi-attribute decision frameworks for tech purchases
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
SMTLIB as a Compiler IR I
philipzucker.com·3d·
Discuss: Hacker News
🔧ppx

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