Scala vs. F#
alexn.org·3d·
Discuss: Hacker News
🔧PLT
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🐫Ocaml
Flag this post
Go Generics: Use Cases and Patterns
dev.to·7h·
Discuss: DEV
🔍Static Analysis
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·23h·
Discuss: Hacker News
📐formal specification
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·5h·
Discuss: r/golang
🔍Static Analysis
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·1d·
Discuss: r/programming
🔍Static Analysis
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🔍Static Analysis
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·4h·
Discuss: Bluesky
🔧PLT
Flag this post
The Swift AWS Lambda Runtime moves to AWSLabs
aws.amazon.com·1h
🔧PLT
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2h·
Discuss: Hacker News
🔧PLT
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·3d
🔍Static Analysis
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·1d·
Discuss: r/rust
🔍Static Analysis
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·1d·
Discuss: r/LLM
📐formal specification
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🔍Static Analysis
Flag this post
Embedding TypeScript
andrews.substack.com·7h·
Discuss: Substack, r/programming
🔍Static Analysis
Flag this post
American Wind Farms
tech.marksblogg.com·11h·
Discuss: Hacker News
🐫Ocaml
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
🔧PLT
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
🔧PLT
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·18h
🔧PLT
Flag this post