Readit News logoReadit News
jonsen commented on Truth Functional Logic for Hackers   lagomor.ph/2025/02/truth-... · Posted by u/ChilledTonic
nvader · 9 months ago
In this blog article from 2021, I warn about making this change without appropriate care, as it has been a source of common bugs: https://danverbraganza.com/writings/de-morgans-flaw-perform-...
jonsen · 9 months ago
> At every place X in the following expression, introduce a boolean negation if there isn’t one (or, equivanently remove one if there is), and

I think it should read:

At every place X in the following expression, introduce a boolean negation if there isn’t one and remove one if there is, and

Maybe even better:

At every place X in the following expression, introduce a boolean negation. If you get two concecutive NOT's, they can be removed.

Next, I don't see how

  timespent <= duration
is the negation of

  duration > time_spent

?

jonsen commented on The Pentium contains a complicated circuit to multiply by three   righto.com/2025/03/pentiu... · Posted by u/Tomte
russdill · 10 months ago
For most assembly, I'm not sure how this has an advantage over two adds.
jonsen · 10 months ago
A shift is faster than an add.
jonsen commented on Boom XB-1 First Supersonic Flight [video]   youtube.com/watch?v=-qisI... · Posted by u/rayhaanj
gopalv · a year ago
NYC to LA in 3 hours would be an 8 AM flight which would land at 8 AM, same day.

Just mind boggling to think of, no trouble finding 100 people daily who want to do a day-trip to California.

jonsen · a year ago
Once I flew north-west at the time of sunset. I had the view of the most beautiful big red sun right at the edge a sea of snow white clouds for more than an hour.
jonsen commented on The Innumeracy of the Rulers   someweekendreading.blog/m... · Posted by u/ColinWright
jonsen · a year ago
> The vote was 136 for and 70 against.

Amazing that apparently noone just realizes that 136 is less than the double of 70.

jonsen commented on Reverse engineering the 59-pound printer onboard the Space Shuttle   righto.com/2024/08/space-... · Posted by u/chmaynard
jonsen · a year ago
?: "Since the word processor was irrelevant to the Shuttle, I wonder why this card wasn't removed to reduce weight."

!: "We obtained access to a Shuttle teleprinter (probably a development system that remained on the ground)"

jonsen commented on I rewired my brain to become fluent in math (2014)   nautil.us/how-i-rewired-m... · Posted by u/ColinWright
UncleOxidant · 2 years ago
He is doing some grand work.
jonsen · 2 years ago
Granted.
jonsen commented on Pencil Talk   penciltalk.org/... · Posted by u/bookofjoe
vinodhn · 2 years ago
+1 for the GraphGear 1000. Had one for about 8 years before I dropped it and broke the tip. Definitely my favorite pencil. Ordered a replacement off Amazon and hit the jackpot as they sent me a whole box of them rather than just a single one lol. I've now got more than enough GG1000s for my lifetime.
jonsen · 2 years ago
I once needed a special blade for my saw. They only offered a 3-pack so I ordered that, and received 3 3-packs.

I don't know, but I felt that I should report it. Fiddled around for som time on their reporting pages, but absolutely no way to report that kind of error.

Are you in my neighborhood? You can have 3 saw blades for one GG1000 ;-)

jonsen commented on Ask HN: Looking for Thesis Project Inspiration    · Posted by u/OceanMan99
jonsen · 2 years ago
Go for what you already have. Use your supervisor to cut and twist your proposal plan to fit 5 months. I don't know where in this world you are, but where I've taught, a master's thesis is about demonstrating what you can do in the time given towards a relevant result. A proposal is a plan. Relevant mileposts should be reached, and the final goal to some extend. But details can be adjusted and cut during the process. A supervisor should help with adjusting the project plan. Up front as well as during your project.
jonsen commented on Sellafield: Europe’s most toxic nuclear site   theguardian.com/business/... · Posted by u/philk10
pvaldes · 2 years ago
both are toxic enough
jonsen · 2 years ago
My imagination hears the protesters yell Toxinough! Toxinough!
jonsen commented on Sellafield: Europe’s most toxic nuclear site   theguardian.com/business/... · Posted by u/philk10
Erratic6576 · 2 years ago
so they titled a song “Radioaktivität” but they blatantly skipped talking about radioactivity and only spoke about radio activity? I would have thought they’d be more subtle
jonsen · 2 years ago
It is subtle. 'Radio activity' is one word, the same word, in German.

u/jonsen

KarmaCake day2273June 26, 2008
About
Gmail: jonn point jonsen
View Original