AWS Challenges – Verifying the Rust standard library

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

1•febin•24s 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•3m ago•0 comments

Looking for two builders (preferably) to share apartment with

1•rtxone•4m ago•0 comments

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

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

1•mutlusakar•6m 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•7m 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•8m 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•9m ago•0 comments

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

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

2•jossephus01•12m 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•18m 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•23m 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•24m 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•24m ago•1 comments

Show HN: Optiverse – Evolving Code with LLMs

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

1•larose•26m 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•26m 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•27m 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•28m ago•0 comments

Semaphore Enterprise Edition is free for small teams

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

1•tomfern•28m ago•1 comments

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

https://git-achievements.com

1•davidngugi•29m 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•30m ago•1 comments

AI Generated Memes: What will you meme today?

https://www.bustameme.com/

1•nbstme•31m 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•32m ago•1 comments

Show HN: Free DNS domain name of zz.ac

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

2•unclet•32m ago•1 comments

Vibe Coding: Trend or Security Disaster Waiting to Happen?

https://xygeni.io/blog/vibe-coding-trend-or-security-risk/

1•fatidevrel•33m ago•0 comments

Signaling Cursor AI Completion with a File Watcher and Screen Flasher

https://blog.bbs-software.com/blog/2025/05/29/desktop-image-flashing-on-cursor-ai-response-completion/

1•petercooper•33m ago•0 comments

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

Vibe Coding: Trend or Security Disaster Waiting to Happen?

Signaling Cursor AI Completion with a File Watcher and Screen Flasher

A Survey on Latent Reasoning

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

Vibe Coding: Trend or Security Disaster Waiting to Happen?

Signaling Cursor AI Completion with a File Watcher and Screen Flasher