🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Experimentation
theprogrammersparadox.blogspot.com·3d·
Discuss: theprogrammersparadox.blogspot.com
📊Static Analysis
Jupyter Collaboration has a history slider
blog.jupyter.org·12h·
Discuss: Hacker News
🤖Archive Automation
Constant-Time Crypto in Fil-C
fil-c.org·1d·
Discuss: Hacker News
🔒Type Safety
Acing technical interviews – part one (2019)
mikemroczka.com·21h·
Discuss: Hacker News
🔩Systems Programming
I have officially made the switch.
reddit.com·20h·
Discuss: r/linux
🔌Operating system internals
Run Your Code Anywhere
blog.anirudha.dev·1d·
Discuss: Hacker News
🌐WASI
When Metrics Overwhelm: How SREs Help Engineers Reclaim Focus
devops.com·4h
👁️System Observability
Robust reset control design for piezo-actuated nano-positioner in presence of hysteresis nonlinearity
arxiv.org·9h
⚙️Tape Transport
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·1d·
Discuss: r/golang
💧Liquidhaskell
GCC Patches Posted For C++26 SIMD Support
phoronix.com·3d
🔩Systems Programming
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: How to Build AI Agents in Python
dev.to·1d·
Discuss: DEV
🤖AI Curation
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1h·
Discuss: DEV
🚀Indie Hacking
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·3d·
Discuss: DEV
🧩RISC-V
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·2d·
Discuss: DEV
⚡Proof Automation
The Tech Stack That's Dying in 2025 (Stop Wasting Time on It)
dev.to·1d·
Discuss: DEV
🦋Format Evolution
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·4d·
Discuss: DEV
⚡Cache Theory
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.org·4d
🇨🇳Chinese Computing
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·4d
🧮Prolog Parsing