Hacker News: joko42

New comment by joko42 in "A new trick brings stability to quantum operations"

joko42 — Fri, 10 Apr 2026 04:04:57 +0000

Seems like we are moving from theory to pactice faster than expected.

Team from ETH Zurich make high quality quantum swap gate using a geometric phase

joko42 — Fri, 10 Apr 2026 04:04:57 +0000

https://www.nature.com/articles/s41586-026-10285-1

https://arxiv.org/abs/2507.22112

Comments URL: https://news.ycombinator.com/item?id=47713495

Points: 237

# Comments: 56

New comment by joko42 in "Starship Flight 5: Launch and booster catch [video]"

joko42 — Sun, 13 Oct 2024 12:43:58 +0000

Humanity has reached a milestone.

New comment by joko42 in "My job is to watch dreams die (2011)"

joko42 — Thu, 05 Sep 2024 23:34:28 +0000

He reminds me of Death from Discworld. He is the Dream Reaper.

New comment by joko42 in "The world needs computational social science"

joko42 — Tue, 03 Oct 2023 07:39:43 +0000

The beginning of psychohistory?

Mass suicides in 1945 Nazi Germany

joko42 — Sat, 30 Sep 2023 05:17:36 +0000

Article URL: https://en.wikipedia.org/wiki/Mass_suicides_in_1945_Nazi_Germany

Comments URL: https://news.ycombinator.com/item?id=37712948

Points: 4

# Comments: 0

New comment by joko42 in "Modern SAT solvers: fast, neat and underused (2018)"

joko42 — Fri, 26 May 2023 21:03:22 +0000

There was a time when people thought SAT and formal logic is the way to building AI. Now you don't hear anything about it. I wonder what happened?

New comment by joko42 in "Hawthorne effect"

joko42 — Tue, 25 Apr 2023 10:47:00 +0000

I found that tracking my income & expenses makes me more thrifty.

New comment by joko42 in "Explosions are great, actually"

joko42 — Sat, 22 Apr 2023 21:44:53 +0000

That's Aristotle physics.

New comment by joko42 in "ReceptioGate and the (Absolute) State of Academia"

joko42 — Sat, 22 Apr 2023 21:25:52 +0000

Wrong link.

New comment by joko42 in "US Presidential Hopefuls Rally Against a Digital Dollar Ahead of 2024 Elections"

joko42 — Sat, 22 Apr 2023 21:22:12 +0000

Campaigns are starting. I can feel the elections from a year away.

New comment by joko42 in "iPhone Doomed to Failure (2008)"

joko42 — Sat, 22 Apr 2023 21:20:42 +0000

This is what happens when you judge a product without using it first.

New comment by joko42 in "Negative Mass"

joko42 — Sat, 22 Apr 2023 21:18:01 +0000

Would negative mass make time contraction and length dilation possible?

Verification, the Key to AI [2001]

joko42 — Thu, 23 Mar 2023 06:35:57 +0000

Article URL: http://www.incompleteideas.net/IncIdeas/KeytoAI.html

Comments URL: https://news.ycombinator.com/item?id=35271152

Points: 1

# Comments: 0

EasyCrypt: Computer-Aided Cryptographic Proofs

joko42 — Tue, 07 Mar 2023 13:42:50 +0000

Article URL: https://github.com/EasyCrypt/easycrypt

Comments URL: https://news.ycombinator.com/item?id=35055212

Points: 36

# Comments: 5

Kindelia Manifesto

joko42 — Tue, 28 Feb 2023 10:54:11 +0000

Article URL: https://github.com/HigherOrderCO/manifesto

Comments URL: https://news.ycombinator.com/item?id=34967943

Points: 1

# Comments: 0

New comment by joko42 in "What Is Backspace.ai?"

joko42 — Sun, 26 Feb 2023 02:14:58 +0000

Backspace.ai is a project by George Hotz started in 2019. Apparently its not being worked on anymore.

Can anyone please explain what he's trying to create here? This looks interesting but I can't find anything on google. Thanks!

What Is Backspace.ai?

joko42 — Sun, 26 Feb 2023 02:14:58 +0000

Article URL: https://backspace.ai/

Comments URL: https://news.ycombinator.com/item?id=34942406

Points: 3

# Comments: 2

New comment by joko42 in "A Generalist Neural Algorithmic Learner"

joko42 — Fri, 09 Dec 2022 03:11:31 +0000

Man the pace of AI progress these days is bonkers.

New comment by joko42 in "Neuralink faces federal probe, employee backlash over animal tests"

joko42 — Tue, 06 Dec 2022 01:51:40 +0000

“The death of one pig is a tragedy. The death of a million is a statistic.”

- Some pig in Animal Farm