Pain Points of OCaml
🦀Rust
Flag this post
r/mathematics
🔧functional programming languages
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·7h
🦀Rust
Flag this post
Readable Code Is Unreadable
💻programming
Flag this post
Back from suspension, Ja Morant says he isn't playing with joy anymore
nytimes.com·13h
🔧Tooling
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
🔧functional programming languages
Flag this post
Hacking the Color BASIC PRINT command – part 7
subethasoftware.com·1h
💻programming
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·3h
📐Type Theory
Flag this post
Parsing with zippers improves parsing with derivatives
🔧functional programming languages
Flag this post
essential spectrum
ncatlab.org·9h
📐Type Theory
Flag this post
Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with B\'ezier Curves
arxiv.org·14h
📐Type Theory
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
🔧Tooling
Flag this post
Limitations of a two-pass assembler
boston.conman.org·16h
🦀Rust
Flag this post
original ↗
raymondcamden.com·1d
💻programming
Flag this post
Can-t stop till you get enough
🦀Rust
Flag this post
Loading...Loading more...