🔨 Program Synthesis - ghosh.debasish · Scour

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis ✅Formal Verification

arxiv.org·2d

The AI-Ready Software Developer #24 – Specification Is A Conversation ✅Formal Verification

codemanship.wordpress.com·6d

DDD Bounded Contexts: Clear Domain Boundaries for LLM Code Generation 🛢️Database Internals

understandingdata.com·20h·Hacker News

PSA Crypto: The P is for Portability ✅Formal Verification

danielmangum.com·5h·Hacker News

Code: Specification vs. implementation 🔤PLT

beesbuzz.biz·1d

I Built My Own Diagramming Tool — No Framework, No Runtime, Just Canvas 🖥️Systems Programming

markasso.it·22h·DEV, r/webdev

Verification Is the Next Bottleneck in AI-Assisted Development ✅Formal Verification

opslane.com·5d·Hacker News

Bespoke OLAP: Using AI to Synthesize Workload-Specific Database Engines from Scratch 🛢️Database Internals

ucbskyadrs.github.io·14h·Hacker News

SE Radio 711: Scott Hanselman on AI-Assisted Development Tools 🤖Claude

se-radio.net·1d·Lobsters, Hacker News

Humaaans: Mix-&-Match illustration library 🌊Streaming Algorithms

humaaans.com·21h

Prevent confidential data leaks at compile time with labelled types in Sigil 🧪Property-based Testing

inerte.github.io·1d·Hacker News

Automated Security Assertion Generation Using LLMs (U. of Florida) ✅Formal Verification

semiengineering.com·6d

JSONC Specification 🔍Abstract Interpretation

jsonc.org·9h·Hacker News

aabs/steergen: a simple CLI tool to work with tool independent specification files 🦀Rust

github.com·2d·Hacker News

Linux Kernel Developers Adopt New Fuzzing Tools 🧪Property-based Testing

linuxjournal.com·21h

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code ✅Formal Verification

eprint.iacr.org·3d

Presentation: State of Play: AI Coding Assistants 🤖Claude

infoq.com

·2d

ZeroCoder: Can LLMs Improve Code Generation Without Ground-Truth Supervision? ⚙️Compilers

arxiv.org·9h

Sketch_2026.1_TNT.dmg 🦀Rust

xmac.app·2d

Building Production-Ready Agentic AI Systems for Enterprise Software Delivery 🤖AI Agents

tech-sprinter.com·5d·DEV

Loading more...