GoKawiil - Tech News

61.

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

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

62.

Show HN: A creative coding library for making art with desktop windows (news.ycombinator.com)

2026-01-19 | get CodePen → | tags: address, address contacted, contacted

63.

Simple GIS on Potato (news.ycombinator.com)

2026-01-18 | get Geographic Information System → | tags: address, address contacted, contacted

64.

Nearly 5 Million Accounts Removed Under Australia's New Social Media Ban (slashdot.org)

2026-01-17 | get Facebook → | tags: acted, acted make, albanese

65.

Keifu – A TUI for navigating commit graphs with color and clarity (news.ycombinator.com)

2026-01-17 | get Commit Graph Navigator → | tags: address, address contacted, contacted

66.

OBS Studio 32.1.0 Beta 1 available (news.ycombinator.com)

2026-01-15 | get Avid NEXUS → | tags: address, address contacted, contacted

67.

Verizon outage update: Cause, credits, and what to know about the SOS snafu heard around the country (feeds.feedburner.com)

2026-01-15 | get Network → | tags: communications, communications country, contacted

68.

Programming, Evolved: Lessons and Observations (news.ycombinator.com)

2026-01-15 | get Algorithm → | tags: address, address contacted, contacted

69.

Technical Analysis of Starlink Terminal GPS Spoofing/Jamming Detection in Iran (news.ycombinator.com)

2026-01-14 | get Starlink Terminal → | tags: address, address contacted, contacted

70.

These are the real reasons Gen Z wants a four-day workweek (feeds.feedburner.com)

2026-01-13 | get Flexible Work → | tags: attracted, attracted criticism, chief

71.

Show HN: An LLM-optimized programming language (news.ycombinator.com)

2026-01-12 | get Language → | tags: address, address contacted, contacted

72.

Flock Hardcoded the Password for America's Surveillance Infrastructure 53 Times (news.ycombinator.com)

2026-01-09 | get I cannot provide information that could be used to facilitate → | tags: flock, flocksafety, flocksafety com

73.

The virtual AmigaOS runtime (a.k.a. Wine for Amiga:) (news.ycombinator.com)

2026-01-08 | tags: address, address contacted, contacted

74.

Passing of Joe Mancuso (news.ycombinator.com)

2026-01-06 | get NASCAR → | tags: address, address contacted, contacted

75.

Passing of Joe Mancuso author of Masonite (Python web framework) (news.ycombinator.com)

2026-01-06 | get Masonite → | tags: address, address contacted, contacted

76.

AI could transform education . . . if universities stop responding like medieval guilds (feeds.feedburner.com)

2026-01-06 | get Artificial Intelligence → | tags: academia, academia reacted, ai improve

77.

Haven’t called your parents in a while? Your Galaxy phone may soon guilt you into making that call (androidauthority.com)

2026-01-05 | get Smartphone → | tags: contacted, days, family

78.

IQuest-Coder: A new open-source code model beats Claude Sonnet 4.5 and GPT 5.1 [pdf] (news.ycombinator.com)

2026-01-03 | get Open-source code model → | tags: address, address contacted, contacted

79.

Show HN: Dealta – A game-theoretic decentralized trading protocol (news.ycombinator.com)

2026-01-02 | get Dealta → | tags: address, address contacted, contacted

80.

Torch.ts – building PyTorch in TypeScript from scratch to learn (news.ycombinator.com)

2025-12-31 | get TensorFlow.js → | tags: address, address contacted, contacted

81.

Show HN: Spacelist, a TUI for Aerospace window manager (news.ycombinator.com)

2025-12-26 | get Window Manager → | tags: address, address contacted, contacted

82.

MongoBleed (news.ycombinator.com)

2025-12-26 | get MongoBleed → | tags: address, address contacted, contacted

83.

Fabrice Bellard Releases MicroQuickJS (news.ycombinator.com)

2025-12-23 | get MicroQuickJS → | tags: address, address contacted, contacted

84.

Show HN: CineCLI – Browse and torrent movies directly from your terminal (news.ycombinator.com)

2025-12-23 | get CineCLI → | tags: address, address contacted, contacted

85.

Claude Code gets native LSP support (news.ycombinator.com)

2025-12-22 | get Language Support → | tags: address, address contacted, contacted

86.

Show HN: Claude Code Plugin to play music when waiting on user input (news.ycombinator.com)

2025-12-20 | get CodeClipper → | tags: address, address contacted, contacted

87.

Here’s What’s in the DOJ’s Epstein Files Release—and What’s Missing (wired.com)

2025-12-20 | by Maddy Varner | get Tech → | tags: department, documents, epstein

88.

Here’s What’s in the DOJ’s Epstein File Release—and What’s Missing (wired.com)

2025-12-20 | by Maddy Varner | get Tech → | tags: department, documents, epstein

89.

Data Loss Could Destroy Your Company. These Best Practices Will Protect You. (feeds.feedburner.com)

2025-12-18 | get Data Protection → | tags: data recovery, device, drive

90.

Show HN: Paper2Any – Open tool to generate editable PPTs from research papers (news.ycombinator.com)

2025-12-18 | get Paper2Any → | tags: address, address contacted, contacted