Show HN: Video Summarization Using Local Gemma3

https://github.com/vast-data/mattsvlm

1•RamboRogers•45s ago•0 comments

Modular verification of MongoDB Transactions using TLA+

http://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html

1•todsacerdoti•1m ago•0 comments

House of Lords pushes back against government's AI plans

https://www.theguardian.com/technology/2025/may/12/house-of-lords-pushes-back-ai-plans-data-bill

1•chrisjj•2m ago•0 comments

AI in Baseball Training

https://techxplore.com/news/2025-05-revolutionizing-baseball-ai-simulated-pitchers.html

1•MarcoDewey•11m ago•0 comments

A programming language made for me

https://zylinski.se/posts/a-programming-language-for-me/

1•MaximilianEmel•13m ago•0 comments

The Leaderboard Illusion

https://cohere.com/research/lmarena

2•yenniejun111•19m ago•0 comments

Universe Set to Decay 10^22 Times Sooner Than Previously Estimated

https://scienceblog.com/universe-set-to-decay-1022-times-sooner-than-previously-estimated/

2•vo2maxer•20m ago•0 comments

Google just changed its 'G' logo

https://www.theverge.com/news/664958/google-g-logo-gradient-design-change

2•wmstack•20m ago•0 comments

Unending ransomware attacks are a symptom, not the sickness

https://www.theregister.com/2025/05/12/opinion_column_ransomware/

2•chrisjj•22m ago•0 comments

The Design of Everyday Things (1987) [video]

https://archive.org/details/The_Psychology_of_Everyday_Things_Donald_A._Normal_Institute_for_Cognitive_Scien

2•alasr•24m ago•0 comments

The AI Con – Emily M Bender and Alex Hanna

https://www.businessinsider.com/the-ai-con-emily-bender-alex-hanna-ai-hype-2025-5

2•rendang•26m ago•1 comments

When Cost of Misclassification Is Higher for the Customer Than for the Business

https://www.gojiberries.io/when-cost-of-misclassification-is-much-higher-for-the-customer-than-the-business/

2•goji_berries•29m ago•1 comments

Google's Jeff Dean on the Coming Era of Virtual Engineers [video]

https://www.youtube.com/watch?v=dq8MhTFCs80

1•xnx•31m ago•0 comments

Apple's Widget Backdoor [video]

https://www.youtube.com/watch?v=NdJ_y1c_j_I

1•patrikcsak•32m ago•0 comments

Ticketmaster will show the full price of your ticket up front to comply with law

https://www.theverge.com/news/665087/ticketmaster-all-in-prices-junk-fees

3•coloneltcb•33m ago•1 comments

Farmers Sued over Deleted Climate Data. So the Government Will Put It Back

https://www.nytimes.com/2025/05/12/climate/trump-deleted-climate-website-farmers-lawsuit.html

10•xnx•35m ago•0 comments

UK Online Safety Act: Ofcom pressured to enforce censorship and surveillance

https://reclaimthenet.org/uk-online-safety-act-strategic-priorities-ofcom-censorship-surveillance-age-verification

1•like_any_other•37m ago•0 comments

Trump executive order demands pharma industry price cuts

https://www.reuters.com/business/healthcare-pharmaceuticals/trump-says-he-will-cut-drug-prices-by-59-2025-05-12/

6•tlogan•38m ago•1 comments

Netflix Is Built on Java

https://www.youtube.com/watch?v=sMPMiy0NsUs

2•birdculture•41m ago•0 comments

Ask HN: I burnt out, quit my job – any advice on moving to freelance/consulting?

2•gardennoise•49m ago•2 comments

Tesla to build EV assembly plant in India

https://inc42.com/buzz/tesla-eyeing-assembly-plant-in-satara-report/

2•alephnerd•49m ago•0 comments

Sketch user credentials leaked in logs

https://communications.sketch.com/security-incident-crash-logs

2•ksajadi•51m ago•0 comments

Is it Euro-poor, or Ameri-poor?

https://walkingtheworld.substack.com/p/is-it-euro-poor-or-ameri-poor

2•decimalenough•51m ago•0 comments

Project Reality: Making the Nintendo 64 (1996)

https://steveshepard.com/blog/making-the-nintendo-64/

3•wicket•51m ago•0 comments

Google: Helping startups build what's next with the AI Futures Fund

https://blog.google/technology/google-labs/ai-futures-fund/

1•ZeroCool2u•55m ago•0 comments

On-device jpg to WebP to PNG etc.

https://apps.apple.com/ca/app/imageraptor-image-converter/id6744852761?mt=12

1•wayviator•57m ago•1 comments

Devlog: A Better Collision Detection

https://fomenko.fr/devlogs/better-collision-detection/

1•kooparse•58m ago•0 comments

How to Build a Legal Document Chat with Ducky.ai

https://ducky.ai/blog/fineprint-how-to-build-a-legal-document-chat-with-ducky-ai

Show HN: Video Summarization Using Local Gemma3

Modular verification of MongoDB Transactions using TLA+

House of Lords pushes back against government's AI plans

AI in Baseball Training

A programming language made for me

The Leaderboard Illusion

Universe Set to Decay 10^22 Times Sooner Than Previously Estimated

Google just changed its 'G' logo

Unending ransomware attacks are a symptom, not the sickness

The Design of Everyday Things (1987) [video]

The AI Con – Emily M Bender and Alex Hanna

When Cost of Misclassification Is Higher for the Customer Than for the Business

Google's Jeff Dean on the Coming Era of Virtual Engineers [video]

Apple's Widget Backdoor [video]

Ticketmaster will show the full price of your ticket up front to comply with law

Farmers Sued over Deleted Climate Data. So the Government Will Put It Back

UK Online Safety Act: Ofcom pressured to enforce censorship and surveillance

Trump executive order demands pharma industry price cuts

Netflix Is Built on Java

Ask HN: I burnt out, quit my job – any advice on moving to freelance/consulting?

Tesla to build EV assembly plant in India

Sketch user credentials leaked in logs

Is it Euro-poor, or Ameri-poor?

Project Reality: Making the Nintendo 64 (1996)

Google: Helping startups build what's next with the AI Futures Fund

On-device jpg to WebP to PNG etc.

Devlog: A Better Collision Detection

How to Build a Legal Document Chat with Ducky.ai

Understanding LucasArts' iMUSE System

Slack Is Down

Building a Habit

Show HN: Video Summarization Using Local Gemma3

Modular verification of MongoDB Transactions using TLA+

House of Lords pushes back against government's AI plans

AI in Baseball Training

A programming language made for me

The Leaderboard Illusion

Universe Set to Decay 10^22 Times Sooner Than Previously Estimated

Google just changed its 'G' logo

Unending ransomware attacks are a symptom, not the sickness

The Design of Everyday Things (1987) [video]

The AI Con – Emily M Bender and Alex Hanna

When Cost of Misclassification Is Higher for the Customer Than for the Business

Google's Jeff Dean on the Coming Era of Virtual Engineers [video]

Apple's Widget Backdoor [video]

Ticketmaster will show the full price of your ticket up front to comply with law

Farmers Sued over Deleted Climate Data. So the Government Will Put It Back

UK Online Safety Act: Ofcom pressured to enforce censorship and surveillance

Trump executive order demands pharma industry price cuts

Netflix Is Built on Java

Ask HN: I burnt out, quit my job – any advice on moving to freelance/consulting?

Tesla to build EV assembly plant in India

Sketch user credentials leaked in logs

Is it Euro-poor, or Ameri-poor?

Project Reality: Making the Nintendo 64 (1996)

Google: Helping startups build what's next with the AI Futures Fund

On-device jpg to WebP to PNG etc.

Devlog: A Better Collision Detection

How to Build a Legal Document Chat with Ducky.ai

Understanding LucasArts' iMUSE System

Slack Is Down