Hacker News new | past | comments | ask | show | jobs | submit | more gralx's comments login

For me it was Windows 10 forcing itself onto user machines for months after launch, even permanently destroying user data to do so.¹ Oh, and the 260 character NTFS path limit, which bit me in surprising ways (MS published a reg hack to get around this on Windows 10², and I used rsync on MSYS2 to recover inaccessible data on Windows 7). I had been optimistic about W10 until then.

¹https://www.theverge.com/2016/6/27/12046738/microsoft-pays-1...

²https://docs.microsoft.com/en-us/windows/win32/fileio/maximu...


Yes, it is. John von Neumann memorized math formulas. Keats memorized Shakespeare. The whole of Homer's work is oral story-telling passed down through generations of memorizers. There is a World Memory Championships.

You would probably like Joshua Foer's book Moonwalking with Einstein.

Developing memory is not a panacea for intelligence or a replacement for sound thinking. Some elite memory athletes assert that they're not that smart and attribute their success only to working very hard at memorizing.


Von Neumann had a memory that was considered exceptional even amongst those of the various geniuses of his time. He's one of very few humans regarded as having had close to a photographic memory.


Yup! And it was no genetic accident. He practiced hard.


Come on. Read what Von Neumann could do since a young age. He memorized eight volumes of the most comprehensive History of the World textbook of the time. He remembered every date, every name, every place and the page where they appeared. If I remember correctly, while doing his Math PhD he took an interest in Chemical Engineering and studied the whole degree in two weeks. Very smart but normal people take 4-6 years to do the same. I don't know you, but I find the denial of inborn talent very cruel: "See, the reason you can't understand fraction in 11th grade is because you haven't worked hard enough otherwise you would be von Neumann". As someone who started tutoring younger people in the last year of high school I've found plenty of lazy smart who need a push and plenty of stupid hard workers who suffered while unable to understand the material.


Once you read a little deeper, you'll discover that Johnny's father had him tutored privately from early childhood by some of the greatest minds in Hungary at the time, and during a real golden era for academia in that country. He literally practiced memorization.

The alternative explanation is magic. Take your pick.


ya i aint never heard the term b4 neither. colorful. wonder if middlebrow refers to furrowing between teh browz??>


That's certainly an idea.


I suspect it went into the settlement payment. Wouldn't it be ironic if so many principled advocates of open source and supporters of the GNOME project had their funds paid directly to a patent troll by GNOME themselves?


GNOME did not pay in the original settlement.

- "I can confirm that we have not paid RPI or Leigh Rothschild for this settlement."

https://news.ycombinator.com/item?id=23264806


> not paid RPI or Leigh Rothschild for this settlement

That statement still leaves a lot of people that they could have paid for that settlement (or paid RPI/Leigh for a different settlement).


Probably paid the troll's lawyer, instead. Which is of course also the troll.


If I remember right this website's reporters are banned from Apple promotional events because of their earnest (and colorful) reviews of Apple products. Humor reminds me of The Register.


> ... one hallmark of a bubble about to collapse is fraud running rampant.

Famous shortseller Jim Chanos says the same.


As a fellow user of Google Maps, I'd gladly give up those features to make the roads a little safer. You have different priorities.


Yes but what I mentioned does not require any interaction, it still does change the route to a faster one without having to do anything. I don't see how that makes a difference in safety?

I am not worried about people using a GPS on the road, I am worried about the people I've seen who are scrolling through their social media feeds and watching videos that play in the feeds and everything. Or the people sending big text messages, the people who are having conversations with passengers and for some reason always have to look at the person to speak rather than keeping their eyes on the road, etc....


> Yes but what I mentioned does not require any interaction, it still does change the route to a faster one without having to do anything. I don't see how that makes a difference in safety?

It makes a difference for people (like myself) who very much don't want the route to change automatically. It means that some attention has to be paid to the app so you can tap the screen in time to make it stop, and it means that you have a time-limited action that you must perform. Two things that add to the cognitive load and distraction.


Yes, but the OP of this comment thread you tagged along on said they preferred it the other way:

> No, I don't need a pop-up if you want to reroute me around an accident. If it's faster - just reroute me, if it's not - don't.

That is what I am addressing. That it already does automatic rerouting without user interaction being required.


Read Leslie Lamport's Specifying Systems (2003),¹ study the example modules, study others' modules online, and write your own. It's a really good way to bug test your program's logic before you choose the language to code it in. It's not easy to learn, but you can build functional prototypes fast once you learn it. A gentle introduction is Scott Wlaschin's 2020 YouTube video "Building confidence in concurrent code using a model checker".²

¹ https://lamport.azurewebsites.net/tla/book-02-08-08.pdf

² https://www.youtube.com/watch?v=tqwcz-Yt9gQ


great thank you so much! I'll check it out


Lamport has published a TLA+ spec of the Paxos consensus algorithm¹, but none I could find of the Paxos algorithm itself (aka multi-Paxos).

In 2016 some academics at Stony Brook University did, along with a machine-checked TLAPS proof, updated in 2019:

https://arxiv.org/abs/1606.01387

¹Paxos consensus refines specs for consensus and voting. See the spec and accompanying material here: https://lamport.azurewebsites.net/tla/paxos-algorithm.html


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: