Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·9h·
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·14h
🦀Rust
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·10h·
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
Pain Points of OCaml
quamserena.com·14h·
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·4h·
Discuss: Hacker News
🦀Rust
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·6h
⚠️Error Handling
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·4h·
Discuss: Hacker News
🦀Rust
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·11h·
Discuss: Hacker News
💻programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
r/mathematics
reddit.com·5h·
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·1h·
Discuss: Hacker News
⚠️Error Handling
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🦀Rust
Flag this post
RimStone is a different kind of programming language
dev.to·2d·
Discuss: DEV
🦀Rust
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·4h·
Discuss: Hacker News
🦀Rust
Flag this post