higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Just some example work notes
dev.to·5h·
Discuss: DEV
💧Liquid Types
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Discover C++26’s compile-time reflection
lemire.me·19h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🦀Rust Macros
The dark side of Python (for CS students before learning Python)
gist.github.com·7h·
Discuss: Hacker News
💻programming languages
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·22h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·19m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·5d
🔓Decompilation
To Bind and Loose a Reference
thephd.dev·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·16h·
Discuss: DEV
🧬Functional Programming
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·23h·
Discuss: r/MachineLearning
🧠Learned Compression
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages