GoKawiil - Tech News

1771.

Today's NYT Mini Crossword Answers for Sunday, Dec. 14 (cnet.com)

2025-12-14 | by See Full Bio | related products | tags: author, bars, birthdate

1772.

Lean theorem prover mathlib (news.ycombinator.com)

2025-12-14 | related products | tags: algebra, build, documentation

1773.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | related products | tags: algebra, build, documentation

1774.

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

2025-12-14 | related products | tags: brain, crystals, field

1775.

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory (news.ycombinator.com)

2025-12-14 | related products | tags: award, free, free software

1776.

Show HN: Interactive Common Lisp: An Enhanced REPL (news.ycombinator.com)

2025-12-14 | related products | tags: command, description, function

1777.

Here are 4 major moments that drove the stock market last week (cnbc.com)

2025-12-13 | by Matthew J. Belvedere | related products | tags: china, friday, nvidia

1778.

Linux Sandboxes and Fil-C (news.ycombinator.com)

2025-12-13 | related products | tags: memory, openssh, program

1779.

An off-grid, flat-packable washing machine (news.ycombinator.com)

2025-12-13 | by Fern Mcerlane | related products | tags: divya, machine, machines

1780.

Flat-pack washing machine spins a fairer future (news.ycombinator.com)

2025-12-13 | by Fern Mcerlane | related products | tags: divya, machine, machines

1781.

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

2025-12-13 | by Hanna Duggal | related products | tags: country, largest, military

1782.

Some surprising things about DuckDuckGo (news.ycombinator.com)

2025-12-13 | related products | tags: browsers, duck, google

1783.

DoorDash driver faces felony charges after allegedly spraying customers’ food (techcrunch.com)

2025-12-13 | by Anthony Ha | related products | tags: disrupt, disrupt waitlist, doordash

1784.

Today's NYT Connections Hints, Answers and Help for Dec. 14, #917 (cnet.com)

2025-12-13 | by See Full Bio | related products | tags: answers, connections, group

1785.

Today's Wordle Hints, Answer and Help for Dec. 14, #1639 (cnet.com)

2025-12-13 | by See Full Bio | related products | tags: answer, hint, hints

1786.

Indie App Spotlight: ‘Headlines’ offers a news reading experience that isn’t tiring (9to5mac.com)

2025-12-13 | by Michael Burkhardt | related products | tags: bluesky, follow, headlines

1787.

Report: The Death of Charlie Kirk Led to a New Age of Bosses Policing Social Media (gizmodo.com)

2025-12-13 | tags: behavior, behavior minds, employers

1788.

VPN location claims don't match real traffic exits (news.ycombinator.com)

2025-12-13 | related products | tags: countries, country, provider

1789.

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

2025-12-13 | related products | tags: deal, deal openai, disney

1790.

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

2025-12-13 | by See Full Bio | related products | tags: bros, deal, discovery

1791.

The World's Electric Car Sales Have Spiked 21% So Far in 2025 (slashdot.org)

2025-12-13 | by Posted | related products | tags: adds, adds policy, america

1792.

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

2025-12-13 | related products | tags: essential, essential semiconductor, physics

1793.

Building an efficient hash table in Java (news.ycombinator.com)

2025-12-13 | related products | tags: byte, bytes, control

1794.

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 | related products | tags: combo, creality, deals

1795.

Analysis finds anytime electricity from solar available as battery costs plummet (news.ycombinator.com)

2025-12-13 | by Ryan Kennedy | related products | tags: cost, costs, energy

1796.

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

2025-12-13 | related products | tags: ain thing, beauty, beauty cyberpunk

1797.

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

2025-12-13 | related products | tags: christmas, macy, mother

1798.

WTF: This Boxing Humanoid Robot Is Unitree's Wildest Demo Yet (cnet.com)

2025-12-13 | by See Full Bio | related products | tags: agility, coming, earlier year

1799.

Industry preps new 'cheap' HBM4 memory spec with narrow interface, but it isn't a GDDR killer — JEDEC's new SPHBM4 spec weds HBM4 performance and lower costs to enable higher capacity (tomshardware.com)

2025-12-13 | by Anton Shilov | related products | tags: bandwidth, capacity, compared

1800.

Our First Look at ‘Avengers: Doomsday’ Might Be Split Into Four Parts (gizmodo.com)

2025-12-13 | related products | tags: avengers, avengers doomsday, doomsday