Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🔧PLT
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🪜Scala
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔧PLT
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2h·
Discuss: Hacker News
🔧PLT
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·4h·
Discuss: Bluesky
🔧PLT
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·2d·
Discuss: DEV
🪜Scala
Flag this post
New to C, did a string interning library.
reddit.com·18h·
Discuss: r/C_Programming
⚡Zig
Flag this post
This Week in Sports Trivia: November 6, 2025
nytimes.com·6h
⚡Zig
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
🔧PLT
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·18h
🔧PLT
Flag this post
ws-dl.blogspot.com·22h·
Discuss: ws-dl.blogspot.com
🔧PLT
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·13h
🔧PLT
Flag this post
Discrete Fourier Transform: Introduction (2020)
chciken.com·2h·
Discuss: Hacker News
🔧PLT
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🪜Scala
Flag this post
map-of-shame - Unsafe operations on type-erased maps (Experimental)
github.com·11h·
Discuss: r/golang
🔧PLT
Flag this post
Embedding TypeScript
andrews.substack.com·7h·
Discuss: Substack, r/programming
🪜Scala
Flag this post
American Wind Farms
tech.marksblogg.com·11h·
Discuss: Hacker News
🪜Scala
Flag this post
PCT quantum symmetries -- section
ncatlab.org·4h
🔧PLT
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·23h·
Discuss: Hacker News
📐formal specification
Flag this post
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🔧PLT
Flag this post