GoKawiil - Tech News

Topics: Today This Week This Month This Year

Show HN: Katharos Functional programming and CSP-style concurrency for Python (news.ycombinator.com)

2026-08-02 | tags: python, katharos, concurrency

EYG: A Programming Language for Humans (news.ycombinator.com)

2026-07-28 | by Peter Saxton | tags: eyg, no-code, sweden

RRB-Trees: Efficient Immutable Vectors (2012) [pdf] (news.ycombinator.com)

2026-06-24 | tags: rrb-trees, immutable vectors, data structures

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 voigtländer

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

Charity – Categorical programming language (1998) (news.ycombinator.com)

2026-05-12 | tags: charity programming language, categorical datatypes, university of calgary

Dabbling in Erlang, part 2: A minimal introduction (2013) (news.ycombinator.com)

2026-05-02 | get Erlang Programming Book → | tags: erlang, pattern matching, eshell

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

Lambda Calculus Benchmark for AI (news.ycombinator.com)

2026-04-25 | get Lambda Calculus Puzzle Game → | tags: lambda calculus, benchmark, computation

10.

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

11.

A case against currying (news.ycombinator.com)

2026-03-22 | get Currying Function Puzzle Game → | tags: rust, functional programming, currying

Today's top topics: spacex apple google openai android billion anthropic android authority code model