🔷 F#

Functional Programming, .NET, Type Providers, Computation Expressions

Rodrigo Girão Serrão: Module compression overview
mathspp.com·10h
💾ZFS
Flag this post
Agent Foundations: Paradigmatizing in Math and Science
lesswrong.com·8h
🧮Functional Programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·1d
🧮Functional Programming
Flag this post
The Scariest Lines of Code I've Ever Written
canro91.github.io·17h·
Discuss: Hacker News
🧮Functional Programming
Flag this post
UseExtracted: The Tailwind of Internationalization?
next-intl.dev·10h·
Discuss: Hacker News
🌳Elm
Flag this post
Why Colts QB Daniel Jones isn't to blame for all 5 turnovers vs. Steelers: Watch video
nytimes.com·16h
🦀Rust
Flag this post
Why TypeScript Won't Save You
cekrem.github.io·2d·
Discuss: r/javascript, r/node, r/programming, r/reactjs, r/typescript, r/webdev
🌳Elm
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·4d
🧮Functional Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5d·
Discuss: Hacker News
📐Haskell
Flag this post
How to Set Up Valkey, The Alternative to Redis
percona.com·18h
🌳Elm
Flag this post
TwIST: Rigging the Lottery in Transformers with Independent Subnetwork Training
arxiv.org·1d
📐Haskell
Flag this post
Teaching My Team How to Build LINQ from Scratch
dev.to·3d·
Discuss: DEV
🌳Elm
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·2d·
Discuss: r/C_Programming
📐Haskell
Flag this post
Building Better State Machines in Modern C++: CXXStateTree
dev.to·16h·
Discuss: DEV
🌳Elm
Flag this post
How I built a game engine using MVI in Kotlin and avoided getting fired
nek12.dev·21h·
Discuss: r/programming
🌳Elm
Flag this post
Understanding Lifetime Elision in Rust
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
How to Choose a Dependency: Build vs Buy, Risk Management, and More
hackernoon.com·18h
❄️Nix
Flag this post
Tracking Down Progressively-Enhanceable APIs
willhbr.net·21h
🌳Elm
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·4d·
Discuss: Hacker News
🧮Functional Programming
Flag this post