Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Developing desktop apps from scratch: A feature checklist
alek-tron.com·2h·
Discuss: Hacker News
🌉Cross-Platform FFI
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·6h·
Discuss: Hacker News
⚙️Configuration Languages
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·17h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
ws-dl.blogspot.com·3h·
🎭Racket
Flag this post
Linkers: A 20 Part Series
airs.com·2d·
Discuss: Hacker News
🏗️Minimal Compilers
Flag this post
A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.com·2d
🔧Error Recovery
Flag this post
💥 Tech Talks Weekly #81: Podcasts Are Here ‼️
techtalksweekly.io·6h
💬Interactive REPLs
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·22h·
🦀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·15h·
Discuss: Hacker News
Live Coding
Flag this post
Sourcing and Collecting Data for Training Large Language Models
pub.towardsai.net·3h
🎮Language Ergonomics
Flag this post
Composing the Idea: Why "Next Word Prediction" Misses the Point
medium.com·2d·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
Spring Data JPA Best Practices: Entity Design Guide
dev.to·6h·
Discuss: DEV
🗄️Database Engines
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·18h
🗺️Region Inference
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🔍Type Inference
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·18h
🪜Recursive Descent
Flag this post