GoKawiil - Tech News

1.

Noctua fans prevent the CAIM1 ‘Anti-AI’ 4K camera from throttling — unusual camera’s processor gets toasty as it records while performing cryptographic calculations (tomshardware.com)

2026-09-20 | by Mark Tyson | get Noctua NF-A4x10 5V PWM fan → | tags: noctua, caim1, anti-ai camera

2.

I vibed a proof of Conway's conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

3.

I Vibed a Proof of Conway's Conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

4.

Bend – A language that blocks AI mistakes via proof, on CPU and GPU (news.ycombinator.com)

2026-09-17 | get NVIDIA GeForce RTX 4070 graphics card → | tags: bend language, cuda parallelism, lean proofs

5.

Everyone should slow down AI development except for me (news.ycombinator.com)

2026-09-13 | tags: anubis, proof-of-work, hashcash

6.

OpenAI’s Navier-Stokes release included a Lean 4 formal proof (news.ycombinator.com)

2026-09-10 | get Certified Programming with Dependent Types Chlipala → | tags: openai, navier-stokes equations, lean 4

7.

Anthropic Reveals Fourth Likely Crime Committed By Its AI (slashdot.org)

2026-09-10 | get Elementary Linear Algebra Howard Anton → | tags: advance, advance proof, algebra

8.

It took a year to ship WebAssembly in Anubis (news.ycombinator.com)

2026-09-06 | get Programming WebAssembly with Rust book → | tags: anubis, webassembly, proof-of-work

9.

Formalizing Fermat's Last Theorem (news.ycombinator.com)

2026-09-04 | get Fermat's Enigma Simon Singh book → | tags: fermats last theorem, lean proof assistant, imperial college london

10.

From Trojan horses to AI-proof exams: how professors are tackling students’ AI use (feeds.nature.com)

2026-09-01 | by Zimmer | get Roaring Spring blue exam books → | tags: large language models, mit, oxford

11.

My BC-250 Journey (With 40 CUs Unlocked) (news.ycombinator.com)

2026-08-30 | by Matthew Morgan | get Noctua NF-A12x25 PWM 120mm fan → | tags: asrock bc-250, ethereum proof-of-work, gddr6 bandwidth

12.

Proof of Human (YC S23) Is Hiring a Member of Technical Staff (news.ycombinator.com)

2026-08-20 | tags: proof of human, aws, node

13.

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

14.

Mathematics holds the secret to ‘ladder-proof’ knitting (feeds.nature.com)

2026-08-18 | by Patil | tags: knot theory, physical review x, knitting technology

15.

This font looks perfectly normal to humans but wreaks havoc on AI (feeds.feedburner.com)

2026-08-10 | tags: shieldfont, seneda & abruccio, playtype

16.

Mathematics Without Mathematicians (news.ycombinator.com)

2026-08-02 | by Fernando Borretti | tags: openai, coding theory, mathematics

17.

Many "serious" mathematicians are aghast (news.ycombinator.com)

2026-07-28 | tags: ai mathematics, peer-reviewed journals, scientific revolution

18.

Solving Fermat: Andrew Wiles (news.ycombinator.com)

2026-07-27 | tags: fermats last theorem, andrew wiles, mathematics

19.

The Proof Machine (2016) (news.ycombinator.com)

2026-07-27 | tags: proof assistant, isabelle, propositional logic

20.

We have proof automation now (news.ycombinator.com)

2026-07-26 | by Adam Langley | tags: coq, dependently-typed languages, lean

21.

An introduction to formal proof verification and the Curry-Howard Correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, rocq, curry-howard

22.

Type checker may be wrong – Lean and the Curry-Howard correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, curry-howard, proof assistants

23.

Interview with a Maintainer (news.ycombinator.com)

2026-07-24 | by Andrew Nesbitt | tags: libcapstan, capstan protocol, openclaw

24.

Probably check on your smart appliances (news.ycombinator.com)

2026-07-14 | tags: anubis, disable, jshelter

25.

Proof of Care in the Age of A.I (news.ycombinator.com)

2026-07-14 | tags: care, care age, proof

26.

How leaders must upgrade their talents for the AI Age (feeds.feedburner.com)

2026-07-10 | tags: ai corporate, ai effectively, ai proof

27.

AI Meets Cryptography 1: What AI Found in Cloudflare's Circl (news.ycombinator.com)

2026-07-07 | by Stefanos Chaliasos | get Cloudflare Circl Cryptography Kit → | tags: gate, parent, proof

28.

How to ask for help from people who don't know you (news.ycombinator.com)

2026-07-02 | get Networking Tips Book → | tags: linkedin, machine learning, help request

29.

Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance (news.ycombinator.com)

2026-07-01 | by Alan Stapelberg | get Zero-Knowledge Proofs Book → | tags: zero-knowledge proof, sparkasse, eidas regulation

30.

Leanstral 1.5 (news.ycombinator.com)

2026-06-30 | get Leanstral 1.5 Keyboard → | tags: lean 4, formal proof, theorem proving