ich🎮iel
14d 11h ago in ich_iel@feddit.org from swg-empire.deist das ein post über vapen?
[Leitartikel] Verkauft eure Häuser: Wie der Staat seine eigenen Ideale verrät
18d 6h ago in dach@feddit.org from www.telepolis.dePaywall
ich🌈iel
29d 3h ago in ich_iel@feddit.org from feddit.orgviel erfolg und glück im romantischen leben!
ich🌦️iel
1mon 6d ago in ich_iel@feddit.org from files.catbox.moeAir können ja abstimmen.
Morning sourdough
1mon 16d ago in bready from startrek.websiteWhat kind is this? It looks slightly bigger then a breadroll (brötchen), is that right?
youtube lecture of dafny for LLM coding
2mon 8d ago in AI_Coding_Agents@lemmy.ml from youtu.beLaunch of ARC-AGI-3 - next edition of a benchmark for agents
2mon 9d ago in AI_Coding_Agents@lemmy.ml from www.youtube.comEasy by humans my ass
Dafny as Verification-Aware Intermediate Language for Code Generation
2mon 10d ago in AI_Coding_Agents@lemmy.ml from arxiv.orgit is irritating that this paper is already a year old, and it seems to be the most recent practical thing out there. There must have been more in the meantime!
Using formal methods to keep LLMs on track
2mon 12d ago in AI_Coding_Agents@lemmy.ml from brainflow.substack.comWhat is the best programming language that combines the features?
- LLMs are good at it, there is a lot of training data to train LLMs on it.
- it has good support for formal methods
Vielleicht erreicht man die Leute ja damit
2mon 28d ago in dach@feddit.org from feddit.orgdas hier ist nicht ich_iel.
Polish outdoor equipment
3mon 19d ago in buyfromeu@feddit.org from feddit.orgI don't get what they are good for. What is the use case?
Economist: Donald Trump’s bleak, incoherent foreign-policy strategy -Allies may panic; despots will cheer
6mon 13d ago in nachrichten_int@feddit.org from www.economist.com
ich_iel
6mon 24d ago in ich_iel@feddit.org from feddit.orgMuss man hier einen Beitrag posten, um in die Lotterie aufgenommen zu werden?
7mon 17d ago in wichtel_unter@feddit.orgEconomist: Nvidia’s $100bn bet on OpenAI raises more questions than it answers.
8mon 27d ago in nachrichten_int@feddit.org
german sourdough whole weat rey bread
11mon 6d ago in bready from feddit.org
ich🧑💻😢🍝iel
11mon 12d ago in ich_iel@feddit.org from feddit.orgMemes and why they might resonate
11mon 12d ago in innere_arbeit@feddit.org