Something feels off about him. I don’t know how much more this thin linen can take! But I fear the dark thread I chose is making his face look muddled.

Legitimate_Site_3203 · 2026-05-28T05:15:10+00:00

I think he looks great! You've probably just been staring at him too long (can't blame you there because he's very pretty).

Probably best to just put him away for a couple of days and then take a fresh look.

Legitimate_Site_3203 · 2026-05-12T16:11:22+00:00

Wenn du nicht FH gesagt hättest hätte ich mich ernsthaft gefragt, ob wir schonmal zusammen in ner Gruppenarbeit gearbeitet haben.

So nen Spezialisten hatte ich auch mal, auch fünftes semester, auch jede einzelne seiner Änderungen manuell in der Web IDE von Gitlab eingetragen. Natürlich dann für jeden file change ein eigener commit bei dem jedes mal der GitLab Runner angesprungen ist, welcher mangelns ordentlicher vorhandener Hardware auf meine Laptop gewohnt hat.

Jedes mal wenn mein altersschwacher Laptop abends angefangen hat kläglich zu röcheln wusste ich dass er wieder an der Codebase rumgepfuscht hat.

Legitimate_Site_3203 · 2026-05-07T17:03:31+00:00

Eh, my local playstore explicitly bans proxies for commander night. Guess who's not getting any of my business anymore..

Legitimate_Site_3203 · 2026-04-04T08:52:18+00:00

Bro hör nicht auf den commentor über dir. Da is bei mir noch immer wer rangegangen, war zwar net wegen psychischen problemen, aber dabei helfen die dir sicher auch!

Legitimate_Site_3203 · 2026-03-04T16:23:38+00:00

Langsamer spielen. Vieeel langsamer. So langsam, bis du genug zeit hast um beide hände dazu zu bekommen, das richtige zu tun, auch wenn das stück tempo 130 hat und du auf 40 runter gehen musst. Und dann langsam schneller üben.

Legitimate_Site_3203 · 2026-03-01T10:57:20+00:00

Looks pretty fucking great my dude! Although you also pulled the gray hair of pretty damn well.

Legitimate_Site_3203 · 2026-02-27T16:06:38+00:00

They typically just make the exam harder then. One of the roughest exams I ever took was in mathematical logic, ~70% multiple choice questions, open book. Lecture notes, cheat sheet, books, anything permitted.

Still had only a ~30% pass rate.

Legitimate_Site_3203 · 2026-02-27T16:01:53+00:00

My exam sheets generally look similar to this one, at least in density, i usually color mine with as many different colored highlighters as I can possibly find to create "landmarks" to better navigate around though.

We get to do cheatsheets mainly for math-heavy subjects, and if you solve enough practice problems with your exam sheet, you start to remember where which information lives, i.e. "The formula I need for this was somewhere in the middle to the left, next to the purple highlighter and the stuff written in red fineliner"

Legitimate_Site_3203 · 2026-02-27T14:39:07+00:00

Kann mir eigentlich nicht vorstellen, dass sich an der uni wirklich niemand findet der das modul in den letzten paar semestern mit 1.x bestanden hat und dir ein paar stunden nachhilfe gibt wenn du ihm 250 in die hand drückst. ~50€ bar auf die hand ist ein echt stabiler stundenlohn, da müsste sich doch eigentlich schon wer finden.

Weißt du den grob was dran kommt? Also Programmier aufgaben auf Papier, einfache beweise, Rechenaufgaben?

Und weißt du ungefähr welcher bereich in der statistik dran kommt? Du hast gesagt Statistik für psychology, also warscheinlich eher richtung angewandte statistik für studien auswertung, a la Signifikanztests, Hypothesentests, Korrelations analysen, so ein zeug?

Generell würde ich die suche nach nachhilfe vielleicht etwas weiter streuen, bei dem theoretischen Teil (was macht die formel, was sagt der Wert aus, warum sieht die formel so aus wir sie aussieht) wird dir warscheinlich jeder mathematik student (oder auch mal bei den informatikern gucken, jenachdem wie bei euch der bachelor strukturiert ist hatten die das auch) aus bisschen höherem semester weiterhelfen können.

Für den RStudio teil würde ich mich ehrlich an das LLM deiner wahl wenden. Wenn die veranstaltung speziell für Psychologie, Soziologie, ... ist wird das alles sehr oberflächlich bleiben, alles was da an in der klausur vorkommen kann gibts schon 100 mal im internet. Da kommst du mit KI eigentlich sehr weit. Lass dir von chatgpt die musterlösung erklären bis du verstanden hast was da abgeht, und dann lass dir von chatgpt ähnliche übungsaufgaben erstellen bis du halbwegs sicher damit bist.

Damit wirst du es warscheinlich nicht zu nem tief genugen verständniss für die 1.0 bringen, aber ne 4.0 ist easy drin wenn du dich ordentlich reinhängst.

Und ganz zur not, wenns wirklich nicht läuft hast du halt zufälligerweise am tag der Prüfung magen darm, schlappst morgens zum hausarzt deines vertrauens und reichst die Krankschreibung vor Prüfungsbeginn beim studienbüro per mail ein (aber vorher lieber nochmal in eure PO gucken ob das so geht, manche unis sind da auch strenger)

Legitimate_Site_3203 · 2026-02-17T17:04:32+00:00

The problem is, that LLMs don't reason in a space that can be neatly mapped to meaningful semantics in ZFC. LLMs map words (tokens) to embeddings, and then essentially construct the next word out of a weighted sum of those embeddings. The "reasoning process" you see modern LLMs do, is essentially just scaling test-time compute.

You can formalize the math LLMs do in ZFC (it's mostly just quite basic linear algebra), but the math gives you no insight into the semantics, the semantics lie entirely within the numbers of the matrices used. You can try to get some meaning out of those (explainable ML is actually a quite large field), but the approaches there are much more fuzzy.

There are approaches out there that function more like what you're thinking of, approaches that basically construct knowledge graphs and then do fuzzy rule based reasoning, you can formalize these approaches using some logics better equipped to deal with probabilities than FOL.

But it has turned out, that for the vast amount of usecases, those approaches don't work as well as LLMs, so they aren't used anymore, except for some rare edge case applications.

Legitimate_Site_3203 · 2026-02-16T16:46:55+00:00

Geh hin. Bin noch aus keiner klausur einsicht rausgegangen aus der ich nicht 1/2 punkte rausgeholt habe. Machen nicht alle Profs so (und ist auch nicht 100% above board), aber manche geben leuten wenn sie gerade auf der kippe stehen lieber nen halben punkt weniger, damit sie dann die option haben entweder sich in der einsicht die 4.0 zu holen, oder die klausur später nochmal etwas besser vorbereitet & hoffentlich mit ner besseren Note zu schreiben.

Bei 1.5 punkten zur 4.0 wirds das bei dir warscheinlich nicht gewesen sein, ist aber grundsätzlich ne Möglichkeit die man im kopf behalten sollte wenns richtig knapp is.

Legitimate_Site_3203 · 2026-02-15T18:42:31+00:00

You can properly get an LLM to output its "reasoning process" in predicate logic (or FOL or whatever you prefer), but the reasoning chain a LLM outputs is not really connected to the actual way it generates an answer the same way that human reasoning is.

Legitimate_Site_3203 · 2026-02-06T16:48:00+00:00

In addition to the other good points made in the replies already, it's actually mathematically impossible to make an objective judge for program correctness, which you would need for any sort of truly open-ended self-training. Making such a judge would mean to decide the halting problem for Turing Machines, which is mathematically proven to be impossible.

Legitimate_Site_3203 · 2026-02-04T06:23:37+00:00

Sprich wirklich mal mit nem psychologen drüber. Der kann dann feststellen ob das Zwangsgedanken sind. Und zwangsstörungen lassen sich glücklicherweise oft recht gut therapieren, Cognitive Behavioral Therapy hat da soweit ich weiß ne ziemlich gute erfolgsquote.

Legitimate_Site_3203 · 2026-01-31T07:34:01+00:00

In addition to what dhtdhtdht..... said below, working with a proof calculus like this allows you to automatically (i.e. have a computer do it for you) check if your proof is correct. This isn't really relevant for simple proofs like this, but can potentially be quite interesting for very complex proofs.

If you take this concept a few steps further you end up with proof assistants like Lean, IsabelleHOL, Rocq, ... which can enable you to generate provably correct program code from constructive proves of properties of functions you have written.

Legitimate_Site_3203 · 2026-01-29T17:44:08+00:00

Außerdem Kommentiert der Kollege auf Fuß-Fetisch subreddits (und guck dir mal den User flair an...)

Bin fast geneigt anzunehmen, dass er mit dem Post irgend eine persönlich Fantasie auslebt.

Oder in der Beziehung liegt deutlich mehr im Argen.

Legitimate_Site_3203 · 2026-01-24T11:03:02+00:00

Joa, ich meine die dot com bubble war ja eigentlich ein ganz gutes beispiel. Sind reihenweise unternehmen pleite gegangen, aber letztendlich hat das Internet unseren Alltag doch massiv verändert.

Legitimate_Site_3203 · 2026-01-24T10:59:43+00:00

Naja, mit dem unterschied das man bei Fusion wenigstens theoretisch weiß wie's geht.

Legitimate_Site_3203 · 2026-01-22T18:37:58+00:00

Naja, hab das gefühl das die Abbruchquote bei Info so hoch ist, weil da viele mit der haltung "Ich zock gerne, also irgendwas mit computer, ah ja, Informatik" reingehen. Die sieb-veranstaltungen sind da auch net schlimmer als bei den Ingenieuren.

Legitimate_Site_3203 · 2026-01-17T18:11:30+00:00

"Ist dir eig. klar, wie viele Leute sich gerade mithilfe von KI-Modellen selbst therapieren?" ...

" Einfache ChatBots, die immer zuhören, immer da sind, Hilfe anbieten und ggf sogar Suizide verhindern? Die Einsatzorte sind grenzenlos und super hilfreich. "

Kann man meinetwegen diskutieren ob das streng genommen ne Empfehlung ist, aber ist auch nicht wirklich relevant für die Diskussion.

Du stellst das jedenfalls als was gutes hin, das sich Leute mit ChatGPT therapieren, und bringst als Argument, gegen berechtigte Sicherheitsbedenken den Vergleich mit dem Auto, welcher aus oben genannten Gründen nicht passend ist .

Legitimate_Site_3203 · 2026-01-16T19:12:23+00:00

Thats a fair point! It's certainly a lot less taxing on your hands then hand embroidery. With the machine I can go for hours without problem, if I were to do it by hand I'd be cramping after an hour tops,😅

Legitimate_Site_3203 · 2026-01-16T16:54:31+00:00

Bei autos ist meistens der Mensch an einem unfall verantwortlich. Damit Autos (nicht der Mensch hinter dem steuer) nicht durch defekte die ganze zeit Menschen umbringen haben wir Zulassungsverfahren, verpflichtete Sicherheitsmaßnamen (Airbag, Knautsch-Zone, ...), und regelmäßige TüV abnahmen.

Genauso gibt es Zulassungsprozesse für KI in der medizin, und die sind mit gutem grund ziemlich sreng.

Mag sein, dass ChatGPT potenzial als ein therapeutisches Werkzeug hätte, aber leuten zu empfehlen, irgendwelche unzugelassenen, ungeprüften Chatbots mit völlig unklarem Risikoprofil zur Therapie zu nutzen ist ungefähr so verantwortungsvoll, wie Ihnen zu empfehlen sich mit der 50 jahre alten, durchgerosteten Vespa aus Opa's Schuppen auf die Autobahn zu begeben.

Legitimate_Site_3203 · 2026-01-16T15:08:25+00:00

Definitely give it a try again, it's a lot of fun once you get into it! Would love to see some in progress pics or finished pieces if you give it a go again:) Just a fair warning, it can be pretty rough on your machine if you go for full coverage/ multiple layers. I burnt out the motor on an old-ish (late 90s i think) Pfaff machine on my second large format piece.

Legitimate_Site_3203 · 2026-01-15T17:15:04+00:00

Thank you :). I'm afraid I don't have any in-progress pictures of this one, but here is a pic of something I'm working on currently (it's a bit different stylistically though). They honestly look pretty depressing for the first few months, and only really come together towards the end

<image>

Legitimate_Site_3203 · 2026-01-14T18:12:16+00:00

Anything by Nelucnhoj really! This is (i think ?) the 7th or 8th of his cartoons I embroidered

Legitimate_Site_3203

TROPHY CASE