Recent submissions

Comment · 2 years ago
there are tens of thousands of apps that use it, for billions of instances; most all of the most popular apps use it in some fashion. it’s a beast.
Comment · 2 years ago
then you have added nothing to the problem. of course if you run the program and it halts, even if runs until T+heatdeathofuniverse^googleplex (which is a finite time) without an infinite loop, you have not solved the conundrum implied by Turing’s work. Turing proved no algorithm exists that always correctly decides whether, for a given arbitrary program and input, the program halts when run with that input. The essence of Turing's proof is that any such algorithm can be made to produce contradictory output and therefore cannot be correct. He proved it - QED
Comment · 2 years ago
damn. one of the best SF books - a fire upon the deep - ever. RIP Vernor
Comment · 2 years ago
So what about a chaotic function like: (assume x is 64bit float)

x = 0.035876; while true { x = 3.5699456 * x * (1 - x); if x == rand() break; } does it halt?

Comment · 2 years ago
Consider: are all programs that don’t halt infinite loops?

Perhaps one which experiences exponential growth in some variable.

Comment · 2 years ago
always seemed to me like McKinsey just provided hired brains, ones more clever than any the client could attract on their own.
Comment · 2 years ago
i’ve often wondered if mandelbrot is what you get when you do a simple quadratic iterator in complex numbers, what are the comparable sets for quaternions and octonions??
Comment · 3 years ago
Kerosene lanterns. astoundingly solid.
Comment · 3 years ago
ol’ Vint Cerf has tried for years.
Comment · 3 years ago
just use LLCs, much easier, one per startup. need almost no paperwork.
Comment · 4 years ago
Operating Systems: Three Easy Pieces Book by Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau
Comment · 4 years ago
xv6 is a terrific project to grok the basics of Unix. very readable and gives you syscalls, context switching, and kernel/user space dichotomy. I also like 3EasyPieces from the couple at Madison (UWisc) - can’t remember their name just now.
Comment · 4 years ago
i have a desk, built about 1720, in PA i bought with quite a bit of filthy lucre from one of my IPOs. use it most days.
Comment · 4 years ago
no time zones on date/&times? they should be added.
Comment · 4 years ago

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton