3 best practices for building software in the era of LLMs
about.gitlab.com·2d
⚡Proof Automation
Grok 4
x.ai·2h·
Discuss: Hacker News
🧠Intelligence Compression
guile lab notebook: on the move!
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🔄Language Evolution
Vibe Coding in BASIC
goto10retro.com·2d·
Discuss: Hacker News
📺VT100
On the UI of Coding Assistants And Agents
lmika.org·2d
✨Effect Handlers
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·2d·
Discuss: Hacker News
⚡Incremental Computation
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·2d·
Discuss: Substack
👁️Observatory Systems
I ride AI-hype train
blog-doe.pages.dev·2d·
Discuss: Hacker News
🚀Indie Hacking
100 days of Coding! Day 25
dev.to·1d·
Discuss: DEV
🌊Stream Processing
FastMCP - A Smarter Way to Build LLM Toolchains
dev.to·1d·
Discuss: DEV
🧩WASM Components
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·2d
🔢Denotational Semantics
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
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·13h·
Discuss: DEV
🖥️Modern Terminals
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·22h
✨Effect Handlers
Automating CRUD Page Generation Using .cursor/rules and Our Own Open Source Library
dev.to·13h·
Discuss: DEV
🪟Awesome windows command-line
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
arxiv.org·2d
✅Formal Methods
Fridge-photo based recipe generator by using Google AI Studio
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
AI coding tools may not speed up every developer, study shows
techcrunch.com·6h
📏Code Metrics