why you should learn ocaml
sarthak2143.bearblog.dev·2d
⚙Functional Programming
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·1d
⚙Functional Programming
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·15h·
Discuss: Hacker News
🏗Computer Architecture
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·4d·
Discuss: Hacker News
📝Lisp
Swift 6 Error Handling: Typed Throws Explained
dev.to·1d·
Discuss: DEV
🤝Protocol Design
JavaScript Types: What Are They and How Do You Check Them?
howtogeek.com·20h
📐Type Theory
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·1d·
Discuss: DEV
🧩Theorem Proving
Constraint Catalog
sofdem.github.io·1d
🎯Constraint Programming
Speak, Don't Type
typeless.com·5h·
Discuss: Hacker News
🧩Theorem Proving
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙Functional Programming
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·1d·
Discuss: r/golang
🔧Compiler Design
The Schwartzian Transform (2016)
perl.com·17h·
Discuss: Hacker News
📝Lisp
Python Scripts – From Classroom to Community - 1
brezular.com·14h
📝Lisp
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·22h
🔗Parser Combinators
A beginner-friendly guide to the top programming languages_
dev.to·9h·
Discuss: DEV
🔌Network Programming
Reverse engineering some updates to Claude
simonw.substack.com·8h·
Discuss: Substack
🏗️Software Architecture
Design Patterns by Purpose: Reuse (Part 2)
dev.to·1d·
Discuss: DEV
⚙Functional Programming
TypeScript 5.9 Adds Expandable Hovers
i-programmer.info·1d
📐Type Theory
🔗 Upside-Down Development
jardo.dev·3d
📐Type Theory