Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·13h·
Discuss: Hacker News
⚠️Error Handling
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚠️Error Handling
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Disciplined Biconvex Programming
arxiv.org·19h
🦀Rust
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·15h·
Discuss: DEV
⚠️Error Handling
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
🐪ocaml
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·2h
⚠️Error Handling
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·3h
💻programming
Flag this post
Pain Points of OCaml
quamserena.com·18h·
Discuss: Lobsters, Hacker News
🐪ocaml
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·2d·
Discuss: DEV
🦀Rust
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
📐Type Theory
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·8h·
Discuss: Hacker News
🦀Rust
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·8h·
Discuss: Hacker News
🦀Rust
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·15h·
Discuss: Hacker News
💻programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·10h
⚠️Error Handling
Flag this post
r/mathematics
reddit.com·10h·
Discuss: r/mathematics
🐪ocaml
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·5h·
Discuss: Hacker News
⚠️Error Handling
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🦀Rust
Flag this post