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
The Lazy Marketer's Guide to Not Writing Terrible AI Prompts
aistackmarketer.substack.com·14h·
Discuss: Substack
✓Automated Theorem Proving
💥Job Ready AI Powered Cohort: Complete Web Development + DSA + Aptitude GOOD or BAD !!!!!!!💥
sheryians.com·2d·
Discuss: r/programming
💻CS
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·15h·
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·1h
🔍Formal Verification
LLM Inference Handbook
bentoml.com·2h·
Discuss: Hacker News
🛡️seL4
7 Steps to Mastering Vibe Coding
kdnuggets.com·2d·
Discuss: r/programming
🔄Reproducible Builds
How to Build Agents Users Can Trust
builders.ramp.com·13h·
Discuss: Hacker News
🛡️seL4
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·17h·
Discuss: Hacker News
📡Network Protocol Design
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·11h·
Discuss: r/programming
👁️System Observability
Data-Star.dev – v1 and Beyond
data-star.dev·14h·
Discuss: Hacker News
🧱Immutable Infrastructure