Pain Points of OCaml
quamserena.com·2d·
🔀Category Theory
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·2d
🔀Category Theory
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·2d·
Discuss: r/programming
🔀Category Theory
Flag this post
The Riemann zeta function and tuning
en.xen.wiki·8h·
Discuss: Hacker News
🔀Category Theory
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·10h·
🔷C#
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·3d
🔀Category Theory
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
paperium.net·3h·
Discuss: DEV
🔀Category Theory
Flag this post
A QOJ week
blog.mitrichev.ch·1d·
🔀Category Theory
Flag this post
Query Compilation Isn't as Hard as You Think
databasearchitects.blogspot.com·16h·
🔀Category Theory
Flag this post
My query languages library pivot
dev.to·13h·
Discuss: DEV
🔀Category Theory
Flag this post
A SQLite extension for the crazy ones because everything could be a database
kruzenshtern.org·4h·
Discuss: Hacker News
🔷C#
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1d·
🔷C#
Flag this post
PCT quantum symmetries -- section
ncatlab.org·14h
🔀Category Theory
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·6h·
Discuss: Hacker News
🐍Python
Flag this post
American Wind Farms
tech.marksblogg.com·21h·
Discuss: Hacker News
🔷C#
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·2h·
Discuss: Hacker News
🔷C#
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·1d
🎲Bayesian Stats
Flag this post