GoKawiil - Tech News

1591.

Extracting verified C++ from the Rocq theorem prover at Bloomberg (news.ycombinator.com)

2026-01-20 | get Rocq theorem prover → | tags: browse, code, crane

1592.

Show HN: GitClassic.com, GitHub circa 2015 without JS & AI (news.ycombinator.com)

2026-01-19 | get GitHub → | tags: ask copilot, code, copilot

1593.

A Brief History of Ralph (news.ycombinator.com)

2026-01-19 | get I can't fulfill this request because it involves a → | tags: code, cursed, cursed lang

1594.

How I used GPT-5.2-Codex to solve a mystery bug and hosting nightmare - in under an hour (zdnet.com)

2026-01-19 | by David Gewirtz | get Language Model → | tags: chatgpt, code, codex

1595.

Claude Code costs up to $200 a month. Goose does the same thing for free. (venturebeat.com)

2026-01-19 | get Cloudflare → | tags: claude, claude code, code

1596.

I tried vibe coding an app as a beginner - here's what Cursor and Replit taught me (zdnet.com)

2026-01-19 | by Tiernan Ray | get Cursor Replit → | tags: analysis, code, coding

1597.

10 things I learned from burning myself out with AI coding agents (arstechnica.com)

2026-01-19 | get Machine Learning → | tags: basic, claude, claude code

1598.

I was a top 0.01% Cursor user, then switched to Claude Code 2.0 (news.ycombinator.com)

2026-01-19 | get Cursor → | tags: chat, claude, code

1599.

The Code-Only Agent (news.ycombinator.com)

2026-01-19 | by Rijnard Van Tonder | get Smartwatch → | tags: agent, agents, code

1600.

The Human in the Loop (news.ycombinator.com)

2026-01-18 | get Artificial Intelligence → | tags: code, mike, review

1601.

Software engineers can no longer neglect their soft skills (news.ycombinator.com)

2026-01-18 | get Technical Skills → | tags: best, claude, claude code

1602.

Show HN: Xenia – A monospaced font built with a custom Python engine (news.ycombinator.com)

2026-01-18 | get Xenia → | tags: click, code, code terminal

1603.

A free and open-source rootkit for Linux (news.ycombinator.com)

2026-01-18 | get Rootkit → | tags: code, files, hiding

1604.

Computer Systems Security 6.566 / Spring 2024 (news.ycombinator.com)

2026-01-18 | get Smart Card → | tags: bring, buggy, buggy code

1605.

Show HN: ChunkHound, a local-first tool for understanding large codebases (news.ycombinator.com)

2026-01-17 | get ChunkHound → | tags: chunkhound, code, install

1606.

The Death of Software Development (news.ycombinator.com)

2026-01-17 | tags: code, development, good

1607.

The thing that brought me joy (news.ycombinator.com)

2026-01-17 | get NFT → | tags: code, good, point

1608.

Claude Is Taking the AI World by Storm, and Even Non-Nerds Are Blown Away (feeds.content.dowjones.io)

2026-01-17 | get Artificial Intelligence → | tags: anthropic, anthropic claude, claude

1609.

Architecture for Disposable Systems (news.ycombinator.com)

2026-01-17 | get Smartphone → | tags: code, contracts, disposable

1610.

I set all 376 Vim options and I'm still a fool (news.ycombinator.com)

2026-01-16 | by Evan Hahn | get Vim options → | tags: code, editor, option

1611.

How a hacking campaign targeted high-profile Gmail and WhatsApp users across the Middle East (techcrunch.com)

2026-01-16 | by Zack Whittaker | get Email client → | tags: campaign, code, link

1612.

Ruby on Rails Creator Says AI Coding Tools Still Can't Match Most Junior Programmers (slashdot.org)

2026-01-16 | by Posted | get Ruby on Rails → | tags: code, going, hansson

1613.

Read_once(), Write_once(), but Not for Rust (news.ycombinator.com)

2026-01-16 | get Cloudflare → | tags: access, atomic, code

1614.

Code.org: Use AI In an Interview Without Our OK and You're Dead To Us (slashdot.org)

2026-01-16 | by Posted | get Artificial Intelligence → | tags: ai use, code, code org

1615.

Kilo launches AI-powered Slack bot that ships code from a chat message (venturebeat.com)

2026-01-16 | get KiloBot → | tags: breitenother, code, coding

1616.

Google is finally copying this Apple Watch feature for its Pixel Watch (androidauthority.com)

2026-01-16 | get Smartwatch → | tags: code, feature, left

1617.

How to wrangle non-deterministic AI outputs into conventional software? (2025) (news.ycombinator.com)

2026-01-16 | by Eric Evans | get Machine Learning → | tags: categories, classification, code

1618.

Building a better Bugbot (news.ycombinator.com)

2026-01-16 | by Jon Kaplan | get Robotics → | tags: agentic, bugbot, bugs

1619.

Hackers now exploiting critical Fortinet FortiSIEM flaw in attacks (bleepingcomputer.com)

2026-01-16 | get FortiSIEM → | tags: code, fortinet, fortisiem

1620.

Can a newbie really vibe code an app? I tried Cursor and Replit to find out (zdnet.com)

2026-01-16 | by Tiernan Ray | get VibeCode → | tags: analysis, code, coding