๐Ÿ›  Language Design

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

Get 10% off at Squarespace: a website builder for beginners and pros!
techradar.comยท1h
๐ŸŒ€Brotli Internals
Information modeling example: Call sheet
disruptivearchitecture.infoยท3d
๐ŸššData Migration
Containers: Everything You Need To Know
equipintelligence.medium.comยท8hยท
Discuss: r/programming
๐Ÿ“ฆContainer Security
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.coยท1dยท
Discuss: Hacker News
โฌ†๏ธLambda Lifting
Zig Interface Revisited
williamw520.github.ioยท4dยท
Discuss: Hacker News
๐ŸงฉWASM Components
Go library: CEL predicates to SQL conditions (PostgreSQL Dialect)
reddit.comยท4hยท
Discuss: r/golang
๐ŸงฉSQLite Extensions
Code Smells in Clojure
github.comยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Navigating the Landscape: Perl vs. Python vs. Bash in System Administration and Automation
dev.toยท1dยท
Discuss: DEV
๐ŸšShell Automation
Are We Cooked?
bonnycode.comยท2dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท6dยท
Discuss: Hacker News
๐Ÿ”Type Inference
Almost Always Auto (2013)
herbsutter.comยท4dยท
Discuss: Hacker News
๐Ÿ”’Type Safety
The Force: A Star Wars themed programming language
github.comยท2hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Vibe Coding - Conversational Software Development - Part 2 In Practice
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution
Intuitionistic monotone modal logic via translation
arxiv.orgยท7h
๐Ÿ—๏ธConstructive Mathematics
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.netยท10hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Ask r/kubernetes: What are you working on this week?
reddit.comยท1hยท
Discuss: r/kubernetes
๐Ÿ”ฉSystems Programming
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.comยท2dยท
Discuss: Hacker News
๐ŸŒWASI
Rethinking CLI Interfaces for AI
notcheckmark.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”’WASM Capabilities
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
AI 101 for Frontend Devs: LLMs, Transformers, RAG Explained Simply
dev.toยท2hยท
Discuss: DEV
๐Ÿค–Grammar Induction