GoKawiil - Tech News

1.

Broken Proofs and Broken Provers (news.ycombinator.com)

2026-02-04 | related products | tags: bugs, definitions, isabelle

2.

I didn't trust the 'dog-proof' USB-C cable claim, so I tried something sharper instead (zdnet.com)

2026-02-03 | by Adrian Kingsley-Hughes | related products | tags: cable, cables, galvanox

3.

Initial access hackers switch to Tsundere Bot for ransomware attacks (bleepingcomputer.com)

2026-01-28 | related products | tags: command, malware, proofpoint

4.

They told me even a dog can't chew through this USB-C cable - so I tested it with something sharper (zdnet.com)

2026-01-27 | by Adrian Kingsley-Hughes | related products | tags: cable, cables, galvanox

5.

Finally, a USB-C charging cable so indestructible, your dog can't even chew through it (zdnet.com)

2026-01-27 | by Adrian Kingsley-Hughes | related products | tags: cable, cables, galvanox

6.

Pets chewing through your charging cables? This one's almost indestructible (zdnet.com)

2026-01-26 | by Adrian Kingsley-Hughes | related products | tags: cable, cables, galvanox

7.

Case study: Creative math – How AI fakes proofs (news.ycombinator.com)

2026-01-25 | related products | tags: check, model, proof

8.

Gmail now answers your email questions like Google Search — but you’ll have to pay for it (androidauthority.com)

2026-01-08 | related products | tags: feature, gmail, google

9.

Why you need a devil’s advocate (feeds.feedburner.com)

2026-01-08 | related products | tags: bulletproofing, bulletproofing ideas, changers

10.

2026 will be my year of the Linux desktop (news.ycombinator.com)

2026-01-03 | related products | tags: anubis, disable, jshelter

11.

Test, don't just verify (news.ycombinator.com)

2025-12-23 | related products | tags: bugs, formal, formal verification

12.

Test, don't (just) verify (news.ycombinator.com)

2025-12-23 | related products | tags: bugs, formal, formal verification

13.

Test, Don't (Just) Verify (news.ycombinator.com)

2025-12-23 | related products | tags: bugs, formal, formal verification

14.

5 Trust-Building Strategies From Industries That Fight Consumer Skepticism Daily (feeds.feedburner.com)

2025-12-19 | related products | tags: building, businesses, customer

15.

AI will make formal verification go mainstream (news.ycombinator.com)

2025-12-16 | related products | tags: code, formal, formal verification

16.

Prediction: AI will make formal verification go mainstream (news.ycombinator.com)

2025-12-16 | related products | tags: code, formal, formal verification

17.

Erdős Problem #1026 (news.ycombinator.com)

2025-12-16 | by Terence Tao | related products | tags: argument, coins, numbers

18.

50 years of proof assistants (news.ycombinator.com)

2025-12-12 | related products | tags: isabelle, language, proof

19.

Quanta to publish popular math and physics books by Terence Tao and David Tong (news.ycombinator.com)

2025-12-08 | related products | tags: book, books, math

20.

Quanta to Publish Popular Math and Physics Titles by Terence Tao and David Tong (news.ycombinator.com)

2025-12-08 | related products | tags: book, books, math

21.

'Crime Rings Enlist Hackers To Hijack Trucks' (slashdot.org)

2025-12-01 | by Posted | related products | tags: access, hackers, online

22.

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

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

23.

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

24.

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

25.

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

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

26.

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

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

27.

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

28.

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

29.

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

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

30.

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

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