Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Building a highly-available web service without a database
screenshotbot.io·8h·
Discuss: r/programming
📮Message Queues
Flag this post
An Embodied Mathematics
3quarksdaily.com·6h
🔗Concatenative Theory
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·11h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Linkers: A 20 Part Series
airs.com·1d·
Discuss: Hacker News
🏗️Minimal Compilers
Flag this post
Composing the Idea: Why "Next Word Prediction" Misses the Point
medium.com·1d·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.com·2d
🔧Error Recovery
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·19h·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·16h·
🦀MIR Optimization
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·1d·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·9h·
Discuss: Hacker News
Live Coding
Flag this post
Spring Data JPA Best Practices: Entity Design Guide
dev.to·49m·
Discuss: DEV
🗄️Database Engines
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🎭Program Synthesis
Flag this post
The True Cost of AI Integrations: Comparing Performance and Pricing Models for C# Libraries
dev.to·1d·
Discuss: DEV
🔧Error Recovery
Flag this post
A security model for systemd
lwn.net·1h·
Discuss: Hacker News
🛡️Security Type Systems
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
dev.to·18h·
Discuss: DEV
🛡️Error Ergonomics
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·2d
Effect Inference
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.org·1d
🌱Minimal ML
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·12h
🗺️Region Inference
Flag this post