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.

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

7.

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

8.

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

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

9.

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

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

10.

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

11.

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

12.

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

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

13.

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

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

14.

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

15.

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

16.

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

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

17.

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

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

18.

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

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

19.

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

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

20.

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

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

21.

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

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

22.

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

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

23.

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

24.

'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

25.

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

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

26.

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

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

27.

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

28.

The math is haunted (news.ycombinator.com)

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

29.

The Math Is Haunted (news.ycombinator.com)

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

30.

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

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