frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Google's Liquid Cooling at Hot Chips 2025

https://chipsandcheese.com/p/googles-liquid-cooling-at-hot-chips
73•giuliomagnifico•1h ago•21 comments

Show HN: Base, an SQLite database editor for macOS

https://menial.co.uk/base/
336•__bb•5h ago•103 comments

Building the mouse Logitech won't make

https://samwilkinson.io/posts/2025-08-24-mx-ergo-mods
248•sammycdubs•4h ago•184 comments

What are OKLCH colors?

https://jakub.kr/components/oklch-colors
653•tontonius•13h ago•148 comments

Launch HN: April (YC S25) – Voice AI to manage your email and calendar

41•nehasuresh1904•3h ago•46 comments

A Small Change to Improve Browsers for Keyboard Navigation

https://b.43z.one/2025-07-22/
116•h43z•6h ago•35 comments

FCC Bars over 1,200 Providers for Non-Compliance with Robocall Protections

https://docs.fcc.gov/public/attachments/DOC-414073A1.txt
233•impish9208•3h ago•135 comments

A visual introduction to big O notation

https://samwho.dev/big-o/
126•samwho•1d ago•60 comments

How to Make Things Slower So They Go Faster

https://www.gojiberries.io/how-to-make-things-slower-so-they-go-faster-a-jitter-design-manual/
75•neehao•1d ago•20 comments

Meta just suspended the Facebook account of Neal Stephenson

https://twitter.com/nealstephenson/status/1959759051732213812
14•SLHamlet•7m ago•1 comments

Playing every game of Wordle simultaneously

https://chriskw.xyz/2025/08/24/Hyper-Wordle/
7•chriskw•1d ago•2 comments

What Is a Color Space?

https://www.makingsoftware.com/chapters/color-spaces-models-and-gamuts
106•vinhnx•7h ago•18 comments

Ban me at the IP level if you don't like me

https://boston.conman.org/2025/08/21.1
471•classichasclass•15h ago•334 comments

The MiniPC Revolution

https://jadarma.github.io/blog/posts/2025/08/the-minipc-revolution/
69•ingve•2h ago•84 comments

IBM's Power11 Processor Architecture at Hot Chips 2025

https://www.servethehome.com/ibms-power11-processor-architecture-at-hot-chips-2025/
40•ksec•1h ago•28 comments

An Illustrated Guide to OAuth

https://www.ducktyped.org/p/an-illustrated-guide-to-oauth
235•egonschiele•7h ago•45 comments

Show HN: Stagewise – frontend coding agent for real codebases

https://stagewise.io/
14•glenntws•2h ago•5 comments

With AI chatbots, Big Tech is moving fast and breaking people

https://arstechnica.com/information-technology/2025/08/with-ai-chatbots-big-tech-is-moving-fast-a...
21•rntn•1h ago•22 comments

Scamlexity: When agentic AI browsers get scammed

https://guard.io/labs/scamlexity-we-put-agentic-ai-browsers-to-the-test-they-clicked-they-paid-th...
162•mindracer•12h ago•147 comments

Temporary suspension of acceptance of mail to the United States

https://www.post.japanpost.jp/int/information/2025/0825_01_en.html
212•Kye•1h ago•196 comments

How to Fix Your Context

https://www.dbreunig.com/2025/06/26/how-to-fix-your-context.html
27•itzlambda•1d ago•12 comments

SmallJS: Smalltalk-80 that compiles to JavaScript

https://small-js.org/Home/Home.html
121•mpweiher•1d ago•28 comments

Omarchy Is Out

https://world.hey.com/dhh/omarchy-is-out-4666dd31
150•kristianp•1d ago•77 comments

Agent-C: a 4KB AI agent

https://github.com/bravenewxyz/agent-c
96•liszper•8h ago•72 comments

Git-Annex

https://git-annex.branchable.com/
196•keepamovin•15h ago•50 comments

Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)

https://www.theguardian.com/science/2017/aug/24/mathematical-secrets-of-ancient-tablet-unlocked-a...
47•surement•22h ago•33 comments

Busy beaver hunters reach numbers that overwhelm ordinary math

https://www.quantamagazine.org/busy-beaver-hunters-reach-numbers-that-overwhelm-ordinary-math-202...
204•defrost•2d ago•76 comments

We put a coding agent in a while loop

https://github.com/repomirrorhq/repomirror/blob/main/repomirror.md
378•sfarshid•1d ago•268 comments

Standard Thermal: Energy Storage 500x Cheaper Than Batteries

https://austinvernon.site/blog/standardthermal.html
204•pfdietz•7h ago•195 comments

Prediction-Encoded Pixels image format

https://github.com/ENDESGA/PEP
21•msephton•8h ago•6 comments
Open in hackernews

Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)

https://www.theguardian.com/science/2017/aug/24/mathematical-secrets-of-ancient-tablet-unlocked-after-nearly-a-century-of-study
47•surement•22h ago

Comments

nyc111•6h ago
More detailed video of Plimpton 322 from the authors of the paper https://youtu.be/L24GzTaOll0?si=sNdwKiM7uYXbzVfL
kragen•5h ago
It's probably worth adding the context that Wildberger's agenda is to ground mathematics in integers and rational numbers, eliminating those pesky irrationals Euclid introduced, because reasoning about them invariably involves infinities or universal quantifiers, which everyone agrees are tricky and error-prone, even if they don't agree with Wildberger's radical variety of finitism. So he was delighted to find a kindred spirit millennia ago in the Plimpton 322 scribe and, presumably, the entire Babylonian mathematical tradition.

cf. https://en.wikipedia.org/wiki/Divine_Proportions:_Rational_T...

7thaccount•4h ago
How do we do things like electrical engineering without imaginary numbers? Is this method an actual improvement?
michaelsbradley•4h ago
imaginary numbers are not the same thing as irrational numbers
vlovich123•3h ago
How do you rationalize pi or e?
aarestad•3h ago
By fiat, of course. :) (e.g. https://en.wikipedia.org/wiki/Indiana_pi_bill)
empath75•3h ago
You don't. He basically defines numbers like pi and e not as numbers, but as iterative functions, which you can run to whatever level of accuracy that you want. It's sort of a silly argument, because _all_ numbers can be treated like the output of a function, including the real numbers, so he has basically smuggled in all reals through the back door, because any real number can just be thought of as a function with increasingly precise return values with an infinitely long description, just like pi is.
MarkusQ•2h ago
You can't get all the reals that way. The reals that can be produced by an algorithm make up a vanishingly small (e.g. countable) subset. Almost all of the reals are inexpressible.
LPisGood•1h ago
To an ultrafinitist, there is no such thing as a number that is inexpressible.
kragen•22m ago
Right, but to be clear, it's not that ultrafinitists like Wildberger believe that they can express all the real numbers; rather, they believe that those inexpressible real numbers don't actually exist.
vlovich123•12m ago
How does that work for calculus which regularly looks at the limits of functions as x approaches infinity and has very real real world applications that stem from such algorithms?
empath75•3h ago
He doesn't work with imaginary numbers, either. He treats complex numbers as matrices of rationals.
numpy-thagoras•1h ago
Which is the same thing for all intents and purposes.

An ultrafinitist is still allowed to call that 'i'.

7thaccount•12m ago
I never said they were, but could've sworn that the Wikipedia page or parent comment did (I can't find it now and am questioning my sanity). I couldn't understand how he could try to get rid of them, although this isn't surprising as mathematics is basically magic to me once you get past calculus. I guess this is only about removing irrationals though.
fuzzfactor•2h ago
Electricity has always been standing by to do the same things regardless of how far your imagination wanders away from where it started.
clickety_clack•2h ago
Electricity is not standing by, it is malevolently trying to burn out your equipment. If you allow your imagination run too far it’ll heat up your equipment and burn it out. You need to increase your capacity to keep your imagination in check.
numpy-thagoras•1h ago
Imaginary numbers, quaternions, octonions, Clifford Algebras, etc. can still have finite expressions.

After all, the Cayley-Dickson construction is not an infinite affair.

LeifCarrotson•3h ago
Thanks for the context - I was baffled at first how the Guardian would run with the tagline "a trignometric table more accurate than any".

But it's because the sine of 60 degrees is said by modern tables to be equal to sqrt(3) / 2, which Wildberger doesn't "believe in", he prefers to state that the square of the sine is actually 3 / 4 and that this is "more accurate".

The actual paper is at [1]:

[1] https://doi.org/10.1016/j.hm.2017.08.001

margalabargala•3h ago
> But it's because the sine of 60 degrees is said by modern tables to be equal to sqrt(3) / 2, which Wildberger doesn't "believe in", he prefers to state that the square of the sine is actually 3 / 4 and that this is "more accurate".

Personally I don't believe in either value. I prefer to state that the sine of 60 degrees is 2.7773. I believe that is more accurate.

kragen•2h ago
Well, no, if you look at a trigonometric table, it doesn't say sin 60° = √3/2, because that isn't a useful value for calculation. It'll say something like 0.866025. But that has an error of a little more than 0.0000004. Instead Wildberger prefers saying that the spread (sin²) is ¾, which has no error. It is more accurate. There's no debate about this, except from margalabargala.

The news from this paper (thanks for the link!) is that evidently the Babylonians preferred that, too. Surely Pythagoras would have.

But how do you actually do anything useful with this ratio ¾? Like, calculating the height of a ziggurat of a given size whose sides are 60° above the horizontal? Well, that one in particular is pretty obvious: it's just the Pythagorean theorem, which lets you do the math precisely, without any error, and then at the end you can approximate a linear result by looking up the square root of the "quadrance" in a table of square roots, which the Babylonians are already known for tabulating.

For more elaborate problems, well, Wildberger wrote the book on that. Presumably the Babylonians had books on it too.

amai•2h ago
What does Wildberger then think about i = sqrt(-1)? Is this also "not accurate" enough?
numpy-thagoras•1h ago
Ultrafinitism does not rule out higher algebraic structures
vessenes•3h ago
Thank you for this expansion. I was about to rabbit hole on how it could be that ratio-based trig (and what is that?) is more accurate than modern calculations.

Re: rationals, I mean there's an infinite number of rationals available arbitrarily near any other rational, that has to mean they are good enough for all practical purposes, right?

kragen•2h ago
That "density" is how Euclid defined the irrational real numbers in terms of the rationals; his definition, cast into modern language by Dedekind, is what we normally use today.
dansmyers•2h ago
If you're interested in ancient math, take a look at Eleanor Robson's accessible paper on the Plimpton 322 tablet:

https://scispace.com/pdf/words-and-pictures-new-light-on-pli...

Robson's argument is that it isn't a trig table in the modern sense and was probably constructed as a teacher's aide for completing-the-square problems that show up in Babylonian mathematics. Other examples of teaching-related tablets are known to exist.

On a quick scan, it looks like the Wildberger paper cites Robson's and accepts the relation to the completing-the-square problem, but argues that the tablet's numbers are too complex to have been practical for teaching.

numpy-thagoras•1h ago
Alright, I'll bite:

To defend Wildberger a bit (because I am an ultrafinitist) I'd like to state first that Wildberger has poor personal PR ability.

Now, as programmers here, you are all natural ultrafinitists as you work with finite quantities (computer systems) and use numerical methods to accurately approximate real numbers.

An ultrafinitist says that that's really all there is to it. The extra axiomatic fluff about infinities existing are logically unnecessary to do all the heavy lifting of the math that we are familiar with. Wildberger's point (and the point of all ultrafinitist claims) is that it's an intellectual and pedagogical disservice to teach and speak of, e.g. Real Numbers, as if they're actually involving infinite quantities that you can never fully specify. We are always going to have to confront the numerical methods part, so it's better to make teaching about numbers methodologically aligned with how we actually measure and use them.

I have personally been working on building various finite equivalents to familiar math. I recommend anyone to read Radically Elementary Probability Theory by Nelson to get a better sense of how to do finite math, at least at the theoretical level. Once again, on a practical level to do with directly computing quantities, we've only ever done finite math.

kevin_thibedeau•53m ago
> numbers methodologically aligned with how we actually measure and use them.

We use numbers in compact decimal approximations for convenience. Repeated rational series are cumbersome without an electronic computer and useless for everyday life.

numpy-thagoras•50m ago
The point is not about restricting what notational conveniences you prefer.

The point is to not confuse the notational convenience with the underlying concept that makes such numbers comprehensible in the first place.

dr_dshiv•34m ago
So what is the length of the diagonal of a unit square, if not square root of 2? It can’t be rational—how is that rationalized by Wildberger?
numpy-thagoras•10m ago
Read Wildberger if you want to know what he thinks.

I can tell you that it is the output of a function, not a distinct entity that exists on its own independently of the computation.

The whole point is that as a theory for the foundations of mathematics, you do not need to assume numbers with infinitely long decimal expansions in order to do math.

ants_everywhere•8m ago
I like to imagine at the end of the human race when the sun explodes or whatever, some angelic being will tally up all the numbers ever used by humans and confirm that there are only finitely many of them. Then they'll chalk a tally on the scoreboard in favor of the ultrafinitists.

As long as someone isn't a crank (e.g. they aren't creating false proofs) I enjoy the occasional outsider.

numpy-thagoras•1m ago
Heh that's about the only place and time when we'll know for sure, and until then, it's just high-grade banter :)
rubycollect4812•39m ago
>”He bought it from Edgar Banks, a diplomat, antiquities dealer and flamboyant amateur archaeologist said to have inspired the character of Indiana Jones – his feats included climbing Mount Ararat in an unsuccessful attempt to find Noah’s Ark – who had excavated it in southern Iraq in the early 20th century.”

A little off-topic, but as a non native English speaker this sentence in the article made me look up whether there’s scientific consensus that Noah’s Ark has been found and I’d just never heard about it. Turns out there isn’t, and the end of the sentence actually refers to the tablet. Was still a fun rabbit hole to go down.