frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

New proof dramatically compresses space needed for computation

https://www.scientificamerican.com/article/new-proof-dramatically-compresses-space-needed-for-computation/
52•baruchel•2d ago

Comments

baruchel•2d ago
Without paywall: https://www.removepaywall.com/search?url=https://www.scienti...
trueismywork•3h ago
https://arxiv.org/abs/2502.17779

Link to paper

zerof1l•2h ago
Here's the gist:

For nearly 50 years theorists believed that if solving a problem takes t steps, it should also need roughly t bits of memory: 100 steps - 100bits. To be exact t/log(t).

Ryan Williams found that any problem solvable in time t needs only about sqrt(t) bits of memory: a 100-step computation could be compressed and solved with something on the order of 10 bits.

zombot•3m ago
> log(t)

log to what basis? 2 or e or 10 or...

Why do programmers have to be so sloppy?

12345ieee•2m ago
It doesn't matter in O() notation.
cyrillite•2h ago
One of my favourite sci comms YouTubers explained this in great detail https://youtu.be/8JuWdXrCmWg

Highly recommend

kristianp•1h ago
This seems very theoretical, just a lower bound on space required, without talking about what is being computed. Does it have any import on real algorithms?
wiz21c•1h ago
Lower bound tells you how much it's worth to improve the SOTA. It gives you a hint that you can do better.

So it's more like polar star. Maybe not directly practical, but it will lead tons of people in the right direction.

Gravityloss•1h ago
Thanks. I think the title is quite misleading then? I would have expected better from Scientific American.
kadoban•1h ago
> Does it have any import on real algorithms?

As-in algorithms you'll care about if you're a programmer and not overly interested in theory? Not really, no.

CommenterPerson•17m ago
It does have an impact. It wont give you stackoverflow like code to copy-paste though.

Analogy is thermodynamics says how efficient a heat engine _could_ be. If your engine is way below that you know there how much of an improvement there _could_ be, that it's not an impossible problem. That will get people to build better stuff.

bmacho•1m ago
[delayed]
mikewarot•1h ago
I get that this is an interesting theoretical proof. I'm more interested in the inverse, trading memory for time, to make things faster, even if they take more space. It seems to me the halting problem is almost a proof the inverse of this is impossible.

Memoization is likely the best you can do.

JohnKemeny•47m ago
Related:

For algorithms, a little memory outweighs a lot of time. 343 points, 139 comments, 39 days ago. https://news.ycombinator.com/item?id=44055347

You need much less memory than time. 126 points, 11 comments, 22 days ago. https://news.ycombinator.com/item?id=44212855

The provenance memory model for C

https://gustedt.wordpress.com/2025/06/30/the-provenance-memory-model-for-c/
39•HexDecOctBin•2h ago•3 comments

Gridfinity: The modular, open-source grid storage system

https://gridfinity.xyz/
197•nateb2022•8h ago•78 comments

The Plot of the Phantom, a text adventure that took 40 years to finish

https://scottandrew.com/blog/2025/06/you-can-now-play-plot-of-the-phantom-the-text-adventure-game/
19•SeenNotHeard•2d ago•1 comments

New proof dramatically compresses space needed for computation

https://www.scientificamerican.com/article/new-proof-dramatically-compresses-space-needed-for-computation/
54•baruchel•2d ago•13 comments

Cross-Compiling Common Lisp for Windows

https://www.fosskers.ca/en/blog/cl-windows
34•todsacerdoti•2d ago•1 comments

I made my VM think it has a CPU fan

https://wbenny.github.io/2025/06/29/i-made-my-vm-think-it-has-a-cpu-fan.html
564•todsacerdoti•22h ago•138 comments

Ask HN: What Are You Working On? (June 2025)

235•david927•16h ago•718 comments

NativeJIT: A C++ expression –> x64 JIT

https://github.com/BitFunnel/NativeJIT
56•nateb2022•9h ago•25 comments

A glob of 99M-year-old amber trapped a zombie fungus erupting from a fly

https://www.cnn.com/2025/06/24/science/amber-insect-zombie-fungi-fossil
62•jackgavigan•3d ago•21 comments

The $25k car is going extinct?

https://media.hubspot.com/why-the-25000-car-is-going-extinct
211•pseudolus•20h ago•520 comments

Cell Towers Can Double as Cheap Radar Systems for Ports and Harbors (2014)

https://spectrum.ieee.org/cell-tower-signals-can-improve-port-security
97•transpute•14h ago•45 comments

Revisiting Knuth's "Premature Optimization" Paper

https://probablydance.com/2025/06/19/revisiting-knuths-premature-optimization-paper/
140•signa11•4d ago•78 comments

Jane Austen's Boldest Novel Is Also Her Least Understood

https://www.nytimes.com/2025/06/27/books/review/jane-austen-mansfield-park.html
45•lermontov•2d ago•9 comments

Want to meet people, try charging them for it?

https://notes.eatonphil.com/2025-06-28-want-to-meet-people-charge-them.html
109•ArneVogel•6h ago•55 comments

Ultrasound toothbrush promises painless checks for hidden gum problems

https://phys.org/news/2025-06-ultrasound-toothbrush-painless-hidden-gum.html
39•PaulHoule•3d ago•17 comments

Use keyword-only arguments in Python dataclasses

https://chipx86.blog/2025/06/29/tip-use-keyword-only-arguments-in-python-dataclasses/
67•Bogdanp•11h ago•23 comments

Event – Fast, In-Process Event Dispatcher

https://github.com/kelindar/event
150•kelindar•21h ago•33 comments

Anticheat Update Tracking

https://not-matthias.github.io/posts/anticheat-update-tracking/
70•not-matthias•15h ago•23 comments

LetsEncrypt – Expiration Notification Service Has Ended

https://letsencrypt.org/2025/06/26/expiration-notification-service-has-ended/
135•zdw•7h ago•86 comments

Building untrusted container images safely at scale

https://depot.dev/blog/container-security-at-scale-building-untrusted-images-safely
18•Telstrom90•3d ago•9 comments

Many ransomware strains will abort if they detect a Russian keyboard installed (2021)

https://krebsonsecurity.com/2021/05/try-this-one-weird-trick-russian-hackers-hate/
311•air7•17h ago•173 comments

Touching the back wall of the Apple store

https://blog.lauramichet.com/touching-the-back-wall-of-the-apple-store/
199•nivethan•3d ago•157 comments

The Medley Interlisp Project: Reviving a Historical Software System [pdf]

https://interlisp.org/documentation/young-ccece2025.pdf
100•pamoroso•21h ago•11 comments

The Book of Shaders (2015)

https://thebookofshaders.com/
160•max_•3d ago•22 comments

To the Postbox

https://literaryreview.co.uk/to-the-postbox
7•Caiero•2d ago•0 comments

Nearly 20% of cancer drugs defective in four African nations

https://www.dw.com/en/nearly-20-of-cancer-drugs-defective-in-4-african-nations/a-73062221
136•woldemariam•13h ago•72 comments

Does Form Shape Function?

https://www.quantamagazine.org/does-form-really-shape-function-20250612/
9•lentoutcry•3d ago•0 comments

A rare asteroid flyby will happen soon, but NASA may be left on the sidelines

https://arstechnica.com/features/2025/06/trump-budget-kills-nasas-golden-opportunity-to-see-a-killer-asteroid-up-close/
21•rbanffy•1h ago•12 comments

Finding a former Australian prime minister’s passport number on Instagram (2020)

https://mango.pdf.zone/finding-former-australian-prime-minister-tony-abbotts-passport-number-on-instagram/
140•guiambros•14h ago•55 comments

Modelling API rate limits as diophantine inequalities

https://vivekn.dev/blog/rate-limit-diophantine
60•viveknathani_•3d ago•6 comments