GoKawiil - Tech News

1831.

Xr0 verifier, guarantee the safety of C programs at compile time (news.ycombinator.com)

2026-01-03 | get Verifier → | tags: annotations, function, malloc

1832.

Jobs Vulnerable to AI Replacement Actually 'Thriving, Not Dying Out', Report Suggests (slashdot.org)

2026-01-03 | by Posted | get Artificial Intelligence → | tags: growth, jobs, labor

1833.

Jacob’s Ladder (spectrum.ieee.org)

2026-01-03 | by Paul Jones | get Jacob's Ladder → | tags: anew, anew darker, arcs

1834.

30% VistaPrint Coupon & Promo Codes | January 2026 (wired.com)

2026-01-03 | by Molly Higgins | get VistaPrint → | tags: cards, code, invitations

1835.

Today's NYT Connections: Sports Edition Hints and Answers for Jan. 3, #467 (cnet.com)

2026-01-03 | by See Full Bio | get Sportsbook → | tags: answers, connections, connections sports

1836.

Today's NYT Connections Hints, Answers and Help for Jan. 3, #937 (cnet.com)

2026-01-02 | by See Full Bio | get Google Maps → | tags: answers, connections, group

1837.

Fighting Fire with Fire: Scalable Oral Exams (news.ycombinator.com)

2026-01-02 | by Panos Ipeirotis | get Infrared Thermal Imaging → | tags: agent, exam, oral

1838.

An extraordinary life comes down to these two choices (feeds.feedburner.com)

2026-01-02 | get Nanotechnology → | tags: build, choices, decisions

1839.

Ghana Tries To Regulate Online Prophecies (slashdot.org)

2026-01-02 | by Posted | get Cryptocurrency → | tags: accident, amplified reach, ankrah

1840.

Maslow’s hierarchy of AI fluency training (feeds.feedburner.com)

2026-01-02 | get Machine Learning → | tags: ai upskilling, building, building ai

1841.

How we test portable power stations at ZDNET in 2026 (zdnet.com)

2026-01-02 | by Adrian Kingsley-Hughes | get Portable Power Stations → | tags: best, power, power station

1842.

Venture Capitalists Predict Many AI Startups Will Get Weeded Out in 2026 (feeds.content.dowjones.io)

2026-01-02 | tags: concern, investors, investors shared

1843.

Seven steps to AI supply chain visibility — before a breach forces the issue (venturebeat.com)

2026-01-02 | get Blockchain → | tags: model, models, organizations

1844.

Prompting People (news.ycombinator.com)

2026-01-01 | get Smart Speaker → | tags: better, concept, engineer

1845.

Memory Subsystem Optimizations (news.ycombinator.com)

2026-01-01 | by Min Hsu | get Smart Card → | tags: applicable software, contact, memory

1846.

The Curious Case of the Shallow Session SPAs (news.ycombinator.com)

2026-01-01 | by About The Author | get Session SPAs → | tags: interactions, latency, performance

1847.

The Best Leaders Are Often the Least Popular — Here's Why (feeds.feedburner.com)

2026-01-01 | get Leadership → | tags: decisions, leader, leaders

1848.

New GlassWorm malware wave targets Macs with trojanized crypto wallets (bleepingcomputer.com)

2026-01-01 | get Crypto Wallet → | tags: extension, extensions, glassworm

1849.

What a meltdown in the wine aisle taught me about New Year’s resolutions (feeds.feedburner.com)

2026-01-01 | tags: actually, bigger, bigger truth

1850.

Show HN: Feature detection exploration in Lidar DEMs via differential decomp (news.ycombinator.com)

2026-01-01 | get Feature Detection → | tags: combinations, decomposition, feature

1851.

DarkSpectre Hackers Spread Malware To 8.8 Million Chrome, Edge, and Firefox Users (slashdot.org)

2025-12-31 | get Chromebook → | tags: campaign, extensions, group

1852.

iOS 26.2 has two CarPlay improvements, here’s what’s new (9to5mac.com)

2025-12-31 | by Ryan Christoffel | get iPhone → | tags: carplay, conversations, messages

1853.

PyPI in 2025: A Year in Review (news.ycombinator.com)

2025-12-31 | get Python Package Index → | tags: organizations, publishing, pypi

1854.

Blog: PyPI in 2025: A Year in Review (news.ycombinator.com)

2025-12-31 | get Python Package Index → | tags: organizations, publishing, pypi

1855.

It Never Hurts to Ask a Question — Why Silence Is a Real Risk for Entrepreneurs (feeds.feedburner.com)

2025-12-31 | get Mindset → | tags: asked, asking, does

1856.

China Planning Crackdown on AI That Harms Mental Health of Users (futurism.com)

2025-12-31 | by Joe Wilkins | get Brain → | tags: ai chatbots, chatbots, china

1857.

Why inventing new emotions feels so good (technologyreview.com)

2025-12-31 | by Anya Kamenetz | get Neurotransmitter → | tags: black, emotion, emotions

1858.

The Cost of a Closure in C: The Rest (news.ycombinator.com)

2025-12-31 | get Smartphone → | tags: code, function, functions

1859.

Today's NYT Connections: Sports Edition Hints and Answers for Dec. 31, #464 (cnet.com)

2025-12-31 | by See Full Bio | get Sportsbook → | tags: answers, connections, connections sports

1860.

LLVM AI tool policy: human in the loop (news.ycombinator.com)

2025-12-31 | get TensorFlow → | tags: contribution, contributions, contributors