GoKawiil - Tech News

75661.

Lean Theorem Prover Mathlib (news.ycombinator.com)

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

75662.

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

75663.

Therapeutic Use of Cannabis and Cannabinoids: A Review (news.ycombinator.com)

2025-12-14 | tags: cannabinoids, cannabinoids review, cannabis

75664.

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

2025-12-14 | get Open Source → | tags: award, free, free software

75665.

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

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

75666.

'Free Software Awards' Winners Announced: Andy Wingo, Alx Sa, Govdirectory (slashdot.org)

2025-12-14 | by Posted | get Open Source → | tags: award, free, free software

75667.

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

2025-12-14 | get Interactive Lisp → | tags: command, description, function

75668.

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

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

75669.

Applets Are Officially Going, But Java In the Browser Is Better Than Ever (slashdot.org)

2025-12-13 | by Posted | get Applets → | tags: applets, browser, code

75670.

OpenAI Ends ‘Vesting Cliff’ for New Employees in Compensation-Policy Change (feeds.content.dowjones.io)

2025-12-13 | get Language Model → | tags: chatgpt, chatgpt maker, competitor

75671.

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

2025-12-13 | by Matthew J. Belvedere | get Earnings Reports → | tags: china, friday, nvidia

75672.

'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

75673.

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

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

75674.

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

2025-12-13 | by Fern Mcerlane | get Washmate → | tags: divya, machine, machines

75675.

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

2025-12-13 | by Fern Mcerlane | get Spin Cycle → | tags: divya, machine, machines

75676.

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

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

75677.

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

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

75678.

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

2025-12-13 | get Search Engine → | tags: browsers, duck, google

75679.

The ‘Mortal Kombat’/’Street Fighter’ Pissing Contest Now Includes Their Movies (gizmodo.com)

2025-12-13 | get Movie → | tags: beef, beef street, extended

75680.

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

2025-12-13 | by Anthony Ha | get Food delivery → | tags: disrupt, disrupt waitlist, doordash

75681.

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

75682.

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

2025-12-13 | by See Full Bio | get Google Maps → | tags: answers, connections, group

75683.

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

75684.

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

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

75685.

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

75686.

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

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

75687.

Why Twilio Segment moved from microservices back to a monolith (news.ycombinator.com)

2025-12-13 | by Alexandra Noonan | get Segment → | tags: destination, destinations, monolith

75688.

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

2025-12-13 | by Michael Burkhardt | get Newsfeed → | tags: bluesky, follow, headlines

75689.

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

75690.

I fed 24 years of my blog posts to a Markov model (news.ycombinator.com)

2025-12-13 | get Markov Chain → | tags: markov, model, program