June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Shane Kennedy - Software Engineer
shaneikennedy.xyz·1d
🦀Rust Macros
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.com·1d·
Discuss: Hacker News
🦀Rust Macros
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
What Is "Modern" Programming?
lemire.me·6h·
Discuss: Hacker News
💧Liquid Types
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
A Macro Story
courses.cs.northwestern.edu·2d·
Discuss: Lobsters, Hacker News
🔗Lisp
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Nix Development Setup for Factor
toast.al·1d·
Discuss: Lobsters, Hacker News
❄nix
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🌐Protocol Synthesis
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals