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
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·12h·
Discuss: Hacker News, r/webdev
🌀Brotli Internals
guile lab notebook: on the move!
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
📺VT100
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·19h·
Discuss: Substack
🔄Language Evolution
On the UI of Coding Assistants And Agents
lmika.org·1d
✨Effect Handlers
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·1d·
Discuss: Substack
👁️Observatory Systems
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
⚡Incremental Computation
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·3h
🔲Cellular Automata
I ride AI-hype train
blog-doe.pages.dev·1d·
Discuss: Hacker News
🚀Indie Hacking
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🧮Z3 Solver
Kioshun - in-memory cache that's actually pretty fast
reddit.com·1d·
Discuss: r/golang
💨Cache Analysis
Why Golang Belongs in Your AI Stack—Especially for Preprocessing Pipelines
hackernoon.com·1d
🌊Stream Processing
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·3h
🔲Cellular Automata
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·3h
📝ABNF Parsing
Accelerating translations with continuous integration
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
A Cycle-Consistency Constrained Framework for Dynamic Solution Space Reduction in Noninjective Regression
arxiv.org·3d
📊Quantization