🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤖 Program Synthesis
Automated Programming, Formal Specifications, Code Generation, Proof Search
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org
·
1d
💻
CS
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
21h
·
Discuss:
Hacker News
⚙️
PL Implementation
Don’t compare programming to the real world
expressionstatement.com
·
19h
·
Discuss:
r/programming
👁️
System Observability
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
Binding Application in Idris
andrevidela.com
·
9h
·
Discuss:
Hacker News
🔠
Type-Level Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com
·
1h
·
Discuss:
Hacker News
👁️
System Observability
The Next Wave
dumindu.github.io
·
13h
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
Speclinter MCP
github.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
My first verified (imperative) program
markushimmel.de
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔍
Formal Verification
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com
·
15h
·
Discuss:
r/programming
📦
Unikernel Systems
Will LLMs and Vibe Coding Fuel a Developer Renaissance?
thenewstack.io
·
1d
🔄
Reproducible Builds
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
15h
·
Discuss:
Substack
🐫
Embedded OCaml
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
5h
🎮
Verification Games
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
16h
·
Discuss:
Hacker News
🔬
Static Analysis
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com
·
1h
·
Discuss:
Substack
🔍
Formal Verification
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com
·
17h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org
·
16h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
👁️
System Observability
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com
·
11h
·
Discuss:
r/programming
🖥️
Self-hosted Infrastructure
The inevitable trend toward low code makes programming tedious
thefoggiest.dev
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Data Science Weekly – Issue 607
datascienceweekly.substack.com
·
5h
·
Discuss:
Substack
👁️
System Observability
Loading...
Loading more...
Page 2 »