frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Printable Puzzles by KrazyDad

https://krazydad.com/
1•surprisetalk•36s ago•0 comments

Things You Don't Have to Do

https://quarter--mile.com/Things-You-Don-t-Have-to-Do
1•surprisetalk•44s ago•0 comments

Deml: The Directed Acyclic Graph Elevation Markup Language

https://github.com/Mcmartelle/deml
1•todsacerdoti•1m ago•0 comments

Codes of Conduct in Open Source

https://dropletdrift.com/codes-of-conduct-in-open-source/
1•skilled•1m ago•0 comments

More than half the forests fragmented in 20 years – but protection works

https://news.mongabay.com/2025/09/more-than-half-the-worlds-forests-fragmented-in-20-years-but-pr...
1•PaulHoule•2m ago•0 comments

Building a retrieval API to search my Obsidian vault from LibreChat

https://laurentcazanove.com/blog/obsidian-rag-api
1•Strift•2m ago•0 comments

Minimalist LLM OS Watch

https://www.aris.chat/rist-waitlist
1•andrewdug•3m ago•1 comments

Setting up my federated fleamarket with flohmarkt

https://neilzone.co.uk/2024/10/setting-up-my-federated-fleamarket-with-flohmarkt/
1•nogajun•4m ago•0 comments

It's time to prepare for AI personhood

https://www.theguardian.com/commentisfree/2025/sep/30/artificial-intelligence-personhood
1•ryan_j_naughton•5m ago•0 comments

Samsung Pilots Making Its Smart Fridges Billboards After People Bought Them

https://www.techdirt.com/2025/09/29/samsung-pilots-making-its-smart-fridges-billboards-after-peop...
1•speckx•5m ago•0 comments

IBM and Vanguard explore quantum optimization for finance

https://www.ibm.com/quantum/blog/vanguard-portfolio-optimization
1•rbanffy•5m ago•0 comments

Custom LNAddress with Self-Hosted AlbyHub

https://emre.xyz/posts/custom-lnaddress/
1•delirehberi•7m ago•0 comments

Spotify founder Daniel Ek is stepping down as CEO

https://www.theverge.com/news/788278/spotify-founder-daniel-ek-stepping-down-ceo-executive-chairman
1•chanux•8m ago•0 comments

Amazon and Google tip off Jensen Huang before announcing their AI chips

https://www.tomshardware.com/tech-industry/amazon-and-google-tip-off-jensen-huang-before-announci...
3•mandeepj•9m ago•0 comments

The Software Essays That Shaped Me

https://refactoringenglish.com/blog/software-essays-that-shaped-me/
2•mtlynch•11m ago•0 comments

Show HN: Spot Canvas – AI-Powered trading charts for learning and automating TA

https://spotcanvas.com
3•anssip•13m ago•0 comments

Show HN: AI OCR API that handles complex IDs, like Brazil's many card types

https://www.100ocrapi.com/
1•draculazmm•13m ago•0 comments

First mushroom-powered toilet could replace stinky porta-potties

https://www.popsci.com/environment/first-mushroom-powered-toilet/
1•latexr•13m ago•0 comments

Fedora's Balancing Act: New Guidelines on Vibe Coding Contributions

https://news.itsfoss.com/fedora-ai-guidelines/
1•losgehts•15m ago•0 comments

The Importance of Good Hospitals for the Community

https://estimateproperty.blogspot.com/2025/09/the-importance-of-good-hospitals-for.html
1•ashterioshjmn•15m ago•0 comments

Switching Back to Jekyll and Building My Own CMS

https://kevquirk.com/blog/switching-back-to-jekyll-building-my-own-cms/
2•speckx•16m ago•0 comments

Show HN: Fun Personal Website Maker

https://straw.page
3•okozzie•17m ago•0 comments

Kinc – Kubernetes in a Container

https://github.com/T0MASD/kinc
1•TomasD•17m ago•1 comments

China's 96-core x86 to rival EPYC and Xeon up to 384 cores on single motherboard

https://www.tomshardware.com/pc-components/cpus/chinas-96-core-cpu-taps-chiplet-design-to-rival-a...
2•rbanffy•17m ago•0 comments

Why is Claude Sonnet 4.5 so good at agentic coding?

https://artificialdebrief.substack.com/p/claude-sonnet-45-slow-and-steady
1•pietz•18m ago•0 comments

Show HN: Your Next Game – A Game Recommendation web app

https://yournextgame.netlify.app
1•wasivis•19m ago•0 comments

YouTube to pay $24.5M to settle Trump lawsuit

https://www.dw.com/en/youtube-to-pay-245-million-to-settle-trump-lawsuit/a-74182224
2•gwd•22m ago•0 comments

Microsoft and Corintis Champion Microfluidics Cooling Pioneered by IBM

https://www.nextplatform.com/2025/09/26/microsoft-and-corintis-champion-microfluidics-cooling-pio...
1•rbanffy•23m ago•0 comments

Show HN: Float – AI Slack layer that handles busywork (1-click setup, free)

https://website.float-chat.com/
2•FloatAIMsging•23m ago•0 comments

The Secret Life of a SQLite Local-First Value

https://marcobambini.substack.com/p/the-secret-life-of-a-local-first
1•marcobambini•23m ago•0 comments
Open in hackernews

How has mathematics gotten so abstract?

https://lcamtuf.substack.com/p/how-has-mathematics-gotten-so-abstract
56•thadt•1h ago

Comments

thadt•1h ago
This reminds of of that one time when I was on a date with a girl from the history department who somehow bemusedly sat through my entire mini-lecture on comparing infinite sets. Twenty years and three kids later, she'll still occasionally look me straight in the eye and declare "my infinity is bigger than your infinity."
dcchuck•1h ago
This is the type of romcom I'd watch ;)
grues-dinner•34m ago
Fittingly this is roughly the same vintage as your relationship then: https://youtu.be/BipvGD-LCjU
wvlia5•44s ago
Once I taught the binomial coefficient formula to a girl after sex
bmitc•1h ago
What else is it supposed to do?
doe88•1h ago
My mental representation of this phenomenon is like inverted Russian dolls: you start by learning the inner layers, the basics, and as you mature, you work your way into more abstractions, more unified theories, more structures, adding layers as you learn more and more. Adding difficulty but this extreme refinement is also very beautiful. When studying mathematics I like to think of all these steps, all the people, and centuries of trial and errors, refinements it took to arrive where we are now.
hodgehog11•54m ago
I feel like a great deal more credit should be given to Cauchy and his school, but I understand the tale is long enough.

The Peano axioms are pretty nifty though. To get a better appreciation of the difficulty of formally constructing the integers as we know them, I recommend trying the Numbers Game in Lean found here: https://adam.math.hhu.de/

Tazerenix•53m ago
>Today, mathematics is regarded as an abstract science.

Pure mathematics is regarded as an abstract science, which it is by definition. Arnol'd argued vehemently and much more convincingly for the viewpoint that all mathematics is (and must be) linked to the natural sciences.

>On forums such as Stack Exchange, trained mathematicians may sneer at newcomers who ask for intuitive explanations of mathematical constructs.

Mathematicians use intuition routinely at all levels of investigation. This is captured for example by Tao's famous stages of rigour (https://terrytao.wordpress.com/career-advice/theres-more-to-...). Mathematicians require that their intuition is useful for mathematics: if intuition disagrees with rigour, the intuition must be discarded or modified so that it becomes a sharper, more useful razor. If intuition leads one to believe and pursue false mathematical statements, then it isn't (mathematical) intuition after all. Most beginners in mathematics do not have the knowledge to discern the difference (because mathematics is very subtle) and many experts lack the patience required to help navigate beginners through building (and appreciating the importance of) that intuition.

The next paragraph about how mathematics was closely coupled to reality for most of history and only recently with our understanding of infinite sets became too abstract is not really at all accurate of the history of mathematics. Euclid's Elements is 2300 years old and is presented in a completely abstract way.

The mainstream view in mathematics is that infinite sets, especially ones as pedestrian as the naturals or the reals, are not particularly weird after all. Once one develops the aforementioned mathematical intuition (that is, once one discards the naive, human-centric notion that our intuition about finite things should be the "correct" lens through which to understand infinite things, and instead allows our rigorous understanding of infinite sets to inform our intuition for what to expect) the confusion fades away like a mirage. That process occurs for all abstract parts of mathematics as one comes to appreciate them (expect, possibly, for things like spectral sequences).

pdpi•34m ago
> Pure mathematics is regarded as an abstract science, which it is by definition.

I'd argue that, by definition, mathemtatics is not, and cannot be, a science. Mathematics deals with provable truths, science cannot prove truth and must deal falsifiability instead.

tiahura•24m ago
Mathematics is a science of formal systems. Proofs are its experiments, axioms its assumptions. Both math and science test consistency—one internally, the other against nature. Different methods, same spirit of systematic inquiry.
myrmidon•19m ago
You could turn the argument around and say that math must be a science because it builds on falsifiable hypotheses and makes testable predictions.

In the end arguing about whether mathematics is a science or not makes no more sense than bickering about tomates being fruit; can be answered both yes and no using reasonable definitions.

TimPC•10m ago
In general you aren't testing as an empiricist though, you are looking for a rational argument to prove or disprove something.
pdpi•3m ago
> In the end arguing about whether mathematics is a science or not makes no more sense than bickering about tomates being fruit

That's the thing, though — It does make sense, and it's an important distinction. There is a reason why "mathematical certainty" is an idiom — we collectively understand that maths is in the business of irrefutable truths. I find that a large part of science skepticism comes from the fundamental misunderstanding that science is, like maths, in the business of irrefutable truths, when it is actually in the business of temporarily holding things as true until they're proven false. Because of this misunderstanding, skeptics assume that science being proven wrong is a deathblow to science itself instead of being an integral part of the process.

The_suffocated•12m ago
Somewhat tangential to the discussion: I have once read that Richard Feynman was opposed to the idea (originally due to Karl Popper) that falsifiability is central to physics, but I haven't read any explanation.
AlexandrB•8m ago
Mathematical "truth" all depends on what axioms you start with. So, in a sense, it doesn't prove "truth" either - just systemic consistency[1] given those starting axioms. Science at least grapples with observable phenomena in the universe.

[1] And even this has limits: https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theor...

GLdRH•2m ago
He probably means science in a wider sense as opposed to the anglo-american narrower sense where science is just physics, chemistry, biology and similar topics.
ndriscoll•33m ago
Not only is intuition important (or the entire point; anyone with some basic training or even a computer can follow rules to do formal symbol manipulation. It's the intuition for what symbol manipulation to do when that's interesting), but it is literally discussed in a helpful, nonjudgmental way on Math Stack Exchange. e.g.

https://math.stackexchange.com/questions/31859/what-concept-...

Other great sources for quick intuition checks are Wikipedia and now LLMs, but mainly through putting in the work to discover the nuances that exist or learning related topics to develop that wider context for yourself.

rob74•31m ago
How has mathematics gotten so abstract? My understanding was that mathematics was abstract from the very beginning. Sure, you can say that two cows plus two more cows makes four cows, but that already is an abstraction - someone who has no knowledge of math might object that one cow is rarely exactly the same as another cow, so just assigning the value "1" to any cow you see is an oversimplification. Of course, simple examples such as this can be translated into intuitive concepts more easily, but they are still abstract.
TuringTest•3m ago
[delayed]
jjgreen•26m ago
The number 1 is what a cow, a fox, a stone ... have in common, oneness. Mathematics is abstraction, written down.
intrasight•22m ago
There was a time, not that long ago in human history, that zero was "so abstract".
dist-epoch•2m ago
It was a religious offense to talk about zero.

https://cambriamathtutors.com/zero-christianity/

fidotron•18m ago
Unlike Zeno's famous example the paradox which does better at explaining the problem is https://en.wikipedia.org/wiki/Coastline_paradox which Mandelbrot seemed particularly keen on.

The tendency towards excessive abstraction is the same as the use of jargon in other fields: it just serves to gatekeep everything. The history of mathematics (and science) is actually full of amateurs, priests and bored aristocrats that happened to help make progress, often in their spare time.

azan_•15m ago
Theirs no such thing as excessive abstraction in math, because abstraction is the point. Is category theory “excessive abstraction” in your opinion?
elAhmo•13m ago
Isn't this true for many other fields of study?

Given the collective time put into it, easier stuff was already solved thousands of years ago, and people are not really left with something trivial to work on. Hence focusing on more and more abstract things as those are the only things left to do something novel.

dist-epoch•5m ago
You are right, the low hanging fruits were picked a long time ago.

But also wrong, the easier stuff was solved INCORRECTLY thousands of years ago. But it takes advanced math to understand what was incorrect about it.

iamwil•13m ago
It's always been abstract. They'll say to me, "Give me a concrete example with numbers!"

I get what they're saying in practice. But numbers are abstract. They only seem concrete because you'd internalized the abstract concept.

falcor84•11m ago
I found it a bit ironic that the author introduced C code there as an aid, but didn't incorporate it into their argument. As I see it, code is exactly the bridge between abstract math and the empirical world - the process of writing code to implement your mathematical structure and then seeing if it gives you the output you expect (or better yet, with Lean, if it proves your proposition) essentially makes math a natural science again.
aristofun•4m ago
How has blog posts authors gotten so uneducated or/and clickbaiting?

Math in its core has always been abstract. It’s the whole point.