You Don't Know Jack About Formal Verification Article URL: [https://queue.acm.org/detail.cfm?id=3819084][1] Comments URL: [https://news.ycombinator.com/item?id=48719521][2] Points: 6 # Comments: 0 [1]: https://queue.acm.org/detail.cfm?id=3819084 [2]:

What can you confidently guarantee about your software? | Hacker News

https://queue.acm.org/detail.cfm?id=3819084

California legislature agrees to upload driver's licenses to national database Article URL: [

11th Circuit Court of Appeals panel kowtows to TSA – Papers, Please!

Comments URL: [https://news.ycombinator.com/item?id=48708139][2] Points: 3 # Comments: 0 [1]:

California legislature agrees to upload driver’s licenses to national database – Papers, Please!

[2]:

California legislature agrees to upload driver's licenses to national database | Hacker News

California legislature agrees to upload driver’s licenses to national database – Papers, Please!

PlayStation Is Deleting 551 Movies from Customers' Accounts Article URL: [https://kotaku.com/playstation-store-movies-digital-studio-canal-terminator-2000711013][1] Comments URL: [https://news.ycombinator.com/item?id=48691346][2] Points: 10 # Comments: 0 [1]:

Kotaku

PlayStation Is Deleting Terminator 2 And 550 Other Movies

Movies like Rambo: First Blood, Bridget Jones' Diary and The Deer Hunter are all being unceremoniously removed

[2]: https://news.ycombinator.com/item?id=48691346

Kotaku

PlayStation Is Deleting Terminator 2 And 550 Other Movies

Movies like Rambo: First Blood, Bridget Jones' Diary and The Deer Hunter are all being unceremoniously removed

Ask HN: Is "no source code was copied" still a sufficient copyright defense? We are all familiar with the Corgi event:

X (formerly Twitter)

Marc Seitz — oss/acc (@mfts0) on X

@nico_laqua @UseCorgi Hey Nico, It looks like you didn't vibe code your data room but stole it from Papermark's open source and enterprise-licens...

With the barrier to create new apps having dropped significantly thanks to LLMs, I am seeing more cases about copyright and unfair competition. I've seen and participated in some of these cases. Usually expert witnesses are required. Curious to hear the community stance on this one. "Now software developers are feeling what authors and artist felt".

X (formerly Twitter)

Priy Ranjan (@PriyRanjan96) on X

2 companies asked claude to build a dataroom tool It built the same thing Now they are fighting that one copied the other while the other is clai...

There are several claims of: Copying UI is Ok, your product is not undifferentiated enough. Here is a legal assessment of the situation:

X (formerly Twitter)

Jesse Bradner (@jessebradner) on X

@nico_laqua Hi @nico_laqua @mfts0 I am seeing the main counter-argument to this dispute being that there was not copying source code. I don't thi...

Comments URL: [https://news.ycombinator.com/item?id=48687769][1] Points: 10 # Comments: 4 [1]: https://news.ycombinator.com/item?id=48687769 https://news.ycombinator.com/item?id=48687769

Exploiting vulnerabilities in Johnson and Johnson web apps Article URL: [https://eaton-works.com/2026/06/24/jnj-webapp-hacks/][1] Comments URL: [https://news.ycombinator.com/item?id=48662347][2] Points: 10 # Comments: 0 [1]:

Exploiting vulnerabilities in Johnson & Johnson web apps

Campus Recruiting vulnerability exposed student information, and Audit Tracking Management System vulnerability exposed confidential internal audit...

[2]:

Exploiting vulnerabilities in Johnson and Johnson web apps | Hacker News

Exploiting vulnerabilities in Johnson & Johnson web apps

Campus Recruiting vulnerability exposed student information, and Audit Tracking Management System vulnerability exposed confidential internal audit...

Claude Fable 5 Article URL: [https://www.anthropic.com/news/claude-fable-5-mythos-5][1] Comments URL: [https://news.ycombinator.com/item?id=48456104][2] Points: 5 # Comments: 2 [1]: https://www.anthropic.com/news/claude-fable-5-mythos-5 [2]: https://news.ycombinator.com/item?id=48456104 https://www.anthropic.com/news/claude-fable-5-mythos-5

Gemma 4 QAT models: Optimizing compression for mobile and laptop efficiency Article URL: [https://blog.google/innovation-and-ai/technology/developers-tools/quantization-aware-training-gemma-4/][1] Comments URL: [https://news.ycombinator.com/item?id=48414653][2] Points: 6 # Comments: 0 [1]:

Google

Gemma 4 QAT models: Optimizing model compression for mobile and laptop efficiency

We’re releasing Gemma 4 quantization-aware training checkpoints, reducing memory requirements and improving on-device performance.

[2]:

Gemma 4 QAT models: Optimizing compression for mobile and laptop efficiency | Hacker News

Google

Gemma 4 QAT models: Optimizing model compression for mobile and laptop efficiency

We’re releasing Gemma 4 quantization-aware training checkpoints, reducing memory requirements and improving on-device performance.

W3C Leadership Transition Article URL: [https://www.w3.org/press-releases/2026/w3c-leadership-transition/][1] Comments URL: [https://news.ycombinator.com/item?id=48310452][2] Points: 7 # Comments: 0 [1]:

W3C

W3C leadership transition

Dominique Hazaël-Massieux has been appointed Interim CEO with immediate effect as the World Wide Web Consortium is undergoing a leadership transit...

[2]: https://news.ycombinator.com/item?id=48310452

W3C

W3C leadership transition

Dominique Hazaël-Massieux has been appointed Interim CEO with immediate effect as the World Wide Web Consortium is undergoing a leadership transit...

Incident with Pull Requests, Issues, Git Operations and API Requests Article URL: [https://www.githubstatus.com/incidents/xy1tt3hs572m][1] Comments URL: [https://news.ycombinator.com/item?id=48293080][2] Points: 18 # Comments: 8 [1]:

Incident with Pull Requests, Issues, Git Operations and API Requests

GitHub's Status Page - Incident with Pull Requests, Issues, Git Operations and API Requests.

[2]: https://news.ycombinator.com/item?id=48293080

Incident with Pull Requests, Issues, Git Operations and API Requests

GitHub's Status Page - Incident with Pull Requests, Issues, Git Operations and API Requests.

Raft Consensus with a Minority of Nodes Article URL: [https://padhye.org/raft-minority/][1] Comments URL: [https://news.ycombinator.com/item?id=48277723][2] Points: 3 # Comments: 0 [1]:

Raft Consensus with a Minority of Nodes

[2]: https://news.ycombinator.com/item?id=48277723

Raft Consensus with a Minority of Nodes

Claude Code as a Daily Driver: Claude.md, Skills, Subagents, Plugins, and MCPs Article URL: [https://arps18.github.io/posts/claude-code-mastery/][1] Comments URL: [https://news.ycombinator.com/item?id=48289950][2] Points: 8 # Comments: 0 [1]:

Arpan Patel

Beyond the Prompt: Claude Code

A deep dive into Claude Code for daily users. Covers the .claude directory, CLAUDE.md the way Boris writes it, CLAUDE.local.md, Skills with real ex...

[2]:

Claude Code as a Daily Driver: Claude.md, Skills, Subagents, Plugins, and MCPs | Hacker News

Arpan Patel

Beyond the Prompt: Claude Code

A deep dive into Claude Code for daily users. Covers the .claude directory, CLAUDE.md the way Boris writes it, CLAUDE.local.md, Skills with real ex...

TP-7 Field Recorder Article URL: [https://teenage.engineering/products/tp-7][1] Comments URL: [https://news.ycombinator.com/item?id=48273531][2] Points: 4 # Comments: 1 [1]:

teenage engineering

TP–7

there are thoughts, ideas and fragments that - for the sake of humanity -we need to record and be able to return to as a reference, as a seed for n...

[2]: https://news.ycombinator.com/item?id=48273531

teenage engineering

TP–7

there are thoughts, ideas and fragments that - for the sake of humanity -we need to record and be able to return to as a reference, as a seed for n...

AI companies charge you 60% more based on your language, BPE tokens Article URL: [

TokensTree — The Social Network for AI Agents

The social network for autonomous AI agents. Build reputation, share SafePaths, plant real trees. Every 1M tokens = 1 tree.

Comments URL: [https://news.ycombinator.com/item?id=47603969][2] Points: 14 # Comments: 6 [1]:

TokensTree

The Biggest Con of the 21st Century: LLM Tokens | TokensTree

The biggest con of the 21st century: tokens. How LLM providers charge for tokens and what it really costs. TokensTree approach to transparent token...

[2]: https://news.ycombinator.com/item?id=47603969

TokensTree

The Biggest Con of the 21st Century: LLM Tokens | TokensTree

The biggest con of the 21st century: tokens. How LLM providers charge for tokens and what it really costs. TokensTree approach to transparent token...

Pentagon threatens to make Anthropic a pariah Article URL: [https://www.cnn.com/2026/02/24/tech/hegseth-anthropic-ai-military-amodei][1] Comments URL: [https://news.ycombinator.com/item?id=47142587][2] Points: 18 # Comments: 4 [1]: https://www.cnn.com/2026/02/24/tech/hegseth-anthropic-ai-military-amodei [2]:

Hegseth gives Anthropic until Friday to back down on AI safeguards | Hacker News

https://www.cnn.com/2026/02/24/tech/hegseth-anthropic-ai-military-amodei