🛠 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·10h·
Discuss: Hacker News
🤖Archive Automation
Constant-Time Crypto in Fil-C
fil-c.org·1d·
Discuss: Hacker News
🔒Type Safety
I have officially made the switch.
reddit.com·17h·
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·1h
👁️System Observability
Robust reset control design for piezo-actuated nano-positioner in presence of hysteresis nonlinearity
arxiv.org·7h
⚙️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
Refactoring My Own Code: A Tale of Code Crumbles
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·3d·
Discuss: DEV
🧩RISC-V
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·3d
🧠Learned Indexing
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
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·4d
🧮Prolog Parsing
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org·4d
💻Programming languages
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.org·4d
🇨🇳Chinese Computing