GoKawiil - Tech News

1.

The Coming Need for Formal Specification (news.ycombinator.com)

2025-12-13 | by Ben Congdon | related products | tags: code, components, formal

2.

Russian Hackers Debut Simple Ransomware Service, But Store Keys In Plain Text (slashdot.org)

2025-12-13 | related products | tags: code, cybervolk, files

3.

OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI (news.ycombinator.com)

2025-12-12 | by Simon Willison | related products | tags: codex, codex cli, datasette

4.

OpenAI built an AI coding agent and uses it to improve the agent itself (arstechnica.com)

2025-12-12 | related products | tags: code, codex, embiricos

5.

Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig (news.ycombinator.com)

2025-12-12 | related products | tags: apps, break, code

6.

Holiday Deal Hub: Exclusive offers on Apple gear accessories, chargers, tech essentials, cloud storage, more (9to5mac.com)

2025-12-12 | by Justin Kahn | related products | tags: apple, checkout, code

7.

iOS 26.2 adds new ‘AirDrop codes’ feature, here’s how it works (9to5mac.com)

2025-12-12 | by Ryan Christoffel | related products | tags: airdrop, airdrop codes, apple

8.

New iOS 26.4 and iOS 27 features revealed in leaked code (9to5mac.com)

2025-12-12 | by Ryan Christoffel | related products | tags: apple, code, feature

9.

AI is already part of Linux's plumbing - whether developers like it or not (zdnet.com)

2025-12-12 | by Steven Vaughan-Nichols | related products | tags: code, developers, kernel

10.

ChatGPT-5.2 Arrives: Here's What It Means for Everyday and Work Users (cnet.com)

2025-12-11 | by See Full Bio | related products | tags: chatgpt, code, designed

11.

Show HN: Autofix Bot – Hybrid static analysis and AI code review agent (news.ycombinator.com)

2025-12-11 | related products | tags: agent, analysis, autofix

12.

Denial of service and source code exposure in React Server Components (news.ycombinator.com)

2025-12-11 | related products | tags: code, december, function

13.

Denial of Service and Source Code Exposure in React Server Components (news.ycombinator.com)

2025-12-11 | related products | tags: code, december, patches

14.

OpenAI releases ‘code red’ GPT-5.2 update to ChatGPT: ‘most capable model series yet’ (9to5mac.com)

2025-12-11 | by Zac Hall | related products | tags: better, code, model

15.

OpenAI's GPT-5.2 is here: what enterprises need to know (venturebeat.com)

2025-12-11 | related products | tags: code, model, openai

16.

Hackers exploit Gladinet CentreStack cryptographic flaw in RCE attacks (bleepingcomputer.com)

2025-12-11 | related products | tags: access, cryptographic, file

17.

The Cost of a Closure in C (news.ycombinator.com)

2025-12-11 | related products | tags: code, const, function

18.

Vibe coding is mad depressing (news.ycombinator.com)

2025-12-11 | related products | tags: code, coding, emojis

19.

Former GitLab CEO raises money for Kilo to compete in crowded AI coding market (cnbc.com)

2025-12-10 | by Jordan Novet | related products | tags: code, gitlab, kilo

20.

How Hud's runtime sensor cut triage time from 3 hours to 10 minutes (venturebeat.com)

2025-12-10 | related products | tags: agents, code, engineers

21.

Common Lisp, ASDF, and Quicklisp: packaging explained (news.ycombinator.com)

2025-12-10 | related products | tags: asdf, code, common lisp

22.

Revisiting "Let's Build a Compiler" (news.ycombinator.com)

2025-12-10 | related products | tags: code, compiler, const

23.

Dependable C (news.ycombinator.com)

2025-12-10 | related products | tags: behavior, code, implementation

24.

OpenEvolve: Teaching LLMs to Discover Algorithms Through Evolution (news.ycombinator.com)

2025-12-09 | by Asi Labs Research Team | related products | tags: code, evaluation, evolution

25.

Microsoft Fixes Exploited Zero Day in Light Patch Tuesday (darkreading.com)

2025-12-09 | by Jai Vijayan | related products | tags: attacker, code, microsoft

26.

SAP fixes three critical vulnerabilities across multiple products (bleepingcomputer.com)

2025-12-09 | related products | tags: code, flaw, flaws

27.

If you're going to vibe code, why not do it in C? (news.ycombinator.com)

2025-12-09 | by Stephen Ramsay | related products | tags: code, coding, computer

28.

If You're Going to Vibe Code, Why Not Do It in C? (news.ycombinator.com)

2025-12-09 | by Stephen Ramsay | related products | tags: code, coding, computer

29.

Bruno Simon – 3D Portfolio (news.ycombinator.com)

2025-12-09 | related products | tags: awesome, code, devlogs

30.

Handsdown one of the coolest 3D websites (news.ycombinator.com)

2025-12-09 | related products | tags: awesome, code, devlogs