Hacker News: jonsen

New comment by jonsen in "IBM debuts sub-1 nanometer chip technology"

jonsen — Fri, 26 Jun 2026 08:06:15 +0000

There are some really dense people

New comment by jonsen in "Truth Functional Logic for Hackers"

jonsen — Wed, 12 Mar 2025 00:01:50 +0000

> 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

?

New comment by jonsen in "The Pentium contains a complicated circuit to multiply by three"

jonsen — Sun, 02 Mar 2025 22:40:40 +0000

A shift is faster than an add.

New comment by jonsen in "Boom XB-1 First Supersonic Flight [video]"

jonsen — Tue, 28 Jan 2025 21:48:06 +0000

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.

New comment by jonsen in "The Innumeracy of the Rulers"

jonsen — Sat, 24 Aug 2024 21:02:09 +0000

> The vote was 136 for and 70 against.

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

New comment by jonsen in "Reverse engineering the 59-pound printer onboard the Space Shuttle"

jonsen — Sun, 04 Aug 2024 12:23:39 +0000

?: "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)"

New comment by jonsen in "I rewired my brain to become fluent in math (2014)"

jonsen — Sun, 28 Apr 2024 18:26:23 +0000

Granted.

New comment by jonsen in "Pencil Talk"

jonsen — Thu, 07 Dec 2023 01:00:50 +0000

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 ;-)

New comment by jonsen in "Ask HN: Looking for Thesis Project Inspiration"

jonsen — Tue, 05 Dec 2023 22:29:47 +0000

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.

New comment by jonsen in "Sellafield: Europe’s most toxic nuclear site"

jonsen — Mon, 04 Dec 2023 23:05:39 +0000

My imagination hears the protesters yell Toxinough! Toxinough!

New comment by jonsen in "Sellafield: Europe’s most toxic nuclear site"

jonsen — Mon, 04 Dec 2023 22:54:57 +0000

It is subtle. 'Radio activity' is one word, the same word, in German.

New comment by jonsen in "[dead]"

jonsen — Sun, 03 Dec 2023 22:10:54 +0000

I wonder if the, probably accelerating, effect of relocating millions is included in their model.

New comment by jonsen in "Modern Pascal is still in the race (2022)"

jonsen — Thu, 12 Oct 2023 08:31:31 +0000

Sure, but "get away with" is not something to strive for in a programming language. I've allways hated C for the unnecessary brainpower it sometimes takes to parse a construct.

New comment by jonsen in "Why did the Motorola 68000 processor family fall out of use in PCs?"

jonsen — Fri, 06 Oct 2023 21:22:56 +0000

"by definition" is a little harsh, and "with an x86 processor" is a little too narrow:

"The designation "PC", as used in much of personal computer history, has not meant "personal computer" generally, but rather an x86 computer capable of running the same software that a contemporary IBM PC could.":

https://en.m.wikipedia.org/wiki/IBM_PC_compatible