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ยท4hยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
Flag this post
Building a highly-available web service without a database
screenshotbot.ioยท53mยท
Discuss: r/programming
๐Ÿ“ฎMessage Queues
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ยท9hยท
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
AWK technical notes (2023)
maximullaris.comยท2dยท
๐ŸšShell Languages
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท8hยท
๐Ÿฆ€MIR Optimization
Flag this post
Low-Level Hacks
blog.raycursive.comยท1dยท
Discuss: Hacker News
๐Ÿ”ขBit Manipulation
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.aiยท9hยท
Discuss: r/ClaudeAI
โšกLive Coding
Flag this post
RAG: The Bridge Between Memoryless Models and Real-World Knowledge
pub.towardsai.netยท9h
๐Ÿ“ŠLR Parsing
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.orgยท4h
๐Ÿง Semantic Parsing
Flag this post
What is Code Refactoring? Tools, Tips, and Best Practices
dev.toยท15hยท
Discuss: DEV
๐ŸššCode Migration
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.orgยท4h
โœจEffect Inference
Flag this post
Perl ๐Ÿช Weekly #745 - Perl IDE Survey
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Language Toolchains
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.orgยท1d
๐ŸŽญProgram Synthesis
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Flag this post