Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
A Conjure Piglet Client
lambdaisland.com·3d
🦀Rust Macros
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
Understanding Bootstrapping: How Go’s Compiler Is Written in Go
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·19h
🔗Tailscale
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Get Back To WARP
binary.ninja·19h
🧪Binary Fuzzing
Signal Relays
pzuraq.com·19h·
Discuss: Hacker News
✨Effect Handlers
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·19h·
Discuss: DEV
🔐Cryptographic Archaeology
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Binary Tree BFS: Zigzag Order
mmhaskell.com·5d
🔗Topological Sorting
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
"Python for Those Who Cannot Even", a Book by Claude Code
github.com·1d·
Discuss: Hacker News
📝Concrete Syntax
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·21h·
Discuss: Hacker News
⚡Proof Automation
Bringing restartable sequences out of the niche
lwn.net·1d·
Discuss: Hacker News
🔩Systems Programming
Introduction to Julia for R Users
nrennie.rbind.io·1d·
Discuss: Hacker News
🦀Rust Macros
The long season of langdev
blog.fogus.me·4d
🔄Language Evolution
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·19h·
Discuss: Hacker News
⚡Dependent Rust
Show HN: Implement BLAKE3 with Awk
github.com·22h·
Discuss: Hacker News
🔐Hash Functions
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance