🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

"Not created by man"
languagelog.ldc.upenn.edu·1d
🧮Prolog Parsing
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com·20h·
Discuss: Hacker News
⚡Proof Automation
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·4d
💻Programming languages
Pair Programming With ChatGPT: An Experience Report
brainbaking.com·15h·
Discuss: Hacker News
🦀Rust Macros
8 Advanced Python List Concepts with Real Use Cases
dev.to·19h·
Discuss: DEV
📝Concrete Syntax
Teach Yourself Programming in Ten Years
norvig.com·12h·
Discuss: Hacker News
🔩Systems Programming
TextIndex: Simple syntax for creating indexes in Markdown and text documents
mattgemmell.scot·1d·
Discuss: Hacker News
📇Indexing Strategies
Implementing Merkle Trees in Go
vaktibabat.github.io·2d
🌳Archive Merkle Trees
Voice AI for medical/premed students
codyliu.com·6h·
Discuss: Hacker News
🗣️CMU Pronouncing
Programming Language Escape Hatches
buttondown.com·2d·
Discuss: Hacker News
🦀Rust Macros
Interesting Number Paradox
en.wikipedia.org·14h·
Discuss: Hacker News
🔲Proof Irrelevance
Kernel
web.cs.wpi.edu·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Axiomatizing Rumsfeld Ignorance
arxiv.org·2d
🔲Proof Irrelevance
What if Left-Right and Seq-Lock had a baby?
github.com·1d·
Discuss: Hacker News
🔒Type Safety
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·21h·
Discuss: Hacker News
🔌Interface Evolution
Farewell to my Dad
blog.mattsbit.co.uk·15h·
Discuss: Hacker News
🏠Personal Archives
From Async/Await to Virtual Threads
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌊Stream Processing
Use Your Type System
dzombak.com·2d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Ohm: A JavaScript library and PEG-based language for building parsers
github.com·22h·
Discuss: Hacker News
📝ABNF Parsing
Nature just documented a 4th scientific paradigm: AI-driven discovery is fundamentally changing how we generate new knowledge
reddit.com·1d·
Discuss: r/artificial
🔲Cellular Automata