

It is theoretically possible by using formal verification. Which is getting easier due to lean. But still impractical.


It is theoretically possible by using formal verification. Which is getting easier due to lean. But still impractical.


Where does slop start? If you use auto complete and it is just adding a semicolon or some braces, is it slop? Is producing character by character what you would have wrote yourself slop?
How about using it for debugging?


I also want to say that Linus is still the one merging things into the kernel and he is ahm… opinionated?


For others reading it:
ChatControl 1: allow scanning on voluntary basis (voted down twice recently)
ChatControl 2: mandatory scanning


Möchte nur anmerken, dass was da vor kurzem nochmal abgestimmt wurde die freiwillige Chatkontrolle ist. Da gab es nämlich eine Ausnahmeregelung, dass Firmen emails und Chats überprüfen dürfen, was eigentlich nach EU Recht illegal ist. Diese Ausnahmeregelung läuft jetzt aus. Die Abstimmung war, um die Ausnahme zu verlängern.


Have you tried introducing unnecessary complexity?


Yes that’s a pulseaudio issue. If you search pulse audio crackle you should find some tips. Something to do with some settings on delay I believe.
EDIT:
Also want to mention that for me, it was a USB port issue.


Die CDU pisst mich echt so an, wenn die 0.01 Prozent vor den Grünen wären und dieser Vorschlag käme rein, gäbe es wochenlange Empörung.


China hat glaube ich mehr ETCS verbaut als Deutschland.


This may not be so easy, what protocol does the ISP use over fibre? Honestly the network card that you will probably need might already pull more than the modem.


I think you are making the mistake of attributing intent to an LLM. A LLM does not have intent. It takes the context and generates the statistically most likely tokens that come next. The biography is part of the context.
The fact that it gives different answers based on context purely comes down to how it was trained and that there is no concept of “factual information”.
I’m not defending LLMs, this is just LLMs doing exactly what they were trained to do.


I mean this study literally says that poorly worded prompts give worse results. It makes sense too, imagine you are on some conspiracy Facebook group with bad grammar etc, those are the posts it will try to emulate.


Also damit tut der Bus ja auch was zur politischen Bildung, wenn das immer wieder in den Schlagzeilen ist.


I wanted to create a caching snap proxy and it turns out you have to register it with canonical to get a cert.


You were just boycotting before it was cool.


Lots of governments want it. But its no excuse doing it in a stupid way. For example EU IDs should have a function that just verifies someone is over 18 without any other info being send. At least the German one does. But its not being used.


Noch immer treibt der Oppositionschef Friedrich Merz den Bundeskanzler gnadenlos vor sich her – und lässt ihn dabei Woche für Woche schlechter aussehen, weil dieser Bundeskanzler eben nicht mehr Olaf Scholz heißt, sondern: Friedrich Merz.
Jo lest es euch durch Leute, ein Treffer nach dem anderen.


This feels like a hacky solution.
Why not use VLANs? You can have just one physical interface and then have VLAN interfaces. You can then use a bridge to have every container have their own interface and IP that is attached to a specific VLAN.


Ist das nicht, wie die meisten WGs organisiert sind?
Revealjs also supports markdown.