frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Tao: An experiment reviving an archaic practice from the era of Gauss

https://mathstodon.xyz/@tao/116022211452443707
2•ColinWright•1h ago

Comments

ColinWright•1h ago
This is a fascinating experiment! I've just been reading the first few paragraphs of the paper ... easily readable, intended to be accessible by anyone.

In Gauss's time mathematicians would solve problems, publish the solutions in an encrypted form, and then challenge their contemporaries to solve the problems.

Here the authors of a paper on the arXiv say:

"To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time."

Tao says:

"... the challenge is to see whether 10 research-level problems (that arose in the course of the authors research) are amenable to modern AI tools within a fixed time period (until Feb 13).

"The problems appear to be out of reach of current "one-shot" AI prompts, but were solved by human domain experts, and would presumably a fair fraction would also be solvable by other domain experts equipped with AI tools. They are technical enough that a non-domain-expert would struggle to verify any AI-generated output on these problems, so it seems quite challenging to me to have such a non-expert solve any of these problems, but one could always be surprised."

First 'practical PhDs' awarded in China – for products rather than papers

https://www.nature.com/articles/d41586-026-00356-8
1•sohkamyung•45s ago•0 comments

Programming Language for Music – Aethra

1•CzaxTanmay•49s ago•0 comments

Free Bespoke Sewing Patterns – FreeSewing

https://freesewing.eu/
1•hamid914•1m ago•0 comments

The Anthropic Hive Mind

https://steve-yegge.medium.com/the-anthropic-hive-mind-d01f768f3d7b
1•rsaarelm•2m ago•0 comments

Marine biologists discover 28 new deep sea species–and an old VHS tape

https://www.popsci.com/environment/new-deep-sea-species-argentina/
2•layer8•4m ago•0 comments

Git-Wt: Worktrees Simplified

https://gabri.me/blog/git-wt
1•ahmedelgabri•7m ago•0 comments

Rust by Example

https://doc.rust-lang.org/rust-by-example/index.html
2•Brysonbw•10m ago•0 comments

ADHD became a multimillion-pound industry for private equity

https://www.thetimes.com/uk/healthcare/article/how-adhd-became-a-multimillion-pound-industry-for-...
1•petethomas•11m ago•0 comments

Vlang 0.5

https://github.com/vlang/v/releases/tag/0.5
1•seeg•11m ago•0 comments

Best OpenClaw Skills Every Developer Needs in 2026

https://transcriptapi.com/blog/best-openclaw-skills-developer
1•nikhonit•13m ago•0 comments

Building a C Compiler from Scratch with AI-Driven Development

https://twitter.com/moonbitlang/status/2019716138255646785
2•tamnd•14m ago•0 comments

Choan Gàlvez Fan Club

https://forum.ukuleleunderground.com/threads/choan-g%C3%A0lvez-fan-club.171951/
1•severine•16m ago•0 comments

The Ultimate Guide to Reduce Screen Time: CBT (part 1)

https://dachi.substack.com/p/the-ultimate-guide-to-reduce-screen
1•antoferra•16m ago•0 comments

We switched to a 5x cheaper LLM. Our costs went up

https://gitar.ai/blog/we-switched-to-a-5x-cheaper-llm-our-costs-went-up
1•kageiit•18m ago•1 comments

Ask HN: Systems programmers, what AI tools do you use?

1•NullCascade•22m ago•1 comments

Throughput Upgrade (With Train Illustrations) Blog

https://blog.healthchecks.io/2025/07/throughput-upgrade-with-train-illustrations/
1•tosh•26m ago•0 comments

GeoGPT – Chat-controlled GIS app built from a Jupyter Notebook

https://mljar.com/blog/chatgpt-gis-app-jupyter-notebook/
1•pplonski86•26m ago•0 comments

Superposition Yields Robust Neural Scaling

https://arxiv.org/abs/2505.10465
1•kioku•30m ago•0 comments

Canada Warms Up to EVs from China

https://www.caranddriver.com/news/a70188525/chinese-evs-north-america/
1•breve•31m ago•0 comments

Khosrow Alikordi: Lawyer for Mahsa Amini

https://en.wikipedia.org/wiki/Khosrow_Alikordi
1•ukblewis•33m ago•0 comments

Free async standup bot for Slack – looking for feedback

https://www.vereda.ai/free-slack-standup-bot
1•awightman•33m ago•1 comments

AI Incident Roundup – November and December 2025 and January 2026

https://incidentdatabase.ai/blog/incident-report-2025-november-december-2026-january/
2•YeGoblynQueenne•37m ago•0 comments

TikTok hit with charges by EU for its addictive features

https://www.reuters.com/business/media-telecom/tiktok-hit-with-charges-breaching-eu-online-conten...
5•hackerbeat•40m ago•0 comments

Signy: Signed URLs for Small Devices

https://github.com/golioth/signy
1•hasheddan•41m ago•0 comments

Shadcn/Create in Figma

https://www.shadcndesign.com/blog/shadcn-create-in-figma
1•figmaster•42m ago•0 comments

Show HN: Langraph Networks as Equations

https://github.com/kummahiih/python-langgraph-equations
2•kummap•43m ago•0 comments

Bui – TUI for painless Bubblewrap sandboxing

https://smaller.fish/posts/bubblewrap_tui
2•smallerfish•43m ago•0 comments

John Haugeland on the failure of micro-worlds

https://blog.plover.com/tech/gpt/micro-worlds.html
1•robinhouston•47m ago•0 comments

EC preliminarily finds TikTok's addictive design is Digital Services Act breach

https://ec.europa.eu/commission/presscorner/home/en
2•u1hcw9nx•49m ago•2 comments

Ask HN: XCancel but for Instagram?

6•Nurbek-F•49m ago•0 comments