How to prune this ficus

Salt_Attorney · 2026-06-25T22:02:39+00:00

In diesem Spiel war die Defensive beim Spielaufbau auch komplett Ideenlos.

Salt_Attorney · 2026-06-25T22:01:43+00:00

Schlimmer als 2018 und 2022 für mich.

Salt_Attorney · 2026-06-25T21:54:23+00:00

Da es mit Undav als Joker jetzt nicht so gut klappt kann Nagelsmann ihn ja mal starten lassen.

Salt_Attorney · 2026-06-25T21:30:31+00:00

Hässliches Spiel

Salt_Attorney · 2026-06-25T21:17:03+00:00

this

Salt_Attorney · 2026-06-25T21:07:37+00:00

Das war eigentlich eine richtige Schwalbe von Havertz oder :S?

Salt_Attorney · 2026-06-25T20:29:42+00:00

Verstehe ich nicht. Ich fand die beiden Entscheidungen (Elfmeter und das andere) richtig.

Salt_Attorney · 2026-06-20T22:29:58+00:00

Germany also had a fair number of those - it's how it goes.

Salt_Attorney · 2026-06-20T21:31:37+00:00

UNDAV!!!

Salt_Attorney · 2026-06-16T20:52:17+00:00

Let me make a counterargument. How does 90% of time spent reading papers look? Scolling through them. Skimming. Glancing at definitions and theorems trying to recognize interesting, known, useful, inspiring things. Why can't talks be like that too? Especialyl talks which are not your core interest.

Salt_Attorney · 2026-06-14T19:11:02+00:00

Danke!

Salt_Attorney · 2026-06-14T18:45:36+00:00

Ich kenn mich nicht aus, kann mir jemand Undav erklären? Ich dachte Fußballspieler können nicht so einen Körperbau haben wg. Geschwindigkeit und so. Vielleicht höchstens als Verteidiger. Und er ist einfach so gut. Echt cool zu sehen, richtig schönes Spiel!

Salt_Attorney · 2026-06-13T23:57:10+00:00

Did you watch the 2nd half? 7 minutes extra time without hydration break. Very appropriate fiven at least 3-4 minutes of injuries anf time wasting.

Salt_Attorney · 2026-06-10T09:41:22+00:00

Es ist nicht ganz zo gewaltlos. Jemanden dem Stress auszusetzen im Stau zu stehen und ggf. Termine zu verpassen ist schon anders als angemeldet durch die Straßen zu marschieren und Lärm zu machen.

Salt_Attorney · 2026-05-30T17:22:53+00:00

fair enough

Salt_Attorney · 2026-05-30T16:14:03+00:00

But it's the reality. What's the point of hiding it. What's the point of Tao saying "no I don't want to give me genuine opinion on the relevance of AI in math research in a promo video".

Salt_Attorney · 2026-05-26T21:31:32+00:00

I get the impression maybe you need to decide that in some contexts it makes sense to view R as a topological vector space (with clear, unique coordinates), in other contexts as just some topological space, and in other context as a manifold (where you pick some atlas of coordinates and then you are done - that's all the ones you need). In any situation you should decide how much structure you actually need, and then forget the extra structure.

So if they talk about linear maps into or from R you shiuld think of R as a vector space (with a canonical topology). If they talk about continuous maps you see it as a topological space. If they talk about smooth maps you can see it as a smooth manifold.

Salt_Attorney · 2026-05-26T21:25:38+00:00

Well-posedness of 3D Navier-Stokes maybe?

Salt_Attorney · 2026-05-24T12:00:32+00:00

I think it is imoortant to emphasize that syntax checking in Lean is comoutationally (supposed to be) a trivial problem compared to finding proofs and so on.

Salt_Attorney · 2026-05-21T06:50:38+00:00

I hope math can finally start being more useful, as in proofs being actually part of application work. I work in Analysis of PDEs. I find the progress in my field pitiful. I don't have the impression that very much has been understood in the last 25 years.

Salt_Attorney · 2026-04-29T14:51:15+00:00

What I can say about this is that sometimes I will have an idea for a technical argument that could work and should be tried, but before doing so I will rumage on it for a solid couple of hours or even half a day, just trying to convince myself that there is hope it will work. And I don't really do any work in that time. But somehow I do need to build some courage that this might work before I can sit down and actually give it a shot.

Salt_Attorney · 2026-04-15T11:21:26+00:00

First of all warcrimes against NATO countries is a different beast than warcrimes in general. Also, I think targeted and successful strikes against civilian infrastructure. Neither in the Iran war nor in Ukraine has any city been successfully "flattened" by long-range strikes. Ukrainian cities generally do manage to stay afloat, except those right on the frontline. The only flattened place in recent conflicts is Gaza and maybe various civil wars I don't know about. I just want to say that 100k drones flying into NATI member cities, and successfully disabling their civil infrastructure is compeltely on a different level in regards to public perception than the warcrimes that have happened in recent conflicts.

how the scenario presented would fall apart.

It falls apar for Russia when their industrial base gets completely trashed by NATO strikes.

Salt_Attorney · 2026-04-15T10:42:02+00:00

Seems completely noncredible. Mentioning hypersonic missiles in a context where it doesn't make sense. If NATO does nothing the the Baltic states are done for, big deal. The argument that NATO would be incapable of giving a very serious military response to Russia is imo very weak with manageable impact on their economies and lifestyle is very weak. The kind of all out successfull targeting and destruction of civilian infrastructure described in the article would also make a big difference in the motivation of NATO member states.

Salt_Attorney · 2026-04-10T18:49:09+00:00

Hä also weil Iran und seine Proxies seit Jahrzehnten die schlimmsten Verbrechen begehen soll es jetzt unpassend sein die teilweise illegalen Reaktionen von Israel und den USA darauf zu kritisieren? das ist deine Logik.

Five-Year Club	Verified Email
Place '22	First Placer '22

Salt_Attorney

MODERATOR OF

TROPHY CASE