Pain Points of OCaml
quamserena.com·2d·
🧮Hindley-Milner
Flag this post
Building a Custom Calendar Generator with React/Next.js
calendar-vibe.com·18h·
Discuss: DEV
🏗Datastructures
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·4h·
Discuss: Hacker News
🧮Hindley-Milner
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·3h·
Discuss: Hacker News
🧮Hindley-Milner
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
devblogs.sh·1d·
Discuss: r/programming
🧮Hindley-Milner
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🧮Hindley-Milner
Flag this post
Stainless Docs Platform — Early Access
stainless.com·1h·
Discuss: Hacker News
🗂️Columnar Storage
Flag this post
Vibing Negative
theblackwall.uk·3h
🧮Hindley-Milner
Flag this post
My query languages library pivot
dev.to·5h·
Discuss: DEV
🗄Databases
Flag this post
Prog8
github.com·2d·
Discuss: Hacker News
🏗Datastructures
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1d·
🧮Hindley-Milner
Flag this post
Generation of antigen-specific paired-chain antibodies using LLMs
sciencedirect.com·3h·
Discuss: Hacker News
🗄Databases
Flag this post
Building Blocks of the .NET Platform — Explained for Beginners
dev.to·1d·
Discuss: DEV
🏗Datastructures
Flag this post
When did people favor composition over inheritance?
sicpers.info·8h
🧮Hindley-Milner
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·6h·
Discuss: DEV
🏗Datastructures
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
🧮Hindley-Milner
Flag this post
Mastering Concurrency in Go: Goroutines, Channels, and Patterns
djamware.com·1d·
Discuss: DEV
🧮Algorithms
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·3h·
Discuss: Substack
🧮Hindley-Milner
Flag this post
How do I actually learn programming?
reddit.com·3h·
Discuss: r/godot
🧮Algorithms
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·1d
🏗Datastructures
Flag this post