A Monad Guide for Beginners
dev.to·4h·
Discuss: DEV
🗄databases and optimization
Flag this post
A Turing complete language in TypeScript types
github.com·2h·
Discuss: Hacker News
🗄databases and optimization
Flag this post
DOTS from double theories
topos.institute·16h
🗄databases and optimization
Flag this post
Rust-SFSM 1.0.0
reddit.com·7h·
Discuss: r/rust
🗄databases and optimization
Flag this post
An introduction to computer algebra (2018)
corywalker.me·6h·
Discuss: Hacker News
🗄databases and optimization
Flag this post
Unlocking Out-of-Distribution Generalization in Transformers via RecursiveLatent Space Reasoning
paperium.net·14h·
Discuss: DEV
🗄databases and optimization
Flag this post
From 'Why the F@&k Do I Need This?' to 'Oh, That's Why' - My GAT Journey
dev.to·1d·
Discuss: DEV
🗄databases and optimization
Flag this post
Show HN: Computational Metaphysics: Zeroth Implementation of Grover's and Shor's
polymetron.substack.com·17h·
Discuss: Substack
🗄databases and optimization
Flag this post
Diving into Rama: A Clojure LSH Vector Search Experiment
shtanglitza.ai·1d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·3d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
Servant by construction – a blog series on Haskell's web stack gem
laurentrdc.xyz·1d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
Go Generics: Use Cases and Patterns
dev.to·2d·
Discuss: DEV
🗄databases and optimization
Flag this post
Creating Lisp Systems
renato.athaydes.com·3d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
crypto.forem.com·5h·
Discuss: DEV
🗄databases and optimization
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·2d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
n-ary Huffman coding
lesswrong.com·30m
🗄databases and optimization
Flag this post
Show HN: SKRL is a language for expressing keyboard remaps and shortcuts
gitlab.com·10h·
Discuss: Hacker News
🗄databases and optimization
Flag this post
🎲 Never, Ever Make Recursive Lambda Calls
blog.kochie.io·1d
🗄databases and optimization
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·4d·
Discuss: r/programming
🗄databases and optimization
Flag this post
Abusing the Harvard Architecture in Nand2Tetris Assembly
ashdnazg.github.io·10h·
Discuss: Hacker News
🗄databases and optimization
Flag this post