🛠 Language Design

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

#367
weeknotes.barrucadu.co.uk·1d
🦀Rust Borrowing
RSS feed in an Astro blog
amanhimself.dev·1d
📰RSS Feed Discovery
Experimentation
theprogrammersparadox.blogspot.com·3d·
Discuss: theprogrammersparadox.blogspot.com
📊Static Analysis
GCC Patches Posted For C++26 SIMD Support
phoronix.com·2d
🔩Systems Programming
Jupyter Collaboration has a history slider
blog.jupyter.org·7h·
Discuss: Hacker News
🤖Archive Automation
Constant-Time Crypto in Fil-C
fil-c.org·1d·
Discuss: Hacker News
🔒Type Safety
Run Your Code Anywhere
blog.anirudha.dev·21h·
Discuss: Hacker News
🌐WASI
I have officially made the switch.
reddit.com·15h·
Discuss: r/linux
🔌Operating system internals
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·1d·
Discuss: r/golang
💧Liquidhaskell
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Refactoring My Own Code: A Tale of Code Crumbles
dev.to·3d·
Discuss: DEV
🦀Rust Macros
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
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·3d·
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
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.org·4d
🇨🇳Chinese Computing
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org·4d
💻Programming languages
On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification
arxiv.org·4h
🔍Vector Forensics
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·2d·
Discuss: DEV
⚡Proof Automation