GoKawiil - Tech News

10741.

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (news.ycombinator.com)

2026-03-28 | tags: knuth, claude cycles, proof assistant

10742.

Linux Maintainer Greg Kroah-Hartman Says AI Tools Now Useful, Finding Real Bugs (slashdot.org)

2026-03-28 | by Posted | get Linux Kernel Debugging Tool → | tags: linux, greg kroah-hartman, ai tools

10743.

OpenCiv1 – open-source rewrite of Civ1 (news.ycombinator.com)

2026-03-28 | get Civilization I Board Game → | tags: openciv1, civ1, sid meier

10744.

The White House app is just as weird and unnecessary as you'd expect (engadget.com)

2026-03-28 | get Smartphone Privacy Screen Protector → | tags: white house app, donald trump, app store

10745.

$500 fiber optic HDMI cable delivers flawless 48 Gbps performance across a staggering 990 feet — crushes 8K at 60 Hz and 4K at 120 Hz over long distances (tomshardware.com)

2026-03-28 | by Hassam Nasir | get Fiber Optic HDMI Cable → | tags: fiber optic hdmi, ruipro, active optical cable

10746.

Intel Arrow Lake Refresh CPU prices shot up to 17% above MSRP just 48 hours after launch — dynamic pricing trumps manufacturer's recommended pricing (tomshardware.com)

2026-03-28 | by Hassam Nasir | get Intel Core i7-14th Gen → | tags: intel, arrow lake, core ultra

10747.

Samsung 49-inch OLED Odyssey G9 hits unbelievable all-time low of $799 — gaming monitor comes with a free copy of Resident Evil Requiem (tomshardware.com)

2026-03-28 | by Kunal Khullar | get Samsung Odyssey G9 Monitor → | tags: samsung, odyssey g9, oled

10748.

Here’s what I’d like to see with the MacBook Air redesign, after seeing MacBook Neo (9to5mac.com)

2026-03-28 | by Michael Burkhardt | get MacBook Air Sleeve → | tags: macbook neo, apple, oled

10749.

Founder of GitLab battles cancer by founding companies (news.ycombinator.com)

2026-03-28 | get GitLab Themed Mug → | tags: gitlab, osteosarcoma, openai

10750.

NASA's First Nuclear-Powered Interplanetary Spacecraft Will Send Helicopters to Mars in 2028 (slashdot.org)

2026-03-28 | by Posted | get Mars Helicopter Drone → | tags: nasa, space reactor-1, ingenuity

10751.

Fourth Most Populous Country in the World Bans Most Social Media for Kids (gizmodo.com)

2026-03-28 | get Kids Safe Social Media Kit → | tags: indonesia, social media, kids

10752.

Linux is an interpreter (news.ycombinator.com)

2026-03-28 | get Linux Command Line Book → | tags: linux, kexec, cpio

10753.

Pretext: TypeScript library for multiline text measurement and layout (news.ycombinator.com)

2026-03-28 | get TextMetrics Measurement Tool → | tags: typescript, pretext, chenglou

10754.

Undroidwish – a single-file, batteries-included Tcl/Tk binary for many platforms (news.ycombinator.com)

2026-03-28 | get Tcl/Tk Binary for Windows → | tags: undroidwish, tcl/tk, sdl2

10755.

'Ads Are Popping Up On the Fridge and It Isn't Going Over Well' (slashdot.org)

2026-03-28 | by Posted | get Smart Refrigerator with Touchscreen → | tags: samsung electronics, family hub, smart fridge

10756.

What major works of literature were written after age of 85? 75? 65? (news.ycombinator.com)

2026-03-28 | tags: literature, age of 85, age of 75

10757.

Learn Something Old Every Day, Part XVIII: How Does FPU Detection Work? (news.ycombinator.com)

2026-03-28 | by Posted On | get FPU Detection Tool → | tags: fpu detection, intel 8086, 286 cpu

10758.

Seeing Like a Spreadsheet (news.ycombinator.com)

2026-03-28 | by David Oks | get Spreadsheet Mastery Book → | tags: microsoft excel, electronic spreadsheet, neural nets

10759.

Meta's next AI glasses are reportedly designed with prescription lenses in mind (engadget.com)

2026-03-28 | get Smart Prescription Lens Inserts → | tags: meta, ray-ban, ai glasses

10760.

Radeon RX 9070 XT bundle bonanza includes free SSDs, AIO coolers, and power supplies for $699 — Red Team rescues gamers with reasonably-priced GPU bundles (tomshardware.com)

2026-03-28 | by Kunal Khullar | get Radeon RX 9070 XT Bundle → | tags: amd, radeon rx 9070 xt, asrock challenger

10761.

rpg.actor Game Jam (news.ycombinator.com)

2026-03-28 | get RPG Maker Game Development Kit → | tags: rpg.actor, at protocol, bluesky

10762.

‘Steel Ball Run’ Will Return This Year…Eventually (gizmodo.com)

2026-03-28 | get Steel Ball Run Manga Box Set → | tags: steel ball run, netflix, 2026

10763.

Circuit-level PDP-11/34 emulator (news.ycombinator.com)

2026-03-28 | tags: pdp-11/34, unibus, verilog

10764.

Elon Musk’s last co-founder reportedly leaves xAI (techcrunch.com)

2026-03-28 | by Anthony Ha | tags: xai, elon musk, spacex

10765.

The INIU Pocket Rocket P50 is the ultra-portable 10,000mAh power bank you’ve been waiting for (androidauthority.com)

2026-03-28 | get INIU Pocket Rocket P50 → | tags: iniu, pocket rocket p50, tinycell pro

10766.

Militarized snowflakes: The accidental beauty of Renaissance star forts (news.ycombinator.com)

2026-03-28 | by Ethan Kross | get Star Fort Model Kit → | tags: star forts, jean errard, renaissance europe

10767.

You can get a free iPhone 17e at Visible for a limited time - no trade-in required (zdnet.com)

2026-03-28 | by Alison Denisco Rayome | get iPhone 17e Case → | tags: visible, iphone 17e, zdnet

10768.

When AI turns software development inside-out: 170% throughput at 80% headcount (venturebeat.com)

2026-03-28 | get AI Coding Assistant Tool → | tags: software development, jira, engineering

10769.

The People Who Are Using AI at Home to Free Up Their Time (feeds.content.dowjones.io)

2026-03-28 | get AI Smart Home Assistant → | tags: insurance plans, groceries, home automation

10770.

What the Legendary Bell Labs Can Teach Us About Innovation (feeds.content.dowjones.io)

2026-03-28 | get Bell Labs Innovation Kit → | tags: bell labs, r&d, innovation