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
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·13h·
Discuss: r/C_Programming
⚡Zig
Flag this post
This Week in Sports Trivia: November 6, 2025
nytimes.com·1h
⚡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·13h
🔧PLT
Flag this post
ws-dl.blogspot.com·17h·
Discuss: ws-dl.blogspot.com
🔧PLT
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·8h
🔧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·6h·
Discuss: r/golang
🔧PLT
Flag this post
Embedding TypeScript
andrews.substack.com·2h·
Discuss: Substack, r/programming
🪜Scala
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·18h·
Discuss: Hacker News
📐formal specification
Flag this post
r/mathematics
reddit.com·1d·
Discuss: r/mathematics
🔧PLT
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🔧PLT
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·44m·
Discuss: r/golang
🪜Scala
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·3d·
Discuss: Hacker News
🪜Scala
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·20h·
Discuss: Hacker News
📐formal specification
Flag this post
Building a Custom Calendar Generator with React/Next.js
calendar-vibe.com·11h·
Discuss: DEV
🪜Scala
Flag this post