Feeds to Scour
SubscribedAll
Scoured 8697 posts in 189.7 ms
Surprisal-Guided Selection: Compute-Optimal Test-Time Strategies for Execution-Grounded Code Generation
arxiv.org·2d
🧪Concolic Testing
Deferred member initialization in C++
sandordargo.com·1d·
Discuss: Lobsters
📝Nix Language
Craig Interpolation in Program Verification
arxiv.org·2d
🔍CBMC
Introspective RSI vs Extrospective RSI
lesswrong.com·18h
👁️System Observability
Do Models Continue Misaligned Actions?
lesswrong.com·2d
📐Hoare Logic
Show HN: Open Benchmarks Grants– a $3M commitment to close the AI eval gap
benchmarks.snorkel.ai·1d·
Discuss: Hacker News
📊Runtime Verification
Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage
latentk.org·17h·
Discuss: Hacker News
📦OPAM
Announcing TypeScript 6.0 Beta
devblogs.microsoft.com·11h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🔠Type-Level Programming
Using an AI agent to design and ship a Rust diff fingerprinting algorithm
argos-ci.com·2d·
Discuss: Hacker News
📊Runtime Verification
The OWASP LLM Top: A Practical Attack Guide (with 122 real attack techniques)
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Protocol Verification
The Solution to Prompt Injection: Mapping SSL/TLS Trust Architecture onto LLMs [pdf]
solvingpromptinjection.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
six thoughts on generating c
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
a free-to-use data modeler/generator for any database
synthforge.io·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Testing 80 LLMs on spatial reasoning on grids
mihai.page·3d·
Discuss: Hacker News
🎮Verification Games
What if writing tests was a joyful experience?
blog.janestreet.com·6d·
Discuss: Hacker News
🧪Concolic Testing
How to make an AI ready business, the easy way
phillyharper.medium.com·17h·
Discuss: Hacker News
🔒Protocol Verification
My setup for integration tests in Go with embedded-Postgres
atlas9.dev·2d·
Discuss: Hacker News
📊Runtime Verification
Spec-driven development doesn't work if you're too confused to write the spec - deontologician
publish.obsidian.md·2d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
A Language For Agents
lucumr.pocoo.org·3d·
Discuss: Lobsters, Hacker News, Hacker News
🔤Language Design
The Problem With LLMs
deobald.ca·1d·
Discuss: Lobsters, Hacker News
📦Module Systems

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