frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Ask HN: Is it possible to backtest math/scinse breakthroughs with AI models?

1•ran_cohen•20m ago
By creating a synthetic dataset of everything we know with a cutoff of say 1900 and see if it actually can come up with the same (or more interestingly, different) theories.

Comments

yepyoukno•13m ago
Yeah, like plan out every known tech, and then try to duplicate their every finding, and maybe simulate the gossip of the intellectual culture at the time from journals and open letter publications.

Sounds like your setup would take ten years.

How about building a “tech tree” of known significant progressions and work it from there!

ben_w•6m ago
It's been attempted with real data: https://github.com/haykgrigo3/TimeCapsuleLLM

However, it is necessarily a tiny model because of the limited training data.

All machine learning is extremely data-intensive compared to organic brains, it's nowhere near good enough to generate novel (relative to the training cut-off) maths or scientific hypotheses.

'Free grand piano': the scam playing on music lovers' heartstrings

https://www.theguardian.com/money/2026/nov/08/free-grand-piano-scam-emails
1•prmph•4m ago•0 comments

Tailscale Native Git Forge

https://github.com/kevindurb/tsgit
1•kevindurb•6m ago•0 comments

Show HN: OfflineVault – An offline library for when the internet is down

https://offlinevault.dev
1•nc•6m ago•0 comments

Show HN: Micron – The Oberon with the Power of C

https://github.com/rochus-keller/Micron
2•Rochus•9m ago•0 comments

Cyber at the Frontier

https://openai.com/cyber-at-the-frontier/
1•talboren•12m ago•0 comments

Old, Polluting Jet Engines Are Being Scavenged to Power Data Centers

https://www.nytimes.com/2026/11/03/climate/jet-engines-ai-data-center-generators-boneyard.html
1•leonidasrup•13m ago•0 comments

Ask HN: Is it possible to backtest math/scinse breakthroughs with AI models?

1•ran_cohen•20m ago•2 comments

Who first said, 'The best government is that which governs least'?

https://reason.com/volokh/2017/09/06/who-first-said-the-best-govern/
1•ArizonaGal•21m ago•1 comments

This implant burns up excess blood sugar with electricity

https://www.scientificamerican.com/article/this-implant-burns-up-excess-blood-sugar-with-electric...
1•thunderbong•25m ago•0 comments

Why forcing Ukraine into a peace deal won't work [video]

https://www.youtube.com/watch?v=7bVaT1GohMU
1•yakshaving_jgt•26m ago•0 comments

Chapter 04: Implementing Sails-style Routing

https://chauhankiran.blogspot.com/2026/11/chapter-04-implementing-sails-style.html
1•chauhankiran•26m ago•0 comments

BerryBox – GitHub Actions runners at $0.002/min, billed per second

https://berrybox.io/
1•chiragasarpota•26m ago•0 comments

Pinot Noir: inside the criminal gangs making fake wine

https://www.economist.com/interactive/2026/11/06/pinot-noir-inside-the-criminal-gangs-making-fake...
1•Anon84•33m ago•0 comments

$6M/Year Cosmetics Empire Crumbles After Adobe Website Disaster [video]

https://www.youtube.com/watch?v=TnicUxFL64E
2•nomilk•34m ago•0 comments

Roku Retires Fish Tank Screensaver to Reel Viewers into Roku City

https://www.cnet.com/tech/home-entertainment/roku-retires-aquatic-life-screensaver-2/
3•slowin•34m ago•2 comments

Asserts You Can Read at a Glance

https://blog.hackflow.ru/blog/2026/11/08/asserts-at-a-glance/
1•Suor•35m ago•1 comments

Want to fly to the moon? NASA is looking for new astronauts to help grow its Art

https://phys.org/news/2026-11-fly-moon-nasa-astronauts-artemis.html
1•bookmtn•36m ago•2 comments

A 3-Line Torus Geometry Proof Wrecked OpenAI's $100B Biotech Venture

https://github.com/Dr-Logvinovich/codon-torus-syntax/blob/main/README.md
4•DRLogvinovich•36m ago•0 comments

KapX is a groundbreaking mobility and orientation aid

https://www.kapsys.com/en/produit/kapx-2/
1•Bluestein•37m ago•0 comments

A lack of male protagonists is making it harder to get young boys into books

https://www.theatlantic.com/culture/2026/11/middle-grade-reading-male-protagonists/689285/
20•ryzvonusef•41m ago•27 comments

Download Netscape Communicator or Navigator Software

https://web.archive.org/web/19970613204222/http://home.netscape.com/comprod/mirror/client_downloa...
2•Bluestein•42m ago•0 comments

Storehouse – storing your creative work shouldn't be a ball ache

https://niva.design/storehouse
1•stuart-semple•43m ago•1 comments

Show HN: AIDA – agentic generated user guides

https://github.com/tryaida/aida
2•elijahglass•45m ago•1 comments

The Modern World

https://shkspr.mobi/blog/2022/06/the-modern-world/
1•ColinWright•46m ago•0 comments

AI clog': UK public bodies battle onslaught of chatbot-generated complaints

https://www.theguardian.com/technology/2026/nov/08/ai-clog-public-bodies-local-authorities-onslau...
2•alibarber•47m ago•0 comments

VedaOS

https://github.com/vahmoh/Veda
1•kimia119•49m ago•0 comments

EVi, a pre-LLM fork of Vim

https://evi-editor.codeberg.page/
1•edward•54m ago•0 comments

Scaling Citus without limits: announcing Query Routers

https://stackgres.io/blog/scaling-citus-beyond-one-coordinator-announcing-query-routers-stackgres/
1•ahachete•54m ago•0 comments

How to prove equations using diagrams, part 1

https://www.epatters.org/post/e-graphs-1/
2•frostbyte7•57m ago•0 comments

Building Maintainable PHP Applications: Patterns and Principles

https://codyssey.dev/courses/building-maintainable-php-applications-patterns-and-principles
1•davorminchorov•57m ago•0 comments