News for hackers. Stuff that matters.

auroralimon

Re:Ask HN: SQLite in Production? on Saturday April 06, 2024 @06:23PM (#39956203)
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.
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
Re:Vernor Vinge (1944-2024) on Thursday March 21, 2024 @08:15PM (#39786021)
damn. one of the best SF books - a fire upon the deep - ever. RIP Vernor
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?

Consider: are all programs that don’t halt infinite loops?

Perhaps one which experiences exponential growth in some variable.

Re:Do McKinsey and other consultants do anything useful? on Friday March 15, 2024 @10:22AM (#39716077)
always seemed to me like McKinsey just provided hired brains, ones more clever than any the client could attract on their own.
Re:The quest to decode the Mandelbrot set on Saturday January 27, 2024 @01:29PM (#39158308)
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??
Kerosene lanterns. astoundingly solid.
Re:Why haven’t internet creators become superstars? on Friday July 14, 2023 @06:30PM (#36730805)
ol’ Vint Cerf has tried for years.
Re:Ask HN: Is one C Corp enough for multiple micro startups? on Monday December 12, 2022 @07:45AM (#33954068)
just use LLCs, much easier, one per startup. need almost no paperwork.
Operating Systems: Three Easy Pieces Book by Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau
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.
Re:Ask HN: What is your oldest possession? on Monday November 14, 2022 @07:42PM (#33603621)
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.
no time zones on date/&times? they should be added.
there lots of examples, in many languages, of Dijkstra’s Two Stack calculator. this one is in ?javascript? https://switzerb.github.io/imposter/algorithms/2021/01/12/di... a very elegant piece of code
Re:Intel iAPX 432 on Saturday August 13, 2022 @11:21AM (#32450697)
i have it’s programmers guide around here somewhere.
Re:Intel iAPX 432 on Saturday August 13, 2022 @11:20AM (#32450688)
no. i seem to recall only intel had a board in an S100(?) chassis? i think that’s the one i had access to.
Re:Intel iAPX 432 on Saturday August 13, 2022 @11:17AM (#32450664)
i remember trying to use it with an Ada compiler at school. I was the only person on campus who had Ada exposure, and it was a remarkably slow machine. Could not get out of its own way. Very ambitious in architecture but too slow and too far ahead of software at the time. i do not recall actually -running- any programs on it. There might have been a monitor running (not a real OS, just BIOS like shell thing)
Re:Readings on History of Unix? on Saturday June 04, 2022 @08:27PM (#31626646)
Kernighan’s history of unix, amazon has it, it might be print on demand “ UNIX: A History and a Memoir”
he was very clever; very smart - one of the smartest people I've ever met; he had pretty atrocious manners; and he didn't really "design" but rather reacted to a design, he had a very clear sense of what he thought was elegant, clean and clear; he never said "let's build this", he'd say that's crap, make it better; he'd say it's a beautiful birthday cake inside (the ideas within a product) but you've covered it in dog shit frosting (bad UI); his intuitive sense for clean design and clear usability was awesome. (and yes Woz is/was an enormous brain; able to "think in electronics" and express complex things with hardware) you will pry his company's products out of my dead, cold fingers; and he taught what it means to truly hate another human being.
The several times I have seen this tried, it usually devolves down to a bunch school students asking sex questions and other students posting outrageous (and often incorrect and harmful) answers. Best of luck, though.