HNHacker News
TopNewBestAskShowJobs

jensgk

2,558 karma · joined July 20, 2012

submissionscomments
jensgk··on 1 in 8 cancer cases worldwide are caused by infections, study finds
There are no guarantees.
jensgk··on C*: Unifying Programming and Verification in C (2025)
There already is a C* : https://en.wikipedia.org/wiki/C*
jensgk··on Formalizing Fermat's Last Theorem
What would it cost to make a team of mathematicians do the same?
jensgk··on Knoppix
For many years I had a Knoppix Live CD and later DVD/USB in my work bag, so that could boot up Linux if needed. I also had the Knoppix remaster called Quantian for scientific computing. Quantian had this cool feature called Mosix, that made it possible to connect computers that could share processes. https://en.wikipedia.org/wiki/Quantian
jensgk··on Watching a Z80 from an RP2350
Some people certainly do: https://news.ycombinator.com/item?id=47708041
jensgk··on The Met releases high-def 3D scans of 140 famous art objects
That would be cool. I really would like a 3d-printed replica shell of one of the old serial terminals, e.g. the TeleVideo 910.
jensgk··on LT6502: A 6502-based homebrew laptop
It probably has a character mapped display, so you can only display 256 different (ascii and graphics) characters in a memory mapped 80*25 = 2000 bytes display buffer.

EDIT: I can now see that is does have bit mapped graphics. It must have a built-in serial like terminal with graphics capabilities.

EDIT2: Probably using this chip: https://www.adafruit.com/product/1590

:-)

jensgk··on Statement by Denmark, Finland, France, Germany, the Netherlands,Norway,Sweden,UK
"Europe would buy more US weapons"

Buying weapons from an unreliable and possibly adversarial (former) partner would create strategic dependence and weaken Europe’s defense autonomy. => It would be stupid.

jensgk··on Eight European countries face 10% tariff for opposing US control of Greenland
".. because at the end of the day the US guarantees that Russia cannot pursue the type of landgrab it is currently trying to do in Ukraine against other states"

I am sorry to say that we (Europeans) increasingly do not believe that the US would help us.

jensgk··on Eight European countries face 10% tariff for opposing US control of Greenland
The US is a complete mess and completely unreliable as a defense and business partner. Trump is driving Europe towards China. Even though China supports Russia against Ukraine, China seems much more dependable to do fair business with.
jensgk··on Trump vows tariffs on eight European nations over Greenland
The US is a complete mess and completely unreliable as a defense and business partner. Trump is driving Europe towards China. Even though China supports Russia against Ukraine, China seems much more dependable to do fair business with.
jensgk··on Why Is Greenland Part of the Kingdom of Denmark? A Short History
> Especially maybe try not to appear like they just want to desperately hold on to their colonies? I mean, where's the decolonization people when you need them

Greenland’s path to independence is clear in law: only the people of Greenland can decide, by referendum. Denmark would respect that choice. So far, Greenland has not chosen to start the process. The decision is entirely Greenland’s.

jensgk··on Why Is Greenland Part of the Kingdom of Denmark? A Short History
> Same experience as the child of migrants. America has boundless optimism and integrates people well

ICE??

> Same experience with safety nets too. America has tons of welfare. Not sure why people have issues with it honestly.

I am in my 50s, I have never seen a country as divided and toxic as the US, and that is for a reason.

jensgk··on Why Is Greenland Part of the Kingdom of Denmark? A Short History
> This is a cultural trait that seems very quickly absorbed even by immigrants.

Sure, for those who stay. If they didn't like the American way, they probably wouldn't stay. I have known many, who have stayed in the US for exchange, expat and science. They all had a great experiences, but no one wanted to stay as immigrants.

jensgk··on C100 Developer Terminal
It’s an odd keyboard layout for a Linux computer. They should have gone with what I consider the true Unix layout - the Sun Microsystems Type 7 Unix keyboard: https://imgur.com/PftSNnk
jensgk··on Researchers develop molecular qubits that communicate at telecom frequencies
You should make a separate HN post about this :-)
jensgk··on A general Fortran code for solutions of problems in space mechanics [pdf]
After the Remington era, I once used this :-) IBM Selectric typewriter math fonts, I found this description: https://www.duxburysystems.org/downloads/library/texas/apple...
jensgk··on GPT-5
I would think that the MAGA movement is the riot.
jensgk··on NeurIPS Announces Support for Newly Developing Scientific Community Gathering
NeurIPS meeting in Europe(Copenhagen). See more here: https://eurips.cc/
jensgk··on Trump believes iPhones can be made in the US, says White House
You mean assembled in the US, made from imported parts sourced from all over the world?
jensgk··on Millions are visiting the European Alternatives site. What trends are we seeing?
> It's great enough for me. Way greater than the EU.

Why are you still here?

jensgk··on Millions are visiting the European Alternatives site. What trends are we seeing?
> I haven't seen much hard evidence that Russia has ambitions beyond Ukraine.

Hard evidence is too late. Putin (and associates) speeches and writings indicate more than enough. Why do you think that former Soviet countries boardering Russia are the most scared?

jensgk··on Millions are visiting the European Alternatives site. What trends are we seeing?
It is not about politics any more. It is about trust.
jensgk··on Millions are visiting the European Alternatives site––what trends are we seeing?
Well, maybe they can be used in the arms industry.
jensgk··on Millions are visiting the European Alternatives site. What trends are we seeing?
There are many other countries in the world. The world will go on, even with reduced trade with the US. We will just increase trade with Canada, Australia, Japan, etc. and even China.
jensgk··on Millions are visiting the European Alternatives site. What trends are we seeing?
Just do it! The trust has been broken. I am sure we will be just fine in Europe.
jensgk··on Dutch Parliament: Time to ditch US tech for homegrown options
Trust in the US was also at big part of it. That trust is now gone.
jensgk··on Alternatives to US-Based Digital Services
Does anyone know of alternatives to reddit.com and/or news.ycombinator.com?
jensgk··on Show HN: I made an open-source laptop from scratch
And money for parts and tools :-) Also many in high school (at least here i Denmark) have jobs after school.
jensgk··on Show HN: I made an open-source laptop from scratch
Great work! I am also interested in what tools you needed to do the work. Could you elaborate on that?
Page 1 of 5Next →