GoKawiil - Tech News

31.

Garfield's Proof of the Pythagorean Theorem (news.ycombinator.com)

2025-11-29 | related products | tags: area, displaystyle, garfield

32.

Lean4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)

2025-11-23 | related products | tags: correct, formal, lean

33.

US, UK, and Australia sanction Russian ‘bulletproof’ web host used in ransomware attacks (techcrunch.com)

2025-11-19 | by Zack Whittaker | related products | tags: bulletproof, cybercriminals, hosting

34.

Russian bulletproof hosting provider sanctioned over ransomware ties (bleepingcomputer.com)

2025-11-19 | related products | tags: bulletproof, infrastructure, land

35.

Valve is about to win the console generation (news.ycombinator.com)

2025-11-12 | related products | tags: anubis, disable, jshelter

36.

How I'm Using AI to Grow My Business and Empower (Not Replace) My Team (feeds.feedburner.com)

2025-11-04 | related products | tags: roof

37.

Cyber firm warns that hackers are teaming up with crime rings to hijack cargo — phishing emails and social engineering deployed to steal physical shipments (tomshardware.com)

2025-11-03 | by Luke James | related products | tags: hackers, organised, proofpoint

38.

Your AI Agent Is Now a Target for Email Phishing (spectrum.ieee.org)

2025-11-03 | by Drew Robb | related products | tags: agents, ai agents, email

39.

Nissan made a nifty solar panel system for its Sakura EV (engadget.com)

2025-10-31 | related products | tags: driving, nissan, roof

40.

Nation-state hackers deliver malware from “bulletproof” blockchains (arstechnica.com)

2025-10-31 | related products | tags: bulletproof, etherhiding, google

41.

Three ways formally verified code can go wrong in practice (news.ycombinator.com)

2025-10-31 | related products | tags: code, correct, int

42.

ScribeOCR – Web interface for recognizing text, OCR, & creating digitized docs (news.ycombinator.com)

2025-10-31 | related products | tags: ocr, proofreading, scribe

43.

Creating a database of motivated proofs (news.ycombinator.com)

2025-10-31 | related products | tags: motivated, platform, proof

44.

C-sigma: Easy-to-use Sigma proofs in C using libsodium (news.ycombinator.com)

2025-10-31 | related products | tags: 32, const, proof

45.

We all dodged a bullet (news.ycombinator.com)

2025-10-31 | related products | tags: anubis, jshelter, proof

46.

We All Dodged a Bullet (news.ycombinator.com)

2025-10-31 | related products | tags: anubis, jshelter, proof

47.

Anything can be a message queue if you use it wrongly enough (2023) (news.ycombinator.com)

2025-10-31 | related products | tags: anubis, jshelter, proof

48.

'Ten Martini' Proof Uses Number Theory to Explain Quantum Fractals (news.ycombinator.com)

2025-10-31 | by Lyndie Chiou | related products | tags: avila, butterfly, jitomirskaya

49.

Who does your assistant serve? (news.ycombinator.com)

2025-10-31 | related products | tags: anubis, jshelter, proof

50.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem (news.ycombinator.com)

2025-10-31 | related products | tags: fermat, information, project

51.

Age Verification Doesn't Need to Be a Privacy Footgun (news.ycombinator.com)

2025-10-31 | by View Archive | related products | tags: adult, knowledge, privacy

52.

The math is haunted (news.ycombinator.com)

2025-10-31 | related products | tags: goal, lean, proof

53.

The Math Is Haunted (news.ycombinator.com)

2025-10-31 | related products | tags: goal, lean, proof

54.

Evaluating publicly available LLMs on IMO 2025 (news.ycombinator.com)

2025-10-31 | related products | tags: best, model, models

55.

Verified dynamic programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | related products | tags: let, maxdollars_spec, memo

56.

Verified Dynamic Programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | related products | tags: let, maxdollars_spec, memo

57.

Proofs Without Words (news.ycombinator.com)

2025-10-31 | related products | tags: arrangement, following, proof

58.

Calculating Oil Storage Tank Occupancy with Help of Satellite Imagery (news.ycombinator.com)

2025-10-31 | by Tankertrackers.Com | related products | tags: oil, rooftop, storage

59.

Writing a Truth Oracle in Lisp (news.ycombinator.com)

2025-10-31 | related products | tags: function, proof, right

60.

Peano arithmetic is enough, because Peano arithmetic encodes computation (news.ycombinator.com)

2025-10-31 | related products | tags: binary, induction, list