frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

A Beginning for Mathematics

https://www.daniellitt.com/blog/2026/9/13/a-beginning-for-mathematics/
18•robinhouston•1h ago

Comments

ksd482•4m ago
> I propose the following reconceptualization of the goal of a mathematics PhD: to become a world expert on some interesting, deep topic, and to be able to convey that interest and understanding to others. Part of operationalizing this might be a thesis, but the degree would be awarded primarily on the basis of a rigorous defense, in which the student explains the topic to their examiners until they are satisfied.

I think this is a refreshingly forward looking idea and I agree with it 100%, especially the the "rigorous defense" part. That is a good measure of how well the topic has been researched and understood by the researcher. This is where the humans can be "in the loop".

> How different would this look from current PhDs? I think students would still meet with an advisor, who might suggest a topic. That topic could be explored with AI assistance, or not, but the student would be responsible for understanding it; it might be much more open-ended and larger than the typical PhD is currently.

Interesting point about "more open-ended" and "...larger than the typical PhD". I think the author has a point. Earlier, the bottleneck was the candidate's/researcher's understanding and knowledge. Now with AI tools, it is so much easier to zero in to relevant knowledge, get your questions answered quickly which might lead to understanding more quickly.

For e.g., before the advent of public libraries and printing press, the knowledge was inaccessible and guarded. So that was the bottleneck.

Then books became ubiquitous and the bottleneck to knowledge and understanding was people's motivation AND knowledge of WHAT books and topics to research.

Then came the internet and free PDFs of books and research articles. Now, the bottleneck was still people's motivation and a mild version of what books and topics to research. I say "mild" because one can lookup articles and newsletters, and book reviews and come up with a list of reading.

Now comes AI and it looks like the only bottleneck is people's motivation.

I believe there was also a silent, yet potent, bottleneck all along which is also removed by AI: personal tutor/coach/teacher/professor etc. Let's say if I am reading a textbook on manifolds or some research paper and I have a question about a specific theorem or even a mathematical operator being used. Before AI my only way to get my questions answered was to read more books (PDFs or print), or ask on math exchange or math overflow and wait for someone to answer, or to ask a professor. This could take up to a week.

Now all of that has been cut down to 1 hour or less with an interactive chatting session.

!!!!!

So....the only bottleneck is people's motivation! QED

Exciting time!

Distributed Systems Classics

https://nvartolomei.com/dist-sys-classics/
64•grep_it•1h ago•9 comments

Pion, an agent designed to run any company autonomously

https://andonlabs.com/blog/why-we-built-pion
12•lukaspetersson•14m ago•3 comments

It's a Scam

https://nice-marmot.net/Archives/2026/September_2026.html#note_3792
14•speckx•25m ago•1 comments

Principles for Fast Tokio Applications

https://dial9-rs.github.io/blog/principles-for-fast-tokio-applications/
50•carllerche•2h ago•9 comments

Show HN: Neobrutalism.dev – Just added Base UI support and added new color theme

https://www.neobrutalism.dev/
28•samke-•1h ago•10 comments

Notes on gotchas while migrating 35kb preprompts from Opus to self-hosted Ollama

https://patrickmccanna.net/notes-on-migrating-large-prompts-away-from-anthropic-openai-to-self-ho...
82•0o_MrPatrick_o0•3h ago•32 comments

Cua (YC P25) Is Hiring a Founding Technical GTM Lead

https://www.ycombinator.com/companies/cua/jobs/1IWEKVH-founding-technical-gtm-lead
1•frabonacci•29m ago

Why don't machine learning research agents overfit?

https://www.amazon.science/blog/why-dont-machine-learning-research-agents-overfit
18•Betelbuddy•57m ago•2 comments

Adversarial Fashion Makes a Statement on AI Panopticon

https://spectrum.ieee.org/adversarial-fashion
43•rbanffy•3h ago•22 comments

Show HN: Fly.exe – An EON systems like virtual fruit fly uploaded to computer

https://github.com/Ibtisam-Mohammad/Fly.exe
14•Ibti_sam•1h ago•2 comments

A Beginning for Mathematics

https://www.daniellitt.com/blog/2026/9/13/a-beginning-for-mathematics/
18•robinhouston•1h ago•1 comments

The Tudor Kings

https://analog-antiquarian.net/2026/09/11/the-tudor-kings/
9•ibobev•1h ago•1 comments

Truncated SVD

https://brashandplucky.com/2023/09/09/truncated-svd.html
9•ibobev•1h ago•1 comments

Claude is a Contrarian

https://medium.com/@rdsubhas/claude-is-a-contrarian-dbce4de5cada
62•rdsubhas•1h ago•66 comments

XCancel service is suspended until further notice

https://xcancel.com/#
134•gaganyaan•7h ago•398 comments

When LLM judges agree, should we believe them?

https://www.amazon.science/blog/when-llm-judges-agree-should-we-believe-them
11•Betelbuddy•1h ago•2 comments

Hacking AI customer service agents

https://www.intigriti.com/researchers/blog/hacking-tools/hacking-ai-customer-service-agents
31•snikolaev•1h ago•3 comments

An atlas of periodic solutions to the three-body problem

https://www.threebodyorbits.com/
239•danielmorozoff•2d ago•52 comments

Show HN: Is this photo edited? Client-side image forensics

https://vajba.com/image-forensics/
11•trivsamt•4d ago•1 comments

Show HN: Pelican-bicycle alternatives

https://gally.net/temp/20260914pelican-alternatives/index.html
57•tkgally•4h ago•23 comments

EuroBirdPortal – Live bird movements across Europe

https://www.eurobirdportal.org/ebp/en/
190•NKosmatos•9h ago•52 comments

A 386 PC for Your RP2350

https://github.com/rh1tech/frank-386
170•SamuraiLion•9h ago•52 comments

Cloudflare AKE cuts origin HelloRetryRequests from 52% to 3.7%

https://blog.cloudflare.com/automatic-key-exchange-for-origins/
3•iamsyr•27m ago•0 comments

Trying to Make a Loop Auto-Vectorize

https://jsgroth.dev/blog/posts/trying-to-make-a-loop-auto-vectorize/
27•zdw•4d ago•10 comments

Devil's Arrows: Ancient builders hauled 55k-lb stones 11 miles for UK stone row

https://www.sciencedaily.com/releases/2026/09/260909005152.htm
41•bookofjoe•3d ago•30 comments

How to write an effective software design document

https://refactoringenglish.com/excerpts/write-an-effective-design-doc/
237•fagnerbrack•4h ago•102 comments

Transitions.dev: UI transitions for AI agents

https://transitions.dev/
10•eustoria•2h ago•2 comments

Microsoft patches Windows and Excel – breaks audio, remote access, and paste

https://www.theregister.com/os-platforms/2026/09/14/microsoft-patches-windows-and-excel-breaks-au...
36•Alephinitesimal•1h ago•20 comments

OpenAI bots knew about the RubyGems caching vulnerability

https://tenderlovemaking.com/2026/09/11/what-a-time-to-be-alive/
150•gregnavis•4h ago•183 comments

Show HN: Kinesis – Control your Mac with the Meta Neural Band

https://github.com/callbacked/kinesis
100•callbacked•5h ago•30 comments