GoKawiil - Tech News

1.

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

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

2.

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

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

3.

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

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

4.

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

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

5.

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

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

6.

‘It Was Nuts’: The Extreme Tests that Show Why Hail Is a Multibillion-Dollar Problem (wired.com)

2025-12-10 | by Chris Baraniuk | related products | tags: damage, hail, left

7.

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

8.

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

9.

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

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

10.

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

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

11.

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

12.

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

13.

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

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

14.

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

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

15.

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

16.

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

17.

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

18.

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

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

19.

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

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

20.

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

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

21.

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

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

22.

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

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

23.

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

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

24.

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

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

25.

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

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

26.

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

27.

'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

28.

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

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

29.

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

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

30.

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