🔷 F#

Functional Programming, .NET, Type Providers, Computation Expressions

## Automated Verification and Enhancement of Distributed Ledger Technology (DLT) Smart Contract Logic Using Hybrid Symbolic Execution and Machine Learning
freederia.com·10h
🧮Functional Programming
Flag this post
Why Prompt Engineering Made Me Reach for JSX
chatbotkit.com·33m·
Discuss: Hacker News
🌳Elm
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·2d·
Discuss: r/programming
🧮Functional Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·4d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
The Swift AWS Lambda Runtime moves to AWSLabs
aws.amazon.com·1d
🌳Elm
Flag this post
map-of-shame - Unsafe operations on type-erased maps (Experimental)
github.com·1d·
Discuss: r/golang
🌳Elm
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.dev·1d
🌳Elm
Flag this post
Comparison and Benchmarking of Go RPC Systems
matheusd.com·1d·
Discuss: r/golang
🌳Elm
Flag this post
XSTD - Attempt at better C standard library, need feedback please!
reddit.com·18h·
Discuss: r/C_Programming
📐Haskell
Flag this post
Build HTTP APIs with Dependency Injection in TypeScript — Meet the Inversify Framework
dev.to·5h·
Discuss: DEV
🌳Elm
Flag this post
The Secret Life of Python: The String Intern Pool - When Two Strings Are One Object
dev.to·14h·
Discuss: DEV
❄️Nix
Flag this post
Building Better State Machines in Modern C++: CXXStateTree
dev.to·1h·
Discuss: DEV
🌳Elm
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🧮Functional Programming
Flag this post
How to Set Up Valkey, The Alternative to Redis
percona.com·3h
🌳Elm
Flag this post
I really like Promptfoo for testing prompts, so I wrote an article on how to use it to test prompts with different models and various assert types. Let me know ...
pvkl.nl·2d·
Discuss: r/LLM
🌳Elm
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Token-Optimized Notation Language
tonl.dev·2h·
Discuss: Hacker News
🌳Elm
Flag this post
How To Setup MonoGame for F#
dev.to·5h·
Discuss: DEV
🧮Functional Programming
Flag this post
Facade Pattern — Catalog of Enterprise Application Architecture Patterns 🏢
dev.to·13h·
Discuss: DEV
🌳Elm
Flag this post
13 Arguments About a Transition to Neuralese AIs
lesswrong.com·1h
🌳Elm
Flag this post