Can a Data Race Happen on a Single-Core Machine?
aoli.alยท3dยท
Discuss: Hacker News
๐Ÿ”—Concurrency Primitives
Multiple Kernels on a Single System
lwn.netยท2hยท
Discuss: Hacker News
๐ŸŒฑForth Kernels
How to stop functional programming
brianmckenna.orgยท13hยท
๐Ÿ”—Concatenative Languages
What happens when coding agents stop feeling like dialup?
martinalderson.comยท14hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
A FSM Challenge for the c#/DotNet Dev Community
nuget.orgยท2dยท
Discuss: DEV
๐ŸŽฏFinite Automata
Token Models as Statistical Simulations: A Different Take
medium.comยท2hยท
Discuss: Hacker News
๐Ÿ”Tokenizers
An AI tool for learning critical thinking
vaughntan.orgยท16h
๐Ÿ’ฌInteractive REPLs
Why I Chose Rust for My OSD600 Project (And What I Learned)
dev.toยท2dยท
Discuss: DEV
๐Ÿš‚Cranelift Backend
Figured out my problem with gpt-oss-20b
reddit.comยท2dยท
Discuss: r/LocalLLaMA
๐Ÿง Memory Models
Tracking prompt evolution for RAG systems - anyone else doing this?
github.comยท3hยท
Discuss: r/LocalLLaMA
โšกLive Programming
Dynamic Multi-Modal Knowledge Synthesis via Hypergraph Temporal Reasoning (DMKSH)
dev.toยท6hยท
Discuss: DEV
โœจEffect Inference
Day 13 of 90 day python series....
github.comยท15hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Less is safer: How Obsidian reduces the risk of supply chain attacks
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฆDependency Analysis
Breaking Your Own App (on Purpose) with Chaos Proxy
dev.toยท10hยท
Discuss: DEV
๐ŸŒMinimal HTTP
My Favorite AI Prompts for Code Analysis and Optimization
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
7 Essential Database Optimization Techniques That Cut Query Times by 90%
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ˆQuery Optimization
Adaptive Query Prioritization via Learned Causality in Distributed Query Engines
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Query Engines