Scala vs. F#
🔧PLT
Flag this post
Creating Lisp Systems
🐫Ocaml
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
🔍Static Analysis
Flag this post
Go Generics: Use Cases and Patterns
🔍Static Analysis
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
📐formal specification
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🔍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 ...
📐formal specification
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
🔍Static Analysis
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
🔍Static Analysis
Flag this post
Embedding TypeScript
🔍Static Analysis
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·13h
🔧PLT
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔧PLT
Flag this post
Stop vibe coding your unit tests
📐formal specification
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
📐formal specification
Flag this post
Pain Points of OCaml
🐫Ocaml
Flag this post
Loading...Loading more...