are-dependent-types-actually-erased
⚠️Error Handling
Flag this post
Thinking with Types: type-level programming in Haskell
🔧functional programming languages
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·3h
💻programming
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·19h
🐪ocaml
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·7h
🐪ocaml
Flag this post
essential spectrum
ncatlab.org·13h
🐪ocaml
Flag this post
Scala vs. F#
🔧functional programming languages
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🦀Rust
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·11h
🐪ocaml
Flag this post
Pain Points of OCaml
🐪ocaml
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
🔧functional programming languages
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
🦀Rust
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·19h
🦀Rust
Flag this post
r/mathematics
🐪ocaml
Flag this post
What Is Occult Grammar?
🔧functional programming languages
Flag this post
Loading...Loading more...