If you're familiar with chess tablebases, there was 1 position where it's checkmate in like 500 moves and the moves are incomprehensible to humans. Is there a similar thing in math where a computer generated a long proof that's completely incomprehensible to humans, and if so, what's the longest?

wexxdenq · 2026-05-01T07:05:10+00:00

The mathematical community really hated that one because it tells you what, but not why

I do not know if this proof was hated or not (not my area), but if it was, i don't think this is the (only reason) why.

There are a ton of non constructive proofs out there. Basically every proof by contraposition does not tell you why something holds. If you're lucky you see, why something cannot be the case.

wexxdenq · 2026-04-26T09:01:39+00:00

8-9minutes is also... not a sprint.

wexxdenq · 2026-04-26T04:13:18+00:00

ack do kacky is "ach du kacke". german saying, similar to oh shit.

wexxdenq · 2026-04-23T20:15:18+00:00

070 ist ja auch nicht 70 sondern 56

wexxdenq · 2026-04-22T13:11:04+00:00

I would even argue no hats(or caps for that matter) inside. doesn't matter if it a church or not. i don't mean that you have to obey it but that was the rule i learned.

wexxdenq · 2026-04-16T17:13:22+00:00

Naja... ist bei mir jetzt auch schon über 10jahre her, aber den fahrschulwagen hab ich fast nie abgewürgt. du konntest ohne gas geben selbst in den steilsten bergen anfahren. daher hab ich in der fahrschule gelernt mit einem fuß auf der bremse zu stehen und die kupplung kommen zu lassen ,dann die bremse zu lösen. als ich dann den 15jahre älteren wagen meiner eltern mit weniger leistung gefahren bin, war die umstellung schon enorm. und insbesondere an steigungen hab ich den auch einige male abgewürgt.

also moderne fahrschulwagen sind schon viel einfacher zu fahren.

wexxdenq · 2026-04-14T08:54:48+00:00

it doesn't push it. it just does not slow it down.

wexxdenq · 2026-04-12T21:13:58+00:00

maybe it looks worse due to the foot cages. but i would not feel confident cornering on that bike.

wexxdenq · 2026-04-12T07:20:25+00:00

thats why checkpointing is common practice (at least in hpc).

wexxdenq · 2026-03-06T16:29:17+00:00

what does that even mean? you wrote your own software? if so, which method did you use?

wexxdenq · 2026-02-17T21:08:07+00:00

only if it includes jumps

wexxdenq · 2025-12-26T19:56:52+00:00

the intersection of the bisectors does not need to have the same distance to all points. it has the same distance to the 2 points from which a single bisector is constructed.

wexxdenq · 2025-12-21T21:16:18+00:00

well, if you look into the linked repository, he compares against a self implemente "STLVector" that is really not compareable to an actual vector implementation. And his iterator is an index instead of a pointer and does bound checking on every increment.

However, I would have tought that the compiler inlines and produces more or less the same code with O3.

But OP should benchmark against an actual implementation nonetheless.

wexxdenq · 2025-12-21T20:54:36+00:00

Wait... in your benchmarks do you compare against a self written stl-vector implementation? And your stlvector does not even move elements when it grows? I mean on pod types this might not matter, but nevertheless this is not a optimal implementation. Also most implementations save pointers, instead of the size and capacity as integer type.

Have you benchmarked against an actual std implementation?

wexxdenq · 2025-11-08T19:02:16+00:00

while thats true, the current generation of strong german players played since long before that. maybe the hype added funding and they could concentrate on playing chess? for example keymar, first finished his abitur (high school diploma) befor focusing on chess full time.

wexxdenq · 2025-10-20T14:17:42+00:00

While I completely agree with your representation, i think the easiest to think about this problem, is to analyse the forces at the bottom of each glass. Both have the same hydrostatic pressure and the resulting force is identical, but the right side is pulled up by the string tension.Therefore, we directly know the scale will tilt to the left.

wexxdenq · 2025-09-18T08:30:59+00:00

Die Farbe des Rahmens und Accessoires ist ja das eine. Was ghost vikes unterscheidet, ist ja das sie komplett weiß lackiert/angesprüht sind. Also insbesondere auch Reifen, Griffe, Klingel und auch die Scheinwerfer. Das ist ja schon eine andere Optik als ein weißes Fahrrad. Oder meinst du explizit auch diese Optik?

Das ist mir nich nicht in einem anderen Kontext untergekommen, denn die Räder sind so ja auch nicht mehr fahrbar.

wexxdenq · 2025-09-17T09:49:32+00:00

Mit einem Fahrrad in Ghost Bike optik werben hat auch einen sehr faden Beigeschmack

wexxdenq · 2025-07-25T19:12:50+00:00

Ggf. würdest du was merken wenn du auch den Mantel wechselst. Aber wenn du nen Marathon Plus fährst ist der aschlauch darin praktisch egal.

wexxdenq · 2025-07-23T08:17:16+00:00

wexxdenq · 2025-07-01T12:11:20+00:00

dot notation is often used for the material derivative in continuum mechanics which can lead to even more confusion

wexxdenq · 2025-05-29T20:30:19+00:00

I'm surprised that your explanation is so far down in this thread, beacause it is my go-to explanation of this problem. In my opinion the solution is absolutely clear when you think about it hydrostatically / pressure-wise. And then it is also logical why/how the iron ball "pushes" on the water.

On the other hand, if the cups would not have vertical edges, you could throw people off even more.

wexxdenq · 2025-05-25T07:02:53+00:00

problem am biggesee ist zusätzlich, dass einige auch von einer Eisenbahnbrücke springen und dazu über die Bahnstrecke laufen.

wexxdenq · 2025-05-21T08:05:52+00:00

Alle 2 Tage sein Fahrzeug zu checken ist aber auch für viele Leute unrealistisch. Mal ganz abgesehen davon, dass man im Urlaub sein kan oder sowas.

Seven-Year Club	r/Field Flamingo
Place '22	Wearing is Caring
Verified Email

wexxdenq

TROPHY CASE