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
New Software from 'Ruđer' for Faster Supercomputer Simulations
irb.hr·6h·
Discuss: Hacker News
⚛️Information Physics
Full QuickJS Support for Nginx
blog.nginx.org·13h·
Discuss: Hacker News
⚡gRPC
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
Build a GenAI App With Java Using Spring AI and Docker Model Runner
docker.com·4h
📦Container Security
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🔄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
Standalone compilation on Windows broken
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·12h
🎙️Whisper
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·12h
🌀Differential Geometry
100 days of Coding! Day 25
dev.to·22h·
Discuss: DEV
🌊Stream Processing
Narrowing the Gap: Supervised Fine-Tuning of Open-Source LLMs as a Viable Alternative to Proprietary Models for Pedagogical Tools
arxiv.org·2d
🔗Functional Compilers
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·2d
🔢Denotational Semantics
Machine Learning Fundamentals: cross validation tutorial
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Warp Terminal: The AI-Powered Command Line for Frontend Developers
dev.to·3h·
Discuss: DEV
🖥️Modern Terminals
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·12h
✨Effect Handlers
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
arxiv.org·2d
✅Formal Methods