Disciplined Biconvex Programming
arxiv.orgยท15h
๐Functional Programming
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
๐ฆBorrow Checker
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.comยท1d
๐Functional Programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
๐งprogramming language design
Flag this post
r/mathematics
๐Functional Programming
Flag this post
PAINT25 Invited Talk transcript: โNotational Freedom via Self-Raising Diagramsโ
programmingmadecomplicated.wordpress.comยท7h
๐งprogramming language design
Flag this post
Pain Points of OCaml
๐งprogramming language design
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.comยท3h
๐งฎAlgebraic Effects
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
๐งprogramming language design
Flag this post
Low-Level Hacks
๐งprogramming language design
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauwโs Guide to C# Nullable Reference Types
blog.jetbrains.comยท6h
๐Functional Programming
Flag this post
Scala vs. F#
๐Functional Programming
Flag this post
News for October 2025
ptreview.sublinear.infoยท21h
๐Functional Programming
Flag this post
Think DSP second edition
allendowney.comยท3h
๐งprogramming language design
Flag this post
Loading...Loading more...