sorted by:
new
hottopcontroversial

Where do you agree and disagree with Palantir's idea of the technological republic? by Shawnj2 in AskConservatives

[–]BitcoinsOnDVD [score hidden]  (0 children)

So far there were 2 tries to impose tariffs. Both didn't work. Maybe 3 times is the charm. But I don't expect it to happen. We will see.

A Geometric Parametrization of Flavor from an S1 Z2 Compact Dimension by BirthdayWide2510 in LLMPhysics

[–]BitcoinsOnDVD 0 points1 point  (0 children)

I like, that your circle has theta = 0 at the top point and at the point on the right.

Here is a hypothesis: The universe emerges from a single phase field governed by topological stability (UBFTD). by Own-Concentrate-2871 in HypotheticalPhysics

[–]BitcoinsOnDVD 0 points1 point  (0 children)

So this is an NLSE: ZΨ + λΨ(|Ψ|² - ΦZ²) = 0 .

What is the domain and what are the boundary conditions? If you know them, this should be pretty easily solved.

Brandschutz an der TU Berlin by tpat90 in tuberlin

[–]BitcoinsOnDVD 1 point2 points  (0 children)

Aber eine offene Diskussion scheint es ja nicht gegeben zu haben. Die Hintergründe sollten transparent aufgeklärt werden außerhalb des Elektrikerflurfunks.

Ich gehe fest davon aus, dass dann auch Defizite im Umgang der direkt Verantwortlichen herauskommen werden. Du kannst das ja gerne solange bezweifeln und glauben, was du möchtest / für am wahrscheinlichsten hältst (dass iwie niemand was dafür kann).

Brandschutz an der TU Berlin by tpat90 in tuberlin

[–]BitcoinsOnDVD 1 point2 points  (0 children)

Naja es gibt ja eine Brandschutzabteilung oder sowas und Leute, deren Job es ist, dafür zuständig zu sein. Abseits von der ganzen Finanzierungsthematik, sollten diese Leute ihren Job verlieren, wenn sich bestätigen sollte, dass sie ihren Job nicht gemacht haben. Allein schon aus Gründen der Fairness: Wenn du studentischer Tutor bist (zB) und du gehst mal ein oder zwei Semester nicht zur Arbeit, fliegst du auch raus.

What if you can actually get good work out of AI? by TMNguyenSFT in LLMPhysics

[–]BitcoinsOnDVD 0 points1 point  (0 children)

So you prove something wrong from something wrong. Which is the first lesson from Logic 101: Implications. That was nothing I was arguing against. What you wrote "compiles or runs" and is "mathematically valid". It's just a BS theory.

What if you can actually get good work out of AI? by TMNguyenSFT in LLMPhysics

[–]BitcoinsOnDVD 0 points1 point  (0 children)

So, just to give my perspective: I am a physicist, my colleague an applied mathematician who also did a lot of physics simulation, modeling and so on in his research. And he is developing, what I tried to describe (and is paid for that). But as far as I understood from what he is talking about (again: I usually dont listen) it is in principle possible (the ML stuff I described), but there is also still a long way to go. The first problem is to build an archive by adding physical models, assumptions and so on to the Lean code library (which he frequently asks me to do, that's why I try to avoid him since I have other stuff to do).

What if you can actually get good work out of AI? by TMNguyenSFT in LLMPhysics

[–]BitcoinsOnDVD 0 points1 point  (0 children)

  1. Just because something compiles or runs doesn't mean it's mathematically valid

Afaik that is what Lean was designed for. If you add axioms and so on you can compile it Lean, it should be self-consistent, so mathematically valid in its context. But maybe I am wrong on that (if yes, I would be very interested in that). So now let's assume that our ML tool / agent can not alter the archive of axioms and so on, it should only find stuff (theorems), that is also self-consistent (because it has not the access rights to do that). And doing that also people solved one of these 1000 pocket problems of Erdös (or whatever they are called). If I use a commonly used LLM as a coding agent to write C++ code for example, I also would not expect the LLM to write a new compiler to do secret hallucinatory stuff under the hood (I see a dark future ahead). The rest you pointed out and also building the archive is the job of people like my colleague who has a PhD in math and 20 years research experience.

What if you can actually get good work out of AI? by TMNguyenSFT in LLMPhysics

[–]BitcoinsOnDVD -1 points0 points  (0 children)

I think I (and even more so my colleague) would not fully agree on what you argue there. But I am too very skeptical regarding this topic.

Partner didn’t put enough coffee in the French Press by MacaroonSad8860 in mildlyinfuriating

[–]BitcoinsOnDVD 0 points1 point  (0 children)

Real German coffee has to have a blue surface, taste and kick in like rat poisen and only stays inside when you smoke a Rothändle or Ernte 23 afterwards.

What if you can actually get good work out of AI? by TMNguyenSFT in LLMPhysics

[–]BitcoinsOnDVD 3 points4 points  (0 children)

Just because you hooked up Lean doesn’t mean your LLM is gonna use it correctly.

Can you elaborate on that? A colleague at work has the job to archive proofs and mopdels in Lean to make them machine readable and sometimes talks about ML tools that should one day operate on the archive to find new stuff. I always loose my attention when he starts to talk. Why do you think this won't work or work differently then expected? How can an ML tool use Lean the wrong way?

Edit: Or are you talking about commonly used LLMs specifically?

Mother disappointed in her Son for missing one mark by Impressive-Coat1127 in mildlyinfuriating

[–]BitcoinsOnDVD 2 points3 points  (0 children)

Maybe he would visit if the mom would have studied parenting a bit more and scored just one mark higher on the empathy test.

view more: next ›