GoKawiil - Tech News

18871.

Lean theorem prover mathlib (news.ycombinator.com)

2025-12-14 | get Mathematical Theorem Prover → | tags: algebra, build, documentation

18872.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | get Mathematical Theorem Prover → | tags: algebra, build, documentation

18873.

If a Meta AI model can read a brain-wide signal, why wouldn't the brain? (news.ycombinator.com)

2025-12-14 | get Neuralink → | tags: brain, crystals, field

18874.

Awesome-Jj: Jujutsu Things (news.ycombinator.com)

2025-12-14 | get Jujutsu → | tags: jujutsu, list, tools

18875.

'Landman' Season 2, Episode 5: Streaming Release Date and Time (cnet.com)

2025-12-13 | by See Full Bio | get Streaming → | tags: episode, essential, landman

18876.

Venezuela explained in 10 maps and charts (news.ycombinator.com)

2025-12-13 | by Hanna Duggal | get Geography → | tags: country, largest, military

18877.

Startup Successfully Uses AI to Find New Geothermal Energy Reservoirs (slashdot.org)

2025-12-13 | by Posted | get Geothermal Reservoirs → | tags: blind, geothermal, hoiland

18878.

A new AAA Alien game is reportedly in the works (engadget.com)

2025-12-13 | get Alien Franchise → | tags: according insider, alien, development

18879.

Half-Life 3 is rumored to be a Steam Machine launch title and could arrive in spring 2026 (engadget.com)

2025-12-13 | get Steam Machine → | tags: game, half, half life

18880.

Google Has Taken Down AI-Generated Content Following Disney’s Cease and Desist (gizmodo.com)

2025-12-13 | get Artificial Intelligence → | tags: deal, deal openai, disney

18881.

Paramount's Hostile Bid for Warner Bros. Aims to Block Netflix's $83 Billion Offer (cnet.com)

2025-12-13 | by See Full Bio | get Streaming service → | tags: bros, deal, discovery

18882.

Essential Semiconductor Physics [pdf] (news.ycombinator.com)

2025-12-13 | get Semiconductor Physics → | tags: essential, essential semiconductor, physics

18883.

Essential Semiconductor Physics,Mark Lundstrom Purdue University [pdf] (news.ycombinator.com)

2025-12-13 | get Semiconductor Physics → | tags: essential, essential semiconductor, lundstrom

18884.

Get a Creality 3D printer at an all-time low pricing until Christmas — up to $300 off K2 series with CFS bundle (tomshardware.com)

2025-12-13 | by Sunny Grimm | get Creality 3D printer → | tags: combo, creality, deals

18885.

How a 23-Year-Old in 1975 Built the World's First Handheld Digital Camera (slashdot.org)

2025-12-13 | by Posted | get Camera → | tags: camera, device, digital

18886.

‘Cyberpunk 2077’ Proved a Game Can Change Itself, But Not Its History (gizmodo.com)

2025-12-13 | get Virtual Reality Headset → | tags: ain thing, beauty, beauty cyberpunk

18887.

Get a Lifetime of Microsoft Office Pro 2021 and Windows 11 Pro for Just $40 (feeds.feedburner.com)

2025-12-13 | get Microsoft Office Pro 2021 → | tags: access, bundle, lifetime

18888.

Dell preps massive price hikes up to 30% citing memory pricing 'out of our control' — company reminds commercial customers that placing an order today for future delivery will not guarantee current prices (tomshardware.com)

2025-12-13 | by Sunny Grimm | get Memory → | tags: commercial, corporate, dell

18889.

More of America's Coal-Fired Power Plants Cease Operations (slashdot.org)

2025-12-13 | by Posted | get Power Plant → | tags: coal, new england, operations

18890.

Playing Santa changed Bob Rutan profoundly (news.ycombinator.com)

2025-12-13 | get Smartwatch → | tags: christmas, macy, mother

18891.

A Giant Ball Will Help This Man Survive a Year on an Iceberg (news.ycombinator.com)

2025-12-13 | by Ben Yeager | get Icebreaker → | tags: bellini, capsule, iceberg

18892.

Snag $760 worth of hardware for $469, including 32GB of DDR5 memory worth $407, in this stellar bundle deal — 32GB of DDR5 memory, Intel Z890 motherboard, and 280mm liquid cooler included (tomshardware.com)

2025-12-13 | by Kunal Khullar | get DDR5 → | tags: best, bundle, cooler

18893.

Z8086: Rebuilding the 8086 from Original Microcode (news.ycombinator.com)

2025-12-13 | get Microcode → | tags: microcode, original, original microcode

18894.

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (news.ycombinator.com)

2025-12-13 | get Scale models → | tags: hobby, new sets, output

18895.

Streamline Team Planning with Smart Calendars AI for Just $30 (feeds.feedburner.com)

2025-12-13 | get Smart Calendar → | tags: calendars, calendars ai, scheduling

18896.

A Kinect for kids is outselling Xbox to become the hot console this holiday (theverge.com)

2025-12-13 | by Terrence O'Brien | get Xbox One → | tags: console, november, playground

18897.

I Tried These Turbocharged XR Sunglasses at Disney Studios and Got a Stunning New View (cnet.com)

2025-12-13 | by See Full Bio | get Goggles → | tags: disney, glasses, liminal

18898.

The Samsung Galaxy S26 is already the worst phone of 2026 (androidauthority.com)

2025-12-13 | get I can't fulfill this request. → | tags: galaxy, galaxy plus, plus

18899.

Germany summons Russian ambassador over GRU-linked cyberattacks — air traffic control and elections systems targeted (tomshardware.com)

2025-12-13 | by Luke James | get Cybersecurity system → | tags: german, germany, officials

18900.

Creality Falcon2 Pro 60 Watt Laser Engraver review: Deep cuts and fine engravings (tomshardware.com)

2025-12-13 | by Andrew Sink | get Laser engraver → | tags: creality, credit, image