Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
Conversations with a six-year-old on functional programming (2018) (news.ycombinator.com)
2026-06-14 | by View All Posts Brent | tags: functional programming, free theorems, janis voigtländer
2.
All Lean Books and Where to Find Them (news.ycombinator.com)
2026-05-24 | get Lean Book Collection Set → | tags: lean, microsoft, david thrane christiansen
3.
Charity – Categorical programming language (1998) (news.ycombinator.com)
2026-05-12 | tags: charity programming language, categorical datatypes, university of calgary
4.
Dabbling in Erlang, part 2: A minimal introduction (2013) (news.ycombinator.com)
2026-05-02 | get Erlang Programming Book → | tags: erlang, pattern matching, eshell
5.
Functional programmers need to take a look at Zig (news.ycombinator.com)
2026-04-30 | get Zig Programming Language Book → | tags: zig, comptime, functional programming
6.
Lambda Calculus Benchmark for AI (news.ycombinator.com)
2026-04-25 | get Lambda Calculus Puzzle Game → | tags: lambda calculus, benchmark, computation
7.
Functional programming accellerates agentic feature development (news.ycombinator.com)
2026-04-01 | by Cyrus Radfar | get Functional Programming Book → | tags: ai agents, functional programming, super framework
8.
A case against currying (news.ycombinator.com)
2026-03-22 | get Currying Function Puzzle Game → | tags: rust, functional programming, currying
Today's top topics: apple google anthropic spacex amazon elon musk openai ios 27 microsoft meta
View all today's topics →

© 2026 GoKawiil | 8 articles displayed

About | Editorial Policy | Contact