frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Ask HN: Test-Driven Physics?

1•behnamoh•1d ago
In software engineering we often have a suite of tests and we make sure any changes in the code base still passes all (most) of these tests.

Are these such tests for physics? For example, someone comes up with a new theory (Relativity++) and wants to make sure this is consistent with the rest of our knowledge about physics. Should they make this verification manually, or is there a set of tests we put this new theory into to see if it passes them?

Example: Let's say Relativity++ is formulated in a certain way. Then we would probably want to make sure it doesn't violate the conservation of energy, objects moving ≤ c, etc.

Comments

terminalbraid•1d ago
There is no automated system for checking symmetries and constraints for general arbitrary physics theories. You cannot make a requirement asking for "consistent with the rest of our knowledge about physics" without unambiguously defining with "consistent" means. This is not possible as "consistent" is arbitrary, subjective, and at best contextually dependent on the theory itself.

Many theories are also not designed to be consistent across all known constraints and often are approximations for a particular domain. Where that domain begins and ends is also a matter of interpretation, sometimes not quantifiable in rigorous ways.

Doing science is not like writing code and requires human interpretation.

Lolowind Anon Blog

https://github.com/stalkiq/lolowind
1•stalkiq•2m ago•1 comments

Smart screen capture with AI insights

https://cognimate.app
1•dennisweng•5m ago•0 comments

Functionally banning school pizza is a tough sell

https://www.theatlantic.com/health/archive/2025/06/rfk-jr-maha-school-pizza/683040/
1•fortran77•8m ago•0 comments

Quantum Mixed-State Self-Attention Network

https://arxiv.org/abs/2403.02871
1•fs_tab•20m ago•0 comments

Nucleus Launches Embryo

https://mynucleus.com/embryo/press
1•euvin•24m ago•0 comments

Show HN: Most users won't report bugs unless you make it stupidly easy

https://bugdrop.app
1•lakshikag•31m ago•0 comments

Knuth-Bendix Completion Calculator

https://karldray.com/knuth-bendix/
2•karldray•37m ago•0 comments

According to Nielsen, No One Is Watching Anime

https://animebythenumbers.substack.com/p/nielsen-anime
2•zdw•42m ago•0 comments

Switch 2 factory firmware spotted in the wild

https://gbatemp.net/threads/switch-2-factory-firmware-spotted-in-the-wild.671975/
2•takoid•43m ago•0 comments

We should protect the high seas from all extraction, forever

https://www.nature.com/articles/d41586-025-01665-0
3•jdnier•43m ago•0 comments

Chasing Big Money with the Health-Care Hustlers of South Florida

https://www.bloomberg.com/features/2025-deepfake-ads-fueled-florida-health-insurance-scheme/
1•toomuchtodo•46m ago•1 comments

LTX Studio API v1 Featuring LTX-Video and FLUX.1 Kontext

https://useapi.net/blog/250603
1•useapi•56m ago•0 comments

The Beer Gut 2

https://substack.com/inbox/post/165233742
1•thunderbong•56m ago•1 comments

Mexican high school student launches mental health app

https://nomadful.io
1•liquidiguisante•57m ago•1 comments

Data centers are building their own gas power plants in Texas

https://www.texastribune.org/2025/06/05/texas-data-centers-gas-power-plants-ai/
5•1659447091•58m ago•0 comments

Review: Threat Modeling for Agentic AI – Introducing Maestro

https://securedgenai.substack.com/p/review-threat-modeling-for-agentic
2•emmap21•58m ago•0 comments

Texas governor signs cybersecurity bill establishing state command center

https://communityimpact.com/san-antonio/northeast-san-antonio-metrocom/texas-legislature/2025/06/02/gov-greg-abbott-signs-cybersecurity-bill-establishing-state-command-center/
1•1659447091•1h ago•0 comments

Asking about firearm safety during ER admissions: positive results

https://www.newswise.com/articles/children-s-hospital-of-philadelphia-researchers-show-quality-improvement-initiative-in-the-emergency-department-improved-family-engagement-around-firearm-safety-resources
2•onecommentman•1h ago•1 comments

Every LLM buzzword explained as a fantasy story (RAG, MoE, LoRA, RoPE, etc.)

https://medium.com/@isranimohit/the-lexiconia-codex-a-fantasy-story-that-teaches-you-every-llm-buzzword-3b7f6eb23da9
1•isranimohit•1h ago•1 comments

Gren to WebAssembly [video]

https://www.youtube.com/watch?v=OCpzEw4T5bA
1•DASD•1h ago•0 comments

I am an audience, first and foremost

https://ratsfromrocks.substack.com/p/i-am-an-audience-first-and-foremost
6•samclemens•1h ago•0 comments

The Astounding Counterfeit Nazi Invasion Map You've Never Heard Of

https://www.msn.com/en-us/news/other/the-astounding-counterfeit-nazi-invasion-map-you-ve-never-heard-of/ar-AA1EDiwb
1•georgecmu•1h ago•0 comments

SiCSem plans plant in Odisha, ties up with IIT

https://www.newindianexpress.com/states/odisha/2024/Jun/17/sicsem-plans-plant-in-odisha-ties-up-with-iit
1•akbarnama•1h ago•0 comments

Building an AI Server on a Budget

https://www.informationga.in/blog/building-an-ai-server-on-a-budget
7•mful•1h ago•0 comments

Open Source and the EU Cyber Resilience Act

https://lwn.net/SubscriberLink/1023306/8c3173bf68280edb/
3•pabs3•1h ago•0 comments

Show HN: Skylos. Yet another static code analyzer

https://github.com/duriantaco/skylos
3•duriantaco•1h ago•0 comments

Show HN: OpenAI-C – A lightweight OpenAI Chat API client in pure C

https://github.com/LunaStev/openai-c
2•LunaStev•1h ago•0 comments

Why many TWS earbuds are capped to 128 kbit/s AAC?

https://btcodecs.valdikss.org.ru/aac-lq/
2•ValdikSS•1h ago•1 comments

Elon Musk says SpaceX will decommission Dragon spacecraft after Trump threat

https://www.cnbc.com/2025/06/05/musk-trump-spacex-dragon-nasa.html
9•cebert•1h ago•3 comments

Harvard Wins Reprieve from Trump's Foreign Student Ban

https://www.bloomberg.com/news/articles/2025-06-06/trump-ban-on-harvard-foreign-students-us-entry-blocked-for-now
10•gametorch•1h ago•0 comments