Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·10h
🔧programming language design
Flag this post
News for October 2025
ptreview.sublinear.info·2h
🔧programming language design
Flag this post
Scala vs. F#
alexn.org·21h·
Discuss: Hacker News
🔧programming language design
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·14h·
Discuss: Hacker News
🔧programming language design
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔧programming language design
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·4d
🦀Borrow Checker
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·19h·
Discuss: Hacker News
🔧programming language design
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·19m·
Discuss: Hacker News
🔧programming language design
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·5h·
Discuss: Substack
🔧programming language design
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·6h·
Discuss: Hacker News
🔧programming language design
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🔧programming language design
Flag this post
Dive into Systems
diveintosystems.org·8h·
Discuss: Hacker News
🔧programming language design
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·17h·
Discuss: DEV
📲local-first software
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·5d·
Discuss: Substack
🔧programming language design
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·12h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·14h·
Discuss: Lobsters
🔧programming language design
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·2d
🔧programming language design
Flag this post