Release candidate: Godot 4.5 RC 2
godotengine.org·21h·
Discuss: Hacker News, r/godot
🎮Verification Games
Using Haskell in Production
agentultra.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
How I tell human and AI flash fiction apart
lesswrong.com·1d
⚡Process Calculi
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
AI as teleportation
geoffreylitt.com·18h·
Discuss: Hacker News
🩹Self-Healing Systems
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
Rust's Enterprise Breakthrough Year
rust-trends.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
You and Your Local Gradient
whybyfire.net·15h·
Discuss: Hacker News
🩹Self-Healing Systems
You are not going to turn into Google eventually
idiallo.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·19h·
Discuss: r/programming
🤖Program Synthesis
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
🔬Static Analysis
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
How OpenAI Operator Works with AI Agents
anchorbrowser.io·19h·
Discuss: Hacker News
🧠Automated Reasoning
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·2d
🎮Verification Games
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·1d
🧠Automated Reasoning
Creating a Standard for TAI Governance
lesswrong.com·35m
🩹Self-Healing Systems
The Expression Problem and its solutions
eli.thegreenplace.net·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·20h·
Discuss: Hacker News
🧠Automated Reasoning
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·3d·
Discuss: Hacker News
💎Refinement Types