A Monad Guide for Beginners
dev.to·3h·
Discuss: DEV
📱Kotlin
Flag this post
Rust-SFSM 1.0.0
reddit.com·6h·
Discuss: r/rust
📱Kotlin
Flag this post
A Turing complete language in TypeScript types
github.com·1h·
Discuss: Hacker News
📱Kotlin
Flag this post
An introduction to computer algebra (2018)
corywalker.me·5h·
Discuss: Hacker News
📱Kotlin
Flag this post
Unlocking Out-of-Distribution Generalization in Transformers via RecursiveLatent Space Reasoning
paperium.net·13h·
Discuss: DEV
📱Kotlin
Flag this post
Swift Arrays: Map, Filter, Reduce & Sort Explained
bugfender.com·1d
📱Kotlin
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·2d·
Discuss: Hacker News
🏛Data sovereignty
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.site·11h·
Discuss: Hacker News
📱Kotlin
Flag this post
Show HN: Computational Metaphysics: Zeroth Implementation of Grover's and Shor's
polymetron.substack.com·16h·
Discuss: Substack
📱Kotlin
Flag this post
I don't love Rust (either)
cbarrete.com·2h·
Discuss: Hacker News
📱Kotlin
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·4d·
Discuss: Hacker News
📱Kotlin
Flag this post
DOTS from double theories
topos.institute·15h
📱Kotlin
Flag this post
🎲 Never, Ever Make Recursive Lambda Calls
blog.kochie.io·1d
📱Kotlin
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·3d·
Discuss: Hacker News
📱Kotlin
Flag this post
Writing Your First Compiler - Part 6: Extending the Language
dev.to·22h·
Discuss: DEV
📱Kotlin
Flag this post
Array Programming the Mandelbrot Set
jcmorrow.com·2d·
Discuss: Hacker News
📱Kotlin
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·3d
📱Kotlin
Flag this post
🔥 JavaScript Interview Series(13): Closures in Practice — Encapsulation & Privacy
dev.to·2h·
Discuss: DEV
📱Kotlin
Flag this post
Go Generics: Use Cases and Patterns
dev.to·2d·
Discuss: DEV
📱Kotlin
Flag this post
Thoughts on Building Reliable Systems
medium.com·1d·
Discuss: Hacker News, r/programming
📱Kotlin
Flag this post