GoKawiil - Tech News

1.

Show HN: AttaLambda: a language where types and data are made of untyped lambdas (news.ycombinator.com)

2026-09-14 | tags: attalambda, lambda calculus, untyped lambda calculus

2.

A faster way to calculate the day of the week (news.ycombinator.com)

2026-08-16 | tags: calculus, day of the week, algorithms

3.

Simplifying and Refactoring Introductory Calculus (2018) (news.ycombinator.com)

2026-08-15 | tags: calculus, refactoring, introductory

4.

Simplifying and Refactoring Introductory Calculus (news.ycombinator.com)

2026-08-15 | tags: calculus, refactoring, programming

5.

Principia Mathematica is modern and insightful (news.ycombinator.com)

2026-08-12 | tags: principia mathematica, whitehead russell, lambda calculus

6.

LLM-Integrated Multivariable Calculus Course (news.ycombinator.com)

2026-07-19 | tags: llm, multivariable calculus, vector fields

7.

Synthesis is harder than analysis (news.ycombinator.com)

2026-07-04 | by Lorin Hochstein | tags: calculus, compute, frac

8.

Sharing a love for calculus (technologyreview.com)

2026-06-23 | by Sally Kornbluth | get Calculus Textbook for Beginners → | tags: mit4america, mit, calculus

9.

How it feels to practice for IOAI in Iran (news.ycombinator.com)

2026-06-20 | tags: iran olympiad, ai olympiad, iranian students

10.

Extraordinary Ordinals (news.ycombinator.com)

2026-05-12 | by Marvin Borner | get Bitcoin Ordinal Inscriptions Kit → | tags: lambda calculus, borner, tikz

11.

7 lines of code, 3 minutes: Implement a programming language (2010) (news.ycombinator.com)

2026-05-11 | get Python Programming Book → | tags: lambda calculus, alonzo church, turing machine

12.

What can we gain by losing infinity? (news.ycombinator.com)

2026-04-29 | by Gregory Barber | get Infinity Symbol Wall Art → | tags: mathematician, doron zeilberger, infinity

13.

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

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

14.

Fundamental Theorem of Calculus (news.ycombinator.com)

2026-04-23 | get Calculus Textbook for Beginners → | tags: calculus, riemann integral, fundamental theorem

15.

Effectful Recursion Schemes (news.ycombinator.com)

2026-04-20 | by The Effekt Research Team | tags: recursion schemes, effekt, haskell

16.

Using calculus to do number theory (news.ycombinator.com)

2026-03-16 | get Calculus for Number Theory Book → | tags: number theory, calculus, modular arithmetic

17.

Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (news.ycombinator.com)

2026-02-28 | get Lambda Calculus → | tags: bubble notation, visual lambda calculus, python 3.8

18.

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] (news.ycombinator.com)

2025-11-23 | get Geometric Algebra → | tags: calculus, calculus mathematicians, computer

19.

The Lambda Calculus (2023) (news.ycombinator.com)

2025-10-31 | by Alama | get Amazon Echo Dot → | tags: beta, calculus, lambda

20.

The Lambda Calculus – Stanford Encyclopedia of Philosophy (news.ycombinator.com)

2025-10-31 | by Alama | get Amazon Echo Dot → | tags: beta, calculus, lambda

21.

Typechecker Zoo (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: calculus, code, going

22.

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV) (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: calculus, computation, levy

23.

Calculus Bridge: What It Is, How to Prevent It and More (cnet.com)

2025-10-31 | by Kacie Goff | get Microsoft Surface Pro → | tags: bridge, calculus, dental