GoKawiil - Tech News

1.

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

2.

How the story of life and our planet unfolded — together (feeds.nature.com)

2026-08-17 | by Newman | tags: voyager 1, pale blue dot, stromalites

3.

AI is changing cybersecurity in quick and terrifying ways (engadget.com)

2026-08-07 | by Max Miller | tags: attacks, code, hidden

4.

AI Browsers Vulnerable to 'PleaseFix' Zero-Click Agent Hijacking (darkreading.com)

2026-08-05 | tags: agents, agents malicious, ai browsers

5.

Anthropic AI used fake profiles to target people in hack then hid the evidence (feeds.bbci.co.uk)

2026-08-05 | by Watch Our Pick Of Standout Clips Across The Bbc | tags: aisi, github, malicious

6.

Anthropic AI used fake profiles to target people in hack - then hid the evidence (feeds.bbci.co.uk)

2026-08-05 | by Watch Our Pick Of Standout Clips Across The Bbc | tags: aisi, github, malicious

7.

Pi's Minimalism Is Its Advantage (news.ycombinator.com)

2026-08-04 | tags: minimalism, advantage, comments

8.

Online ad giant Adform was hacked, proving once again why ad blockers are needed (news.ycombinator.com)

2026-08-04 | by Zack Whittaker | tags: adform, ad blockers, kevin beaumont

9.

GitHub, PyPI add time-based defenses against supply chain attacks (bleepingcomputer.com)

2026-07-26 | tags: github, pypi, dependabot

10.

Stop scrolling: Light's $299 flip phone and its retro specs could change your life (zdnet.com)

2026-07-25 | by Kyle Kucharski | tags: light flip, light phone 3, flip phone

11.

Attackers Are Learning to Live Off the AI Toolchain (darkreading.com)

2026-07-22 | tags: sandworm_mode, ai toolchain, malware

12.

Before you disable Google Play Protect, here's what you need to know (engadget.com)

2026-07-22 | by Mariella Moon | tags: google play protect, android malware, google

13.

Show HN: Mojibake – A low-level Unicode library written in C (news.ycombinator.com)

2026-07-16 | tags: mojibake, unicode, c11

14.

Show HN: Mojibake – a low-level Unicode library written in C (news.ycombinator.com)

2026-07-16 | tags: mojibake, unicode, c11

15.

Microsoft patches bug in video game Age of Empires II (techcrunch.com)

2026-07-15 | by Lorenzo Franceschi-Bicchierai | tags: allowed, code, computer

16.

AsyncAPI npm packages infected with credential-stealing malware (bleepingcomputer.com)

2026-07-15 | tags: asyncapi, attacker, files

17.

AsyncAPI npm packages infected with credential-stealing malware (bleepingcomputer.com)

2026-07-15 | tags: asyncapi, attacker, files

18.

Zimbra patched a flaw that let hackers hijack accounts just by sending an email (techspot.com)

2026-07-13 | by Alfonso Maruccia | tags: classic, client, flaw

19.

Hackers backdoor Jscrambler npm package with infostealer malware (bleepingcomputer.com)

2026-07-13 | tags: code, credentials, jscrambler

20.

Injective SDK on npm infected with cryptocurrency wallet stealer (bleepingcomputer.com)

2026-07-09 | tags: cryptocurrency, injective, malicious

21.

Postgres rewritten in Rust, now passing 100% of the Postgres regression tests (news.ycombinator.com)

2026-07-09 | tags: brew, docker, malisper

22.

Hackers can use 9 of the most popular AI tools to assemble massive botnets (arstechnica.com)

2026-07-08 | get AI Security Toolkit → | tags: attack, hallusquatting, large

23.

How Palestinians Are Building a Digital Archive That Can’t Be Erased (wired.com)

2026-07-06 | by Tamara Davison | get Digital Archive Software Kit → | tags: israeli, museum, palestinian

24.

'Phantom Squatting': An Emerging AI-Driven Supply Chain Threat (darkreading.com)

2026-07-01 | get Supply Chain Security Kit → | tags: phantom squatting, llms, web domains

25.

Leanstral 1.5 (news.ycombinator.com)

2026-06-30 | get Leanstral 1.5 Keyboard → | tags: lean 4, formal proof, theorem proving

26.

Amazon Q VS Extension Flaw Leads to Cloud Credential Theft (darkreading.com)

2026-06-29 | tags: amazon, cloud credentials, qvs extension

27.

Old Computer Challenge (news.ycombinator.com)

2026-06-27 | get Vintage Computer Kit → | tags: old computer challenge, irc.libera.chat, retro computing

28.

Om Malik has died (news.ycombinator.com)

2026-06-25 | by Sourceurl Https | tags: om malik, stanford hospital, x/twitter

29.

Om Malik, 1966-2026 (news.ycombinator.com)

2026-06-25 | by Sourceurl Https | get Om Malik Biography Book → | tags: om malik, stanford hospital, x/twitter

30.

SocGholish Takedown Highlights Malicious TDS Threats (darkreading.com)

2026-06-23 | get Cybersecurity USB Flash Drive → | tags: socgholish, tds, evil corp