Show HN: Trim Transformer: A transformer for physics models

https://github.com/eg-trim/trim-transformer

1•emanuelgordis•41s ago•0 comments

Index academic papers and extract metadata for AI agents

https://cocoindex.io/blogs/academic-papers-indexing/

1•badmonster•42s ago•1 comments

AWS Challenges – Verifying the Rust standard library

https://model-checking.github.io/verify-rust-std/intro.html

1•febin•1m ago•0 comments

Being a Script

https://raphaelbastide.com/etre-script/en.html

1•tarball•3m ago•0 comments

Musk unveils Grok 4 as xAI's new AI model that beats OpenAI and Google

https://the-decoder.com/musk-unveils-grok-4-as-xais-new-ai-model-that-beats-openai-and-google-on-major-benchmarks/

1•thm•4m ago•0 comments

Looking for two builders (preferably) to share apartment with

1•rtxone•5m ago•0 comments

Show HN: We built a Competitor Finder AI for early-stage startups

https://www.inodash.com/competitor-analysis-ai

1•mutlusakar•7m ago•0 comments

Grok AI to be available in Tesla vehicles next week, Musk says

https://www.reuters.com/business/autos-transportation/grok-ai-be-available-tesla-vehicles-next-week-musk-says-2025-07-10/

1•voxadam•8m ago•0 comments

Maya Ruler's Tomb Is Unearthed in Belize, with Clues to His Ancient World

https://www.nytimes.com/2025/07/10/world/americas/maya-tomb-caracol-belize.html

1•walterbell•9m ago•0 comments

Pentagon to become largest shareholder in rare earth miner MP Materials

https://www.cnbc.com/2025/07/10/pentagon-to-become-largest-shareholder-in-rare-earth-magnet-maker-mp-materials.html

2•voxadam•10m ago•0 comments

Show HN: Pg-when– psql extension for creating time values with natural language

https://github.com/frectonz/pg-when

2•jossephus01•13m ago•0 comments

CoverDrop: Blowing the Whistle Through a News App

https://www.coverdrop.org/

1•todsacerdoti•13m ago•0 comments

Ask HN: Engineering hiring managers, what do you consider a good cover letter?

1•fnord77•19m ago•1 comments

Why Did Cars Get So Hard to See Out Of?

https://www.bloomberg.com/news/articles/2025-07-10/why-did-cars-get-so-hard-to-see-out-of-blame-the-a-pillars

2•upofadown•21m ago•0 comments

Rudy: A Toolchain for Rust Debuginfo

https://www.samjs.io/blog/rudy

2•samjs•24m ago•0 comments

What makes a good 1-on-1 (and where some managers get it wrong)

https://taoem.com/chapters/6/1-1s-the-most-powerful-management-tool

1•jampa•25m ago•0 comments

Microsoft Touts $500M AI Savings While Slashing Jobs

https://finance.yahoo.com/news/microsoft-touts-500-million-ai-171149783.html

2•Michelangelo11•25m ago•1 comments

Show HN: Optiverse – Evolving Code with LLMs

https://mathieularose.com/optiverse-evolving-code-with-llms

1•larose•27m ago•0 comments

"AI slop" is in the eye of the beholder

https://www.axios.com/2025/04/24/ai-slop-studio-ghibli-barbie-deepfakes

2•Bluestein•27m ago•1 comments

Claude Code: GitHub Actions Integration

https://twitter.com/alexalbert__/status/1943332121814405412

1•tosh•27m ago•0 comments

Past aquifer responses to climate recorded by fossil groundwater

https://www.science.org/doi/10.1126/sciadv.adu7812

3•PaulHoule•28m ago•0 comments

Varda raises $187M in funding to make drugs in orbit

https://www.cnbc.com/2025/07/10/space-startup-varda-medicine-orbit.html

2•Bluestein•29m ago•0 comments

Semaphore Enterprise Edition is free for small teams

https://semaphore.io/blog/enterprise-ci-cd-free

1•tomfern•29m ago•1 comments

Show HN: I built an AI tool to retrieve technical achievements from your GitHub

https://git-achievements.com

1•davidngugi•30m ago•0 comments

Token Hygiene – AI context window curation

https://www.marlin-verlag.de/post/token-hygiene-how-to-curate-long-sessions-and-keep-the-ai-context-window-small

1•Klozeitung•30m ago•0 comments

Salmon Chaos

https://en.wikipedia.org/wiki/Salmon_chaos

3•ipnon•30m ago•1 comments

New Sudo CVE

https://github.com/pr0v3rbs/CVE-2025-32463_chwoot

1•stephc_int13•31m ago•1 comments

AI Generated Memes: What will you meme today?

https://www.bustameme.com/

1•nbstme•32m ago•1 comments

Chemical used in plastics has erupted as latest fentanyl adulterant

https://arstechnica.com/civis/threads/weird-chemical-used-in-plastics-has-erupted-as-latest-fentanyl-adulterant.1508267/

3•Bluestein•33m ago•1 comments

Show HN: Free DNS domain name of zz.ac

https://tao.zz.ac/dns/free-zz-domain-name.html

2•unclet•33m ago•1 comments

Show HN: Trim Transformer: A transformer for physics models

Index academic papers and extract metadata for AI agents

AWS Challenges – Verifying the Rust standard library

Being a Script

Musk unveils Grok 4 as xAI's new AI model that beats OpenAI and Google

Looking for two builders (preferably) to share apartment with

Show HN: We built a Competitor Finder AI for early-stage startups

Grok AI to be available in Tesla vehicles next week, Musk says

Maya Ruler's Tomb Is Unearthed in Belize, with Clues to His Ancient World

Pentagon to become largest shareholder in rare earth miner MP Materials

Show HN: Pg-when– psql extension for creating time values with natural language

CoverDrop: Blowing the Whistle Through a News App

Ask HN: Engineering hiring managers, what do you consider a good cover letter?

Why Did Cars Get So Hard to See Out Of?

Rudy: A Toolchain for Rust Debuginfo

What makes a good 1-on-1 (and where some managers get it wrong)

Microsoft Touts $500M AI Savings While Slashing Jobs

Show HN: Optiverse – Evolving Code with LLMs

"AI slop" is in the eye of the beholder

Claude Code: GitHub Actions Integration

Past aquifer responses to climate recorded by fossil groundwater

Varda raises $187M in funding to make drugs in orbit

Semaphore Enterprise Edition is free for small teams

Show HN: I built an AI tool to retrieve technical achievements from your GitHub

Token Hygiene – AI context window curation

Salmon Chaos

New Sudo CVE

AI Generated Memes: What will you meme today?

Chemical used in plastics has erupted as latest fentanyl adulterant

Show HN: Free DNS domain name of zz.ac

Using Protobuf to make Jira Cloud faster

Show HN: Trim Transformer: A transformer for physics models

Index academic papers and extract metadata for AI agents

AWS Challenges – Verifying the Rust standard library

Being a Script

Musk unveils Grok 4 as xAI's new AI model that beats OpenAI and Google

Looking for two builders (preferably) to share apartment with

Show HN: We built a Competitor Finder AI for early-stage startups

Grok AI to be available in Tesla vehicles next week, Musk says

Maya Ruler's Tomb Is Unearthed in Belize, with Clues to His Ancient World

Pentagon to become largest shareholder in rare earth miner MP Materials

Show HN: Pg-when– psql extension for creating time values with natural language

CoverDrop: Blowing the Whistle Through a News App

Ask HN: Engineering hiring managers, what do you consider a good cover letter?

Why Did Cars Get So Hard to See Out Of?

Rudy: A Toolchain for Rust Debuginfo

What makes a good 1-on-1 (and where some managers get it wrong)

Microsoft Touts $500M AI Savings While Slashing Jobs

Show HN: Optiverse – Evolving Code with LLMs

"AI slop" is in the eye of the beholder

Claude Code: GitHub Actions Integration

Past aquifer responses to climate recorded by fossil groundwater

Varda raises $187M in funding to make drugs in orbit

Semaphore Enterprise Edition is free for small teams

Show HN: I built an AI tool to retrieve technical achievements from your GitHub

Token Hygiene – AI context window curation

Salmon Chaos

New Sudo CVE

AI Generated Memes: What will you meme today?

Chemical used in plastics has erupted as latest fentanyl adulterant

Show HN: Free DNS domain name of zz.ac