🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🤖 Program Synthesis

Automated Programming, Formal Specifications, Code Generation, Proof Search

Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
AI Agents Under the Hood
blog.surkar.in·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·3d·
Discuss: Hacker News
➡️Category Theory
💥Job Ready AI Powered Cohort: Complete Web Development + DSA + Aptitude GOOD or BAD !!!!!!!💥
sheryians.com·2d·
Discuss: r/programming
💻CS
The Lazy Marketer's Guide to Not Writing Terrible AI Prompts
aistackmarketer.substack.com·16h·
Discuss: Substack
✓Automated Theorem Proving
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Book review: A New Kind of Science (2005)
bactra.org·1d·
Discuss: Hacker News
💻CS
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·17h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Revitalizing Legacy Code
javapro.io·1d·
Discuss: Hacker News
💾Retro Computing
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3h
🔍Formal Verification
LLM Inference Handbook
bentoml.com·4h·
Discuss: Hacker News
🛡️seL4
How to Build Agents Users Can Trust
builders.ramp.com·14h·
Discuss: Hacker News
🛡️seL4
7 Steps to Mastering Vibe Coding
kdnuggets.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·19h·
Discuss: Hacker News
📡Network Protocol Design
Data-Star.dev – v1 and Beyond
data-star.dev·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·13h·
Discuss: r/programming
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap