triknomeister (u/triknomeister)

triknomeister commented on Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover imperialcollegelondon.git... · Posted by u/ljlolel

monkeyelite · 6 days ago

I still don’t understand the excitement here other than it’s related to computers. Will formalizing it make it easier for us to understand the core ideas or arguments? I don’t think it will - that would best be done by reading Wile’s paper which is written with that goal in mind.

Given that it was a research frontier where arguments assume an educated audience, it's probably very difficult to formalize.

triknomeister · 5 days ago

Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.

triknomeister commented on The Open-Office Trap (2014) newyorker.com/business/cu... · Posted by u/cebert

sevensor · 6 days ago

What amazes me about this phenomenon and so many others is just how long the executive class are willing to stick with a counterproductive trend. RTO, open offices, development methodologies that disempower the developers, devops without people who understand ops, databases without dbas, Business Intelligence in basically every flavor. The unoriginality and lack of independent thought are striking. It’s as if they would rather fail doing the conventional thing than risk failure by doing something different.

triknomeister · 5 days ago

You misunderstand their purpose. They would rather be in power in a failed company than see a company succeed without them having power.

triknomeister commented on OpenBSD is so fast, I had to modify the program slightly to measure itself flak.tedunangst.com/post/... · Posted by u/Bogdanp

sa46 · 11 days ago

Isn't gettimeofday implemented with vDSO to avoid kernel context switching (and therefore, most of the overhead)?

My understanding is that using tsc directly is tricky. The rate might not be constant, and the rate differs across cores. [1]

[1]: https://www.pingcap.com/blog/how-we-trace-a-kv-database-with...

triknomeister · 11 days ago

TSC is about cycles consumed by a core. Not about actual time. And so for microbenchmarking, it actually makes sense, because you are often much more interested in CPU benchmarks than network benchmarks in microbenchmarking.

triknomeister commented on Nginx introduces native support for ACME protocol blog.nginx.org/blog/nativ... · Posted by u/phickey

idoubtit · 13 days ago

A little mistake with this release: they packaged the ngx_http_acme_module for many Linux distributions, but "forgot" Debian stable. Oldstable and oldoldstable are listed in https://nginx.org/en/linux_packages.html (packages built today) but Debian 13 Trixie (released 4 days ago) is not there.

triknomeister · 13 days ago

That's Debian's fault I guess

triknomeister commented on PCIe 8.0 announced by the PCI-Sig will double throughput again servethehome.com/pcie-8-0... · Posted by u/rbanffy

linotype · 13 days ago

800 watt CPU with a 600 watt GPU, I mean at a certain point people are going to need different wiring for outlets right?

triknomeister · 13 days ago

And cooling. Look here: https://www.fz-juelich.de/en/news/archive/press-release/2025...

Especially a special PDU: https://www.fz-juelich.de/en/newsroom-jupiter/images-isc-202...

And cooling: https://www.fz-juelich.de/en/newsroom-jupiter/images-isc-202...

triknomeister commented on PCIe 8.0 announced by the PCI-Sig will double throughput again servethehome.com/pcie-8-0... · Posted by u/rbanffy

drewg123 · 13 days ago

What hosts support Gen6? AFAIK, Gen5 is the most recent standard that's actually deployed. Eg, what can you plug a CX8 into that will link up at Gen6?

triknomeister · 13 days ago

Custom Nvidia network cards I guess.

triknomeister commented on Exit Tax: Leave Germany before your business gets big eidel.io/exit-tax-leave-g... · Posted by u/olieidel

nolverostae · 19 days ago

I was someone who almost got hit by this tax. You don't need any offshore shenanigans to get around it.

If you just want to move out of the country you can also just keep the ownership of the company within the country. You do this by putting your shares into a holding that stays in Germany even when you move out. That holding needs to be managed within Germany, so you need to assign a friend or be in Germany twice a year to sign off on having done the management within Germany.

You do need a bit more expensive tax advisor, but it's not that difficult. There's a description here: https://www.juhn.com/fachwissen/internationales-steuerrecht/... (3.1.)

Of course, if you want to move the company out of the country, you'll need to pay taxes on any value increase the company had. As others have described this is pretty reasonable though - you get taxed exactly as if gains were realized. This is tax you would have had to pay some time in the future anyways, except by moving to a tax-evasion country.

The only unreasonable part of the law is how they can assume your valuation based on earnings, but that only applies if you can't provide a valuation based on German standards.

triknomeister · 18 days ago

Or simply open a business in Luxembourg. Done.

triknomeister commented on NetBird Is Embracing the AGPLv3 License netbird.io/knowledge-hub/... · Posted by u/braginini

sneak · 20 days ago

It’s not fair. The AGPL violates freedom 0 and is nonfree.

https://sneak.berlin/20250720/the-agpl-is-nonfree/

Running a SaaS with in-house modifications is a protected use case for free software. The AGPL is a EULA masquerading as a license.

triknomeister · 20 days ago

> They see this as bad, because they think you should be forced to publish your modifications to the software you use internally, even if you don’t want to.

This is incorrect. You are only forced to publish if you are creating derivative works. See how overleaf uses propietary git integration with AGPL overleaf.

triknomeister commented on NetBird Is Embracing the AGPLv3 License netbird.io/knowledge-hub/... · Posted by u/braginini

sneak · 20 days ago

It’s not fair. The AGPL violates freedom 0 and is nonfree.

https://sneak.berlin/20250720/the-agpl-is-nonfree/

Running a SaaS with in-house modifications is a protected use case for free software. The AGPL is a EULA masquerading as a license.

triknomeister · 20 days ago

Definition of freedom has changed in cloud era. The idea behind GPL was, if you modify your code and distribute it, you need to contribute back the changes, with the wider goal of increasing the commons. All the legalese was just to make sure that the idea worked.

In the era of cloud, distribution needs to include distribution over wire, because so many apps are now run in the cloud. And that's why AGPL. It preserves the spirit of GPL in modern times.

triknomeister commented on Germany's identity crisis: The trains no longer run on time washingtonpost.com/world/... · Posted by u/bookofjoe

WalterBright · 21 days ago

When I toured Germany in the 1980s with a train pass, there were clocks all over the train stations. If the train was scheduled to start at 11:07, when the big hand clicked to 7, the train started to move.

It was wonderful.

BTW, the D community is all over the world. We schedule a zoom meeting each month. When we began the meetings, and the meeting started at, say, 8, the meeting organizer would say "we need to wait a bit for the rest to join us". I put my foot down and said when the meeting is scheduled for 8, it starts at exactly 8.

And everyone shows up on time! It's amazing how that works.

triknomeister · 21 days ago

I was going to write a very snarky reply, but you seem much more experienced than me, so I thought about it a little bit. My point remains, but the snark goes away. And I'm in Germany and people wait 5 minutes before starting. In all regular seminars, people start at 5 past. It's because it is assumed that people have another meeting or seminar till the hour before. Same with meetings. Only in conferences do people start at the dot.

I think it is when systems fail, people stop responding to systems, and this is what is happening in Germany right now.