Pain Points of OCaml
🐪ocaml
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·20h
🔧functional programming languages
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·4h
🔧functional programming languages
Flag this post
are-dependent-types-actually-erased
📐Type Theory
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·12h
🦀Rust
Flag this post
Lowering in Reverse
buttondown.com·1d
🔧functional programming languages
Flag this post
Readable Code Is Unreadable
💻programming
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
🔧functional programming languages
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·4h
🦀Rust
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·5h
🦀Rust
Flag this post
There is no truthy or falsy in Rust
joschuba.com·5h
🦀Rust
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🦀Rust
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🔧functional programming languages
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
💻programming
Flag this post
Loading...Loading more...