Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔄Functional Programming
Flag this post
Empirical Characterization Testing
blog.ploeh.dk·4h
🦀Borrow Checker
Flag this post
For Synthetic Situations
lesswrong.com·1h
🧮Algebraic Effects
Flag this post
Handbook of Satisfiability (2021)
🔄Functional Programming
Flag this post
Mastering the ‘O’ in SOLID: Applying the Open/Closed Principle in Real-World Code
🦀Borrow Checker
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·4d
🔄Functional Programming
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·17h
🔧programming language design
Flag this post
Build your own GPG in Rust
🦀Borrow Checker
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·19h
🔧programming language design
Flag this post
A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.com·3h
🔧programming language design
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
🔄Functional Programming
Flag this post
CloudEvents as a Data Product
codesimple.blog·10h
🕸semantic web
Flag this post
Chain of Pattern: Rethink
🔧programming language design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
🔧programming language design
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·17h
🔧programming language design
Flag this post
A Close Look at a FastAPI Example Application
realpython.com·3h
📲local-first software
Flag this post
Loading...Loading more...