GoKawiil - Tech News

61.

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

2025-11-29 | get Pythagorean Theorem → | tags: area, displaystyle, garfield

62.

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

2025-11-23 | get Theorem Prover → | tags: correct, formal, lean

63.

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

2025-11-19 | by Zack Whittaker | get Cloudflare → | tags: bulletproof, cybercriminals, hosting

64.

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

2025-11-19 | get Cybershield → | tags: bulletproof, infrastructure, land

65.

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

2025-11-12 | get Steam → | tags: anubis, disable, jshelter

66.

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 | get Shipping system → | tags: hackers, organised, proofpoint

67.

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

2025-11-03 | by Drew Robb | get Artificial Intelligence → | tags: agents, ai agents, email

68.

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

2025-10-31 | get Amazon Echo Dot → | tags: bulletproof, etherhiding, google

69.

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

2025-10-31 | get computer monitor → | tags: code, correct, int

70.

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

2025-10-31 | get Meta Quest → | tags: ocr, proofreading, scribe

71.

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

2025-10-31 | get Meta Quest → | tags: motivated, platform, proof

72.

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

2025-10-31 | get art supplies → | tags: 32, const, proof

73.

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

2025-10-31 | get productivity planner → | tags: anubis, jshelter, proof

74.

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

2025-10-31 | get productivity planner → | tags: anubis, jshelter, proof

75.

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

2025-10-31 | get productivity planner → | tags: anubis, jshelter, proof

76.

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

2025-10-31 | by Lyndie Chiou | get white noise machine → | tags: avila, butterfly, jitomirskaya

77.

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

2025-10-31 | get productivity planner → | tags: anubis, jshelter, proof

78.

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

2025-10-31 | get science reference book → | tags: fermat, information, project

79.

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

2025-10-31 | by View Archive | get Amazon Echo Dot → | tags: adult, knowledge, privacy

80.

The math is haunted (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof

81.

The Math Is Haunted (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof

82.

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

2025-10-31 | get Meta Quest → | tags: best, model, models

83.

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

2025-10-31 | by Tanner Duve | get computer monitor → | tags: let, maxdollars_spec, memo

84.

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

2025-10-31 | by Tanner Duve | get computer monitor → | tags: let, maxdollars_spec, memo

85.

Proofs Without Words (news.ycombinator.com)

2025-10-31 | get productivity planner → | tags: arrangement, following, proof

86.

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

2025-10-31 | get Amazon Echo Dot → | tags: function, proof, right

87.

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

2025-10-31 | get Google Nest → | tags: binary, induction, list

88.

Password-spraying attacks target 80,000 Microsoft Entra ID accounts (bleepingcomputer.com)

2025-10-31 | get Microsoft Surface Laptop → | tags: accounts, proofpoint, researchers