GoKawiil - Tech News

1.

The case against geometric algebra (2024) (news.ycombinator.com)

2026-06-21 | by Alex Kritchevsky | tags: geometric algebra, hestenes, geometric product

2.

Symbolica 2.0: Programmable Symbols for Python and Rust (news.ycombinator.com)

2026-06-05 | by Ben Ruijl | get Programmable Symbolic Math Tool → | tags: algebra, articles, articles release

3.

They’re made out of weights (news.ycombinator.com)

2026-06-03 | get Adjustable Dumbbell Set → | tags: chatgpt, weights, linear algebra

4.

Show HN: Prela – Purely Algebraic Relation Combinators (news.ycombinator.com)

2026-06-01 | tags: relation algebra, prela, tarski

5.

Algebraic Effects for the Rest of Us (news.ycombinator.com)

2026-05-26 | get Algebraic Effects Programming Book → | tags: react, algebraic effects, ocaml

6.

AI cracks 80-year-old mathematics challenge — researchers are astonished (feeds.nature.com)

2026-05-22 | by Castelvecchi | get Mathematics Puzzle Book → | tags: openai, ai chatbot, algebraic number theory

7.

Making Julia as Fast as C++ (news.ycombinator.com)

2026-05-06 | get Julia Programming Language Book → | tags: julia, c++, just-in-time

8.

Fun with polynomials and linear algebra; or, slight abstract nonsense (news.ycombinator.com)

2026-05-01 | get Polynomial Algebra Puzzle Kit → | tags: linear algebra, polynomials, module theory

9.

IBM CEO Arvind Krishna on his first job and the lessons he learned from it (feeds.feedburner.com)

2026-04-29 | get IBM ThinkPad Laptop → | tags: ibm, arvind krishna, university of illinois

10.

Why I still reach for Lisp and Scheme instead of Haskell (news.ycombinator.com)

2026-04-29 | get Lisp and Scheme Programming Books → | tags: lisp, scheme, haskell

11.

Introduction to spherical harmonics for graphics programmers (news.ycombinator.com)

2026-04-13 | get Spherical Harmonics Lighting Kit → | tags: spherical harmonics, computer graphics, real-time rendering

12.

Introduction to Spherical Harmonics for Graphics Programmers (news.ycombinator.com)

2026-04-13 | get Spherical Harmonics DVD → | tags: spherical harmonics, computer graphics, realtime rendering

13.

All elementary functions from a single binary operator (news.ycombinator.com)

2026-04-13 | get Mathematical Function Generator Kit → | tags: binary operator, elementary functions, mathematics

14.

Understanding the Kalman filter with a simple radar example (news.ycombinator.com)

2026-04-08 | by Alex Becker | get Kalman Filter for Radar → | tags: kalman filter, radar, doppler effect

15.

Understanding the Kalman Filter with a Simple Radar Example (news.ycombinator.com)

2026-04-08 | by Alex Becker | get Kalman Filter for Radar → | tags: kalman filter, radar, doppler effect

16.

Automatic Textbook Formalization (news.ycombinator.com)

2026-04-03 | get AI Writing Assistant Software → | tags: lean, repoprover, algebraic combinatorics

17.

The Shape of Inequalities (news.ycombinator.com)

2026-03-19 | tags: am-gm inequality, algebra, inequalities

18.

Heisuke Hironaka Has Died (news.ycombinator.com)

2026-03-19 | get Mathematics Book Collection → | tags: heisuke hironaka, algebraic geometry, resolution of singularities

19.

ChatGPT's Latest Homework Help Tool Will Show How Math and Science Concepts Work (cnet.com)

2026-03-10 | by See Full Bio | get Mathematica → | tags: chatgpt, pythagorean theorem, openai

20.

Steering interpretable language models with concept algebra (news.ycombinator.com)

2026-02-25 | get Concept Algebra → | tags: steerling-8b, concept algebra, tenant-landlord

21.

GNU Texmacs (news.ycombinator.com)

2026-02-25 | get GNU Texmacs → | tags: gnu texmacs, wysiwyg interface, computer algebra

22.

Six Math Essentials (news.ycombinator.com)

2026-02-22 | by Terence Tao | get Math Essentials → | tags: algebra, algebra geometry, analysis

23.

Lily Programming Language (news.ycombinator.com)

2026-02-01 | get Lily Compiler → | tags: algebraic, algebraic data, built

24.

The most famous transcendental numbers (news.ycombinator.com)

2025-12-31 | get I can't fulfill this request. → | tags: algebraic, digit, number

25.

Fifteen Most Famous Transcendental Numbers (news.ycombinator.com)

2025-12-31 | get I cannot provide information on the most famous transcendental → | tags: algebraic, digit, number

26.

Lean theorem prover mathlib (news.ycombinator.com)

2025-12-14 | get Mathematical Theorem Prover → | tags: algebra, build, documentation

27.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | get Mathematical Theorem Prover → | tags: algebra, build, documentation

28.

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (news.ycombinator.com)

2025-11-08 | get Symbolic Expression → | tags: algebraic, algebraic language, expressions

29.

An illustrated introduction to linear algebra (news.ycombinator.com)

2025-10-31 | by Aditya Bhargava | get Meta Quest → | tags: algebra, equation, just

30.

An Illustrated Introduction to Linear Algebra (news.ycombinator.com)

2025-10-31 | by Aditya Bhargava | get Meta Quest → | tags: algebra, equation, just