3 best practices for building software in the era of LLMs
about.gitlab.com·1d
⚡Proof Automation
AI Programming Paradigms: A Timeline
kau.sh·2d
⚡Proof Automation
guile lab notebook: on the move!
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
On the UI of Coding Assistants And Agents
lmika.org·2d
✨Effect Handlers
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🔄Language Evolution
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·1d·
Discuss: Substack
👁️Observatory Systems
A Cycle-Consistency Constrained Framework for Dynamic Solution Space Reduction in Noninjective Regression
arxiv.org·3d
📊Quantization
FastMCP - A Smarter Way to Build LLM Toolchains
dev.to·1d·
Discuss: DEV
🧩WASM Components
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·10h
🧮Kolmogorov Complexity
Recap of all types of LLM Agents
towardsdatascience.com·1d
⚡Proof Automation
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·1d·
Discuss: Hacker News
🔐CBOR
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·2d
⟷Bidirectional Programming
Standalone compilation on Windows broken
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Don't Know These 6 Tools? No Wonder Your Python Development Is So Slow
dev.to·1d·
Discuss: DEV
🔄Language Evolution
AI-Powered Coding Tools & Software Development in 2025
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·3d·
Discuss: Hacker News
λLambda Formalization
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·10h
🎙️Whisper
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·10h
🌀Differential Geometry
100 days of Coding! Day 25
dev.to·20h·
Discuss: DEV
🌊Stream Processing