Ask HN: New AI-Based Software Verification by Comparing Code vs. Requirements?

1•axelr340•37s ago•0 comments

Show HN: Jtheta.ai – Annotation Platform with REST API and Python SDK

https://app.jtheta.ai/accounts/login/?next=/

1•yes_vijay•1m ago•0 comments

How Convex Took Down T3 Chat (Postmortem)

https://news.convex.dev/how-convex-took-down-t3-chat-june-1-2025-postmortem/

1•ko_pivot•3m ago•0 comments

Deep learning gets the glory, deep fact checking gets ignored

https://rachel.fast.ai/posts/2025-06-04-enzyme-ml-fails/index.html

1•chmaynard•7m ago•0 comments

Embedded TypedData Objects in Ruby

https://railsatscale.com/2025-06-03-implementing-embedded-typeddata-objects/

2•hahahacorn•11m ago•0 comments

Pesticide makers continue quest for immunity from lawsuits by sick farmers

https://www.thenewlede.org/2025/05/pesticide-makers-continue-quest-for-immunity-from-lawsuits-by-sick-farmers/

3•PaulHoule•14m ago•0 comments

Ask HN: Donating as a Small Company/Freelancer?

1•elric•16m ago•0 comments

A deep dive into self-improving AI and the Darwin-Gödel Machine

https://richardcsuwandi.github.io/blog/2025/dgm/

1•hardmaru•20m ago•0 comments

FTM:An endogenous economic growth model illustrating the future trajectory of AI

https://takeoffspeeds.com/

1•TechTechTech•21m ago•1 comments

MIT physicists capture the first sounds of heat "sloshing" in a superfluid

https://news.mit.edu/2024/mit-physicists-capture-first-sounds-heat-sloshing-superfluid-0208

2•domofutu•22m ago•1 comments

JVM Runtime Parametric Type Support

https://mail.openjdk.org/pipermail/valhalla-spec-experts/2025-June/002528.html

3•agluszak•25m ago•0 comments

Diffusion is not necessarily Spectral Autoregression

https://www.fabianfalck.com/posts/spectralauto/

1•nathan-barry•26m ago•0 comments

Human Food Made with Cultured Animal Cells Inventory

https://www.hfpappexternal.fda.gov/scripts/fdcc/index.cfm?set=AnimalCellCultureFoods

1•aendruk•27m ago•0 comments

Trump appears to be building unprecedented spy machine tht could track Americans

https://www.msnbc.com/top-stories/latest/trump-palantir-surveillance-americans-rcna210017

8•mdp2021•27m ago•0 comments

The speed of light is the "spacetime exchange rate"

https://twitter.com/getjonwithit/status/1928807829592220092

4•yashvg•29m ago•1 comments

Meta signs nuclear power deal with Constellation Energy

https://www.cnbc.com/2025/06/03/meta-signs-nuclear-power-deal-with-constellation-energy-.html

1•kristianp•29m ago•0 comments

You can never automate anything

https://idiallo.com/blog/cant-fully-automate-anything

1•foxfired•30m ago•0 comments

The Curse of Microlearning

https://sbaziotis.com/non-cs/the-curse-of-microlearning.html

1•MonkeyClub•31m ago•0 comments

Show HN: I panick-built a Pocket replacement called PickPocket in one night

https://chromewebstore.google.com/detail/pickpocket-pocket-replace/bnjpdlblpleibldbcieoabankdgbcbip

1•danbyalsky•33m ago•0 comments

Baloon.dev - AI Builder for your Front end

https://baloon.dev

3•ankurpata•35m ago•1 comments

Expansion of the Universe: An End to the 'Hubble Tension'?

https://www.centauri-dreams.org/2025/06/03/expansion-of-the-universe-an-end-to-the-hubble-tension/

2•JPLeRouzic•36m ago•0 comments

Traumatizing AI models by talking about war or violence makes them more anxious

https://www.livescience.com/technology/artificial-intelligence/traumatizing-ai-models-by-talking-about-war-or-violence-makes-them-more-anxious

4•Bluestein•36m ago•0 comments

Gemini in Chrome

https://gemini.google/overview/gemini-in-chrome/?hl=en

20•aru•38m ago•7 comments

Learn Matrices and Determinants with C++

https://terminalroot.com/learn-matrices-and-determinants-with-cpp/

2•marcoscpp•40m ago•1 comments

The Sky's the Limit

https://taoofmac.com/space/blog/2025/06/03/2155

1•rcarmo•41m ago•0 comments

Yoshua Bengio Launches LawZero: A New Nonprofit Advancing Safe-by-Design AI

https://lawzero.org/en/news/yoshua-bengio-launches-lawzero-new-nonprofit-advancing-safe-design-ai

20•WillieCubed•42m ago•6 comments

'Vibe coding' is the new DIY

https://archive.ph/UL4Nh

2•geox•43m ago•0 comments

I wrote my own software license

http://git.tgwil.net/legal/license.tgwil/plain/license.txt

1•MountainMan1312•43m ago•0 comments

Fed Plans to Offload National Park Sites, but States Don't Want Them

https://www.bloomberg.com/news/features/2025-06-02/trump-plans-to-offload-national-park-sites-but-states-don-t-want-them

5•petethomas•45m ago•0 comments

Peacetime Observability: Spotting Risks Before They Become Incidents

https://coroot.com/blog/peacetime-observability-spotting-risks-before-they-become-incidents/

1•valyala•47m ago•0 comments

Ask HN: New AI-Based Software Verification by Comparing Code vs. Requirements?

Show HN: Jtheta.ai – Annotation Platform with REST API and Python SDK

How Convex Took Down T3 Chat (Postmortem)

Deep learning gets the glory, deep fact checking gets ignored

Embedded TypedData Objects in Ruby

Pesticide makers continue quest for immunity from lawsuits by sick farmers

Ask HN: Donating as a Small Company/Freelancer?

A deep dive into self-improving AI and the Darwin-Gödel Machine

FTM:An endogenous economic growth model illustrating the future trajectory of AI

MIT physicists capture the first sounds of heat "sloshing" in a superfluid

JVM Runtime Parametric Type Support

Diffusion is not necessarily Spectral Autoregression

Human Food Made with Cultured Animal Cells Inventory

Trump appears to be building unprecedented spy machine tht could track Americans

The speed of light is the "spacetime exchange rate"

Meta signs nuclear power deal with Constellation Energy

You can never automate anything

The Curse of Microlearning

Show HN: I panick-built a Pocket replacement called PickPocket in one night

Baloon.dev - AI Builder for your Front end

Expansion of the Universe: An End to the 'Hubble Tension'?

Traumatizing AI models by talking about war or violence makes them more anxious

Gemini in Chrome

Learn Matrices and Determinants with C++

The Sky's the Limit

Yoshua Bengio Launches LawZero: A New Nonprofit Advancing Safe-by-Design AI

'Vibe coding' is the new DIY

I wrote my own software license

Fed Plans to Offload National Park Sites, but States Don't Want Them

Peacetime Observability: Spotting Risks Before They Become Incidents

Yisp: Lisp-like YAML templating for Kubernetes and beyond

Ask HN: New AI-Based Software Verification by Comparing Code vs. Requirements?

Show HN: Jtheta.ai – Annotation Platform with REST API and Python SDK

How Convex Took Down T3 Chat (Postmortem)

Deep learning gets the glory, deep fact checking gets ignored

Embedded TypedData Objects in Ruby

Pesticide makers continue quest for immunity from lawsuits by sick farmers

Ask HN: Donating as a Small Company/Freelancer?

A deep dive into self-improving AI and the Darwin-Gödel Machine

FTM:An endogenous economic growth model illustrating the future trajectory of AI

MIT physicists capture the first sounds of heat "sloshing" in a superfluid

JVM Runtime Parametric Type Support

Diffusion is not necessarily Spectral Autoregression

Human Food Made with Cultured Animal Cells Inventory

Trump appears to be building unprecedented spy machine tht could track Americans

The speed of light is the "spacetime exchange rate"

Meta signs nuclear power deal with Constellation Energy

You can never automate anything

The Curse of Microlearning

Show HN: I panick-built a Pocket replacement called PickPocket in one night

Baloon.dev - AI Builder for your Front end

Expansion of the Universe: An End to the 'Hubble Tension'?

Traumatizing AI models by talking about war or violence makes them more anxious

Gemini in Chrome

Learn Matrices and Determinants with C++

The Sky's the Limit

Yoshua Bengio Launches LawZero: A New Nonprofit Advancing Safe-by-Design AI

'Vibe coding' is the new DIY

I wrote my own software license

Fed Plans to Offload National Park Sites, but States Don't Want Them

Peacetime Observability: Spotting Risks Before They Become Incidents