Formalizing a proof in lean using GitHub Copilot and canonical

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

1•todsacerdoti•31s ago•0 comments

How Much Energy Does It Take to Think?

https://www.quantamagazine.org/how-much-energy-does-it-take-to-think-20250604/

1•onnnon•1m ago•0 comments

Show HN: Apollo, your personal Home Assistant

https://github.com/ralphiedawg/apollo-v2

1•ralphdawg•2m ago•0 comments

215 Department Store Catalogs 1908-2019

https://archive.org/details/departmentstorecatalogs

1•bookofjoe•2m ago•0 comments

Ask HN: Anyone using project management tools for personal projects?

1•localbuilder•3m ago•0 comments

Genomics pioneer fired from firm he founded: 'It was not easy to domesticate me'

https://www.nature.com/articles/d41586-025-01738-0

1•rntn•4m ago•0 comments

Show HN: A2A – curated resources for Google's Agent2Agent protocol

https://github.com/ai-boost/awesome-a2a

1•aiboost•5m ago•0 comments

CDN Solutions for Software Companies

https://blazingcdn.com/solutions-for-software-companies/

2•blazingcdn•7m ago•1 comments

Show HN: Skyla – AI that proves identity through recursive ZK proofs, not memory

https://github.com/skylessdev/skyla

1•skylessdev•7m ago•1 comments

Against "Against Life Extension"

https://www.alexkesin.com/p/contra-fukuyama-on-against-life-extension

6•quadrin•9m ago•0 comments

Ischhfd83: When cybercriminals eat their own

https://news.sophos.com/en-us/2025/06/04/the-strange-tale-of-ischhfd83-when-cybercriminals-eat-their-own/

1•gnabgib•10m ago•0 comments

Markdown-Oriented Programming in MoonBit: Bridging Code and Documentation

https://www.moonbitlang.com/blog/moonbit-markdown

1•obeavs•10m ago•1 comments

The Right to Repair Is Law in Washington State

https://www.eff.org/deeplinks/2025/06/right-repair-law-washington-state

3•doener•11m ago•0 comments

The Mitre Dissection Puzzle

https://vesatimonen.github.io/mitre-dissection/

1•futurecat•12m ago•0 comments

Yambda-5B – Industrial-scale music recommendation dataset

https://huggingface.co/datasets/yandex/yambda

2•tazjin•15m ago•1 comments

Chinese nationals accused of smuggling 'dangerous biological pathogen' into US

https://www.bbc.com/news/articles/c4gkdppymk4o

1•Bender•16m ago•0 comments

Portable Linux R Binary Packages

https://posit.co/blog/introducing-portable-linux-r-binary-packages/

3•ionychal•16m ago•1 comments

Morgan Stanley's AI parsed 9M lines of code, saving 15K devs 280K hours

https://www.entrepreneur.com/business-news/morgan-stanley-builds-ai-tool-that-fixes-major-coding-issue/492697

4•speckx•18m ago•1 comments

Auto-Updating AI Expert Using Telegram Channels and NotebookLM

https://www.junctionbot.io/

1•astuteficus•18m ago•1 comments

Show HN: Mongo Analyser – A TUI for MongoDB with Integrated AI Assistant

1•habedi0•19m ago•0 comments

You're just not welcome: researchers grapple with plan to revoke student visas

https://www.nature.com/articles/d41586-025-01746-0

3•hbartab•20m ago•0 comments

The Problem with Eisenhower's Delegation

https://www.leadinginproduct.com/p/the-problem-with-eisenhowers-delegation

1•ahamez•20m ago•0 comments

From Steam to Silicon: Patterns of Technological Revolutions

https://ianreppel.org/from-steam-to-silicon/

1•hbartab•21m ago•0 comments

High-Stakes Fox Hunting: The FCC’s Radio Intelligence Division In World War II

https://hackaday.com/2025/06/04/high-stakes-fox-hunting-the-fccs-radio-intelligence-division-in-world-war-ii/

4•voxadam•21m ago•0 comments

Show HN: Kleks – declarative documents with live preview (in Rust+WASM)

https://www.kleks.io

2•sagering•22m ago•1 comments

Android trojan 'Crocodilus' hijacks accessibility settings for control

https://www.scworld.com/news/android-trojan-crocodilus-hijacks-accessibility-settings-for-control

2•Bender•23m ago•0 comments

NFTs in sports: How to be on alert to the dangers of fraud and counterfeiting

https://techxplore.com/news/2025-05-nfts-sports-dangers-fraud-counterfeiting.html

1•PaulHoule•23m ago•0 comments

Ramnit Malware Infections Spike in OT as Evidence Suggests ICS Shift

https://www.securityweek.com/ramnit-malware-infections-spike-in-ot-as-evidence-suggests-ics-shift/

Formalizing a proof in lean using GitHub Copilot and canonical

How Much Energy Does It Take to Think?

Show HN: Apollo, your personal Home Assistant

215 Department Store Catalogs 1908-2019

Ask HN: Anyone using project management tools for personal projects?

Genomics pioneer fired from firm he founded: 'It was not easy to domesticate me'

Show HN: A2A – curated resources for Google's Agent2Agent protocol

CDN Solutions for Software Companies

Show HN: Skyla – AI that proves identity through recursive ZK proofs, not memory

Against "Against Life Extension"

Ischhfd83: When cybercriminals eat their own

Markdown-Oriented Programming in MoonBit: Bridging Code and Documentation

The Right to Repair Is Law in Washington State

The Mitre Dissection Puzzle

Yambda-5B – Industrial-scale music recommendation dataset

Chinese nationals accused of smuggling 'dangerous biological pathogen' into US

Portable Linux R Binary Packages

Morgan Stanley's AI parsed 9M lines of code, saving 15K devs 280K hours

Auto-Updating AI Expert Using Telegram Channels and NotebookLM

Show HN: Mongo Analyser – A TUI for MongoDB with Integrated AI Assistant

You're just not welcome: researchers grapple with plan to revoke student visas

The Problem with Eisenhower's Delegation

From Steam to Silicon: Patterns of Technological Revolutions

High-Stakes Fox Hunting: The FCC’s Radio Intelligence Division In World War II

Show HN: Kleks – declarative documents with live preview (in Rust+WASM)

Android trojan 'Crocodilus' hijacks accessibility settings for control

NFTs in sports: How to be on alert to the dangers of fraud and counterfeiting

Ramnit Malware Infections Spike in OT as Evidence Suggests ICS Shift

Panda-AGI: An SDK for Agentic General Intelligence

Show HN: Product Launcher for the Hispanic Market

DPS8M Performance

Formalizing a proof in lean using GitHub Copilot and canonical

How Much Energy Does It Take to Think?

Show HN: Apollo, your personal Home Assistant

215 Department Store Catalogs 1908-2019

Ask HN: Anyone using project management tools for personal projects?

Genomics pioneer fired from firm he founded: 'It was not easy to domesticate me'

Show HN: A2A – curated resources for Google's Agent2Agent protocol

CDN Solutions for Software Companies

Show HN: Skyla – AI that proves identity through recursive ZK proofs, not memory

Against "Against Life Extension"

Ischhfd83: When cybercriminals eat their own

Markdown-Oriented Programming in MoonBit: Bridging Code and Documentation

The Right to Repair Is Law in Washington State

The Mitre Dissection Puzzle

Yambda-5B – Industrial-scale music recommendation dataset

Chinese nationals accused of smuggling 'dangerous biological pathogen' into US

Portable Linux R Binary Packages

Morgan Stanley's AI parsed 9M lines of code, saving 15K devs 280K hours

Auto-Updating AI Expert Using Telegram Channels and NotebookLM

Show HN: Mongo Analyser – A TUI for MongoDB with Integrated AI Assistant

You're just not welcome: researchers grapple with plan to revoke student visas

The Problem with Eisenhower's Delegation

From Steam to Silicon: Patterns of Technological Revolutions

High-Stakes Fox Hunting: The FCC’s Radio Intelligence Division In World War II

Show HN: Kleks – declarative documents with live preview (in Rust+WASM)

Android trojan 'Crocodilus' hijacks accessibility settings for control

NFTs in sports: How to be on alert to the dangers of fraud and counterfeiting

Ramnit Malware Infections Spike in OT as Evidence Suggests ICS Shift

Panda-AGI: An SDK for Agentic General Intelligence

Show HN: Product Launcher for the Hispanic Market