Cure - Verification-First Programming for the BEAM
cure-lang.orgยท1dยท
Discuss: Lobsters
๐Ÿ“กErlang BEAM
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.comยท58mยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
Flag this post
Linkers: A 20 Part Series
airs.comยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธMinimal Compilers
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.aiยท6hยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsing
Flag this post
Composing the Idea: Why "Next Word Prediction" Misses the Point
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Theory
Flag this post
Reflections on Trusting Trust (1984)
web.archive.orgยท2dยท
Discuss: Hacker News
๐Ÿท๏ธMemory Tagging
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.comยท1d
โšกfunctional programming
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.comยท8hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Flag this post
AWK technical notes (2023)
maximullaris.comยท2dยท
๐ŸšShell Languages
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท5hยท
๐Ÿฆ€MIR Optimization
Flag this post
Low-Level Hacks
blog.raycursive.comยท1dยท
Discuss: Hacker News
๐Ÿ”ขBit Manipulation
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.comยท14hยท
Discuss: Hacker News
๐Ÿ”ฎMetacircular Evaluators
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.aiยท6hยท
Discuss: r/ClaudeAI
โšกLive Coding
Flag this post
RAG: The Bridge Between Memoryless Models and Real-World Knowledge
pub.towardsai.netยท6h
๐Ÿ“ŠLR Parsing
Flag this post
MCP standard
dev.toยท2dยท
Discuss: DEV
๐Ÿ“กProtocol Parsers
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
dev.toยท7hยท
Discuss: DEV
๐Ÿ›ก๏ธError Ergonomics
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.toยท2hยท
Discuss: DEV
๐Ÿ”„Incremental Lexing
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.toยท1dยท
Discuss: DEV
๐Ÿ”คLanguage Tokenizers
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.orgยท1d
โœจGleam
Flag this post