Program Synthesis

Feeds to Scour
SubscribedAll
Scoured 38 posts in 14.2 ms

Subversion-Resistance for Free from Formal Verification

 🌐NetworkProtocols
lesswrong.com·

BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction

 🧠Automated Reasoning  Content type: Academic
arxiv.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

 🔬Static Analysis  Content type: Blog
soteria-tools.com··Hacker News

Proof System Timelines

 🔗Curry-Howard  Content type: Blog
klatz.co·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

 🧠Automated Reasoning  Content type: Code
github.com·

NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure

 🌐Open Source
helpnetsecurity.com·

Human Judgment as a Specification

 📊Runtime Verification  Content type: Blog
blog.brownplt.org·
Less-relevant results

Close the Cloud Identity Gap with Orca and AWS IAM Access Analyzer

 🔐Cybersecurity
orca.security·

Paper: LLM Translation of Compiler Intermediate Representation

 🔨Compilers
compilers.iecc.com·

ICYMI: May 2026 @AWS Security

 🔧DevOps  Content type: Blog
aws.amazon.com·

GPT fdisk Tutorial

 🍎Apple
rodsbooks.com·

A New Post Quantum Cryptography Standard (Verification, etc. Included)

 ➡️Category Theory
zenodo.org··Hacker News

What is a test case, anyways?

 🔍Formal Verification  Content type: News
devtips.stribny.name·

Property-based testing | Liam DeVoe

 🧪Property-Based Testing
tybug.dev··Hacker News

The Concerning, Unchecked Rise of E2E AI in Physical Applications

 🔍Formal Verification  Content type: News
eetimes.com·

Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints

 🤖Robotics  Content type: Academic
arxiv.org·

When Claude changed, everything changed: Managing AI blast radius in production

 🔍Formal Verification
venturebeat.com·

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

 ⚙️Compiler Design  Content type: Code
github.com··Hacker News

Bridging Semantics and Physical Execution: A Neuro-Symbolic Framework for Multi-Pair Robotic Assembly

 ⏳LTL  Content type: Academic
arxiv.org·

Better decisions at scale: How mathematical optimization delivers where intuition fails

 🧮SMT Solvers  Content type: Blog
aws.amazon.com·

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
Save / unsave
s

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