Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
📋Protocol Design
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📋Protocol Design
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·6d·
Discuss: Hacker News
📋Protocol Design
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·3d·
Discuss: DEV
🧱lego
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
📋Protocol Design
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·3d·
Discuss: Hacker News
📋Protocol Design
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·1d·
Discuss: r/C_Programming
🧱lego
Flag this post
The Algebraic CheapLunch: Extending FreeLunch Attacks on Arithmetization-Oriented Primitives Beyond CICO-1
eprint.iacr.org·2d
🧱lego
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·17h·
Discuss: Hacker News
📝Markdown
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧱lego
Flag this post
Scala vs. F#
alexn.org·3d·
Discuss: Hacker News
🧱lego
Flag this post
De Bruijn Numerals
text.marvinborner.de·6d·
Discuss: Hacker News
📋Protocol Design
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🧱lego
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·6d·
Discuss: Lobsters, Hacker News
📋Protocol Design
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·1d·
Discuss: r/programming
🧱lego
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
🧱lego
Flag this post
Go Generics: Use Cases and Patterns
dev.to·2h·
Discuss: DEV
📋Protocol Design
Flag this post
Disciplined Biconvex Programming
arxiv.org·2d
📋Protocol Design
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·6d
📋Protocol Design
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
📝Markdown
Flag this post