Counting with Categories (Part 1)
golem.ph.utexas.edu·5h
λLambda Formalization
Creating Domain Types for Safer Code
dev.to·1h·
Discuss: DEV
🔒Linear Types
Discover C++26’s compile-time reflection
lemire.me·18h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🦀Rust Macros
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Superimposed codes
blog.sesse.net·8h
💾Binary codes
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·22h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Cactus Language • Syntax 10
inquiryintoinquiry.com·4h
📝Concrete Syntax
Understanding Bitwise Operators
beyondit.blog·1d·
Discuss: Hacker News, r/programming
🎯Arithmetic Coding Theory
Machine Learning Fundamentals: a/b testing
dev.to·13h·
Discuss: DEV
👁️Observatory Systems
I'm writing a book!
laplab.me·20h
🗄️Database Internals
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·5d
🔓Decompilation
What Is Wrong with Statement Coverage
bullseye.com·2h·
Discuss: Hacker News
🧪Property-Based Testing
Linters, Formatters, and Type-Checkers
playfulprogramming.com·3d
🎯Gradual Typing
The Probability of a Hash Collision
kevingal.com·17h·
Discuss: Hacker News
🔐Hash Functions
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·8h·
Discuss: Hacker News
🐛Fuzzing
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
Python Fundamentals: arrays
dev.to·20h·
Discuss: DEV
📊APL Heritage
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·15h·
Discuss: DEV
🦀Rust Borrowing