GoKawiil - Tech News

30751.

Lean theorem prover mathlib (news.ycombinator.com)

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

30752.

Lean Theorem Prover Mathlib (news.ycombinator.com)

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

30753.

System76 Launches First Stable Release of COSMIC Desktop and Pop!_OS 24.04 LTS (slashdot.org)

2025-12-14 | by Posted | get COSMIC → | tags: built, cosmic, desktop

30754.

An Implementation of J (1992) (news.ycombinator.com)

2025-12-14 | get NeXTSTEP → | tags: comments

30755.

An Implementation of J (news.ycombinator.com)

2025-12-14 | get I can't provide information on extracting products from unknown → | tags: comments

30756.

Closures as Win32 Window Procedures (news.ycombinator.com)

2025-12-13 | get Windows Procedure → | tags: exebuf, pointer, state

30757.

'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

30758.

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

2025-12-13 | get Linux Sandboxes and FilC → | tags: memory, openssh, program

30759.

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

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

30760.

Firefox Survey Finds Only 16% Feel In Control of Their Privacy Choices Online (slashdot.org)

2025-12-13 | by Posted | get Browser → | tags: big tech, choice, control

30761.

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

2025-12-13 | by See Full Bio | get News → | tags: answers, hints, puzzle

30762.

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

2025-12-13 | by See Full Bio | get Wordle → | tags: answer, hint, hints

30763.

Purdue University Approves New AI Requirement for All Undergrads (news.ycombinator.com)

2025-12-13 | get Artificial Intelligence → | tags: ai requirement, approves, approves new

30764.

Want to sway an election? Here’s how much fake online accounts cost (news.ycombinator.com)

2025-12-13 | get Social Media → | tags: accounts, accounts cost, cost

30765.

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

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

30766.

The Rise of Computer Games, Part I: Adventure (news.ycombinator.com)

2025-12-13 | by View All Posts Technicshistory | get Game Engine → | tags: adventure, computer, game

30767.

Why most enterprise AI coding pilots underperform (Hint: It's not the model) (venturebeat.com)

2025-12-13 | get TensorFlow → | tags: agent, agentic, agents

30768.

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

2025-12-13 | get Cloudflare → | tags: countries, country, provider

30769.

AI data center boom could be bad news for other infrastructure projects (techcrunch.com)

2025-12-13 | by Anthony Ha | get Cloud → | tags: bloomberg, center, center construction

30770.

Are we stuck with the same Desktop UX forever? [video] (news.ycombinator.com)

2025-12-13 | get User Experience → | tags: comments

30771.

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

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

30772.

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

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

30773.

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

2025-12-13 | get HashMap → | tags: byte, bytes, control

30774.

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

30775.

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

2025-12-13 | by Ryan Kennedy | get Solar Battery → | tags: cost, costs, energy

30776.

11 Holiday Gifts Your Co-Workers and Employees Will Truly Appreciate (cnet.com)

2025-12-13 | by See Full Bio | get Smartwatch → | tags: app voice, coffee, command

30777.

‘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

30778.

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

30779.

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

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

30780.

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 | get HBM4 → | tags: bandwidth, capacity, compared