Show HN: RunPy – simple desktop app for tinkering with Python

https://runpy.app

1•lukehaas•1m ago•0 comments

AI Tooling, Evolution and the Promiscuity of Modern Developers

https://redmonk.com/sogrady/2025/07/09/promiscuity-of-modern-developers/

1•ulrischa•3m ago•0 comments

Show HN: A Chrome Extension to Reveal SaaS Sprawl, Shadow IT, and Waste

https://www.hapstack.com/

1•rwgreen•4m ago•0 comments

Graphical Linear Algebra

https://graphicallinearalgebra.net/

1•hyperbrainer•4m ago•0 comments

One Reason Typeclasses Are Useful (2011)

https://coalton-lang.github.io/20211212-typeclasses/

1•asplake•5m ago•0 comments

Leading your engineers towards an AI-assisted future

https://blog.thepete.net/blog/2025/06/26/leading-your-engineers-towards-an-ai-assisted-future/

1•ulrischa•5m ago•0 comments

Russia, hotbed of cybercrime, says nyet to ethical hacking bill

https://www.theregister.com/2025/07/10/russia_ethical_hacking_bill/

1•rntn•5m ago•0 comments

Show HN: Trim Transformer: A transformer for physics models

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

1•emanuelgordis•6m ago•0 comments

Index academic papers and extract metadata for AI agents

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

1•badmonster•6m ago•1 comments

AWS Challenges – Verifying the Rust standard library

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

1•febin•7m ago•0 comments

Being a Script

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

1•tarball•9m 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•10m ago•0 comments

Looking for two builders (preferably) to share apartment with

1•rtxone•11m ago•0 comments

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

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

1•mutlusakar•13m 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•14m 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•14m 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•16m ago•0 comments

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

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

2•jossephus01•19m ago•0 comments

CoverDrop: Blowing the Whistle Through a News App

https://www.coverdrop.org/

1•todsacerdoti•19m ago•0 comments

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

1•fnord77•25m 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

3•upofadown•27m ago•0 comments

Rudy: A Toolchain for Rust Debuginfo

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

2•samjs•30m 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•31m 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•31m ago•1 comments

Show HN: Optiverse – Evolving Code with LLMs

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

1•larose•33m 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•33m ago•2 comments

Claude Code: GitHub Actions Integration

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

1•tosh•33m ago•0 comments

Past aquifer responses to climate recorded by fossil groundwater

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

3•PaulHoule•33m 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•35m ago•0 comments

Semaphore Enterprise Edition is free for small teams

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

1•tomfern•35m ago•1 comments

Show HN: RunPy – simple desktop app for tinkering with Python

AI Tooling, Evolution and the Promiscuity of Modern Developers

Show HN: A Chrome Extension to Reveal SaaS Sprawl, Shadow IT, and Waste

Graphical Linear Algebra

One Reason Typeclasses Are Useful (2011)

Leading your engineers towards an AI-assisted future

Russia, hotbed of cybercrime, says nyet to ethical hacking bill

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

World Spider Catalog Version 26

Show HN: RunPy – simple desktop app for tinkering with Python

AI Tooling, Evolution and the Promiscuity of Modern Developers

Show HN: A Chrome Extension to Reveal SaaS Sprawl, Shadow IT, and Waste

Graphical Linear Algebra

One Reason Typeclasses Are Useful (2011)

Leading your engineers towards an AI-assisted future

Russia, hotbed of cybercrime, says nyet to ethical hacking bill

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