Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Administered by:

Server stats:

8.4K
active users

mastodon.world: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0

#workbench

1 post1 participant0 posts today
LeRoy Miller<p>I think it's time to clean out the tool draw..... </p><p>Before and After --&gt; filled a shoe box and still feel like I have more screw drivers then I really need.... Before 5 tape measures - after 2 tape measures - probably only need one, but two seems safe. <br>put up a bunch of very small screw drivers, and screw drivers I know I haven't used (They were on the bottom of the pile) Keep the drivers I know I've used in the past 30 days. </p><p><a href="https://mastodon.radio/tags/ToolBox" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ToolBox</span></a> <a href="https://mastodon.radio/tags/Tools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tools</span></a> <a href="https://mastodon.radio/tags/WorkBench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WorkBench</span></a></p>
Marcel Stritzelberger<p>Eine <a href="https://neander.social/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://neander.social/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> im Browser. Hatten wir schon, aber diese Variante ist (mir) neu.. Man kann sogar am Monitor die Helligkeit einstellen 😀 <br><a href="https://lammpee.de" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lammpee.de</span><span class="invisible"></span></a></p><p>Ein sehr gelungenes Projekt und komplett Open Source: <br><a href="https://github.com/ThornWalli/web-workbench" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/ThornWalli/web-work</span><span class="invisible">bench</span></a></p>
Make it a Triple Games<p><a href="https://mastodon.gamedev.place/tags/ScreenshotSaturday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ScreenshotSaturday</span></a>, right? Me and the team have been working on this <a href="https://mastodon.gamedev.place/tags/slice" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>slice</span></a>-of-life thing for a jam. I'm in charge of <a href="https://mastodon.gamedev.place/tags/graphic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphic</span></a> assets. It's amazing, what <a href="https://mastodon.gamedev.place/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3D</span></a> stuff generous people are giving you for free! Thx guys! I have had to model very little myself so far, which means more time for other things. Need to get into shaders next, which is a little scary.</p><p><a href="https://mastodon.gamedev.place/tags/indiegames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>indiegames</span></a> <a href="https://mastodon.gamedev.place/tags/indiedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>indiedev</span></a> <a href="https://mastodon.gamedev.place/tags/gamesdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamesdev</span></a> <a href="https://mastodon.gamedev.place/tags/godot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>godot</span></a> <a href="https://mastodon.gamedev.place/tags/blender" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>blender</span></a> <a href="https://mastodon.gamedev.place/tags/workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workbench</span></a> <a href="https://mastodon.gamedev.place/tags/scifi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>scifi</span></a> <a href="https://mastodon.gamedev.place/tags/liminaljam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>liminaljam</span></a></p>
Daniel<p>AmiKit In A Box: Raspberry Pi 5 with Workbench distribution<br>The well-known Workbench distribution AmiKit is now also available for purchase together with a fully configured Raspberry Pi 5 mini-computer - only the operating system itself still needs to be added as usual.</p><p><a href="https://www.amiga-news.de/en/news/AN-2025-06-00117-EN.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">amiga-news.de/en/news/AN-2025-</span><span class="invisible">06-00117-EN.html</span></a></p><p><a href="https://fosstodon.org/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://fosstodon.org/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> <a href="https://fosstodon.org/tags/distribution" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>distribution</span></a> <a href="https://fosstodon.org/tags/RPi5" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RPi5</span></a></p>
Kemal ASLAN<p>Portable &amp; Affordable Workbench for Small Spaces</p><p><a href="https://mastodon.online/tags/workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workbench</span></a> </p><p><a href="https://www.youtube.com/watch?v=rG5V5LszdJQ" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=rG5V5LszdJQ</span><span class="invisible"></span></a></p>
Kemal ASLAN<p>A New Style of Workbench</p><p><a href="https://mastodon.online/tags/workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workbench</span></a> </p><p><a href="https://www.youtube.com/watch?v=pvVrVdqA9OE" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=pvVrVdqA9OE</span><span class="invisible"></span></a></p>
Tech News 24h<p>Electrician Simulator VR - Workbench Update Now Live! <a href="https://mastodon.social/tags/gaming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gaming</span></a> <a href="https://mastodon.social/tags/gamingnews24h" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamingnews24h</span></a> <a href="https://mastodon.social/tags/electriciansimulatorVR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>electriciansimulatorVR</span></a> <a href="https://mastodon.social/tags/VR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VR</span></a> <a href="https://mastodon.social/tags/workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workbench</span></a> <a href="https://mastodon.social/tags/entertainment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>entertainment</span></a> <a href="https://mastodon.social/tags/electrician" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>electrician</span></a> <a href="https://mastodon.social/tags/simulator" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>simulator</span></a> <a href="https://www.gamingnews24h.com/2025/06/electrician-simulator-vr-workbench.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">gamingnews24h.com/2025/06/elec</span><span class="invisible">trician-simulator-vr-workbench.html</span></a></p>
DesertFOX<p>Sometimes, it's actually not that easy to determine the exact age of an Amiga diskette, because they often didn't even bring a file system. For the game "Desert Strike", luckily, I could just find some information in the disk's root track. So, this one was formatted on October 8th, 1992. I was ten years old at that time. Oh, boy...</p><p><a href="https://techhub.social/tags/RetroComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroComputing</span></a> <a href="https://techhub.social/tags/AmigaOS32" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AmigaOS32</span></a> <a href="https://techhub.social/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> <a href="https://techhub.social/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://techhub.social/tags/Commodore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Commodore</span></a> <a href="https://techhub.social/tags/FloppyDisk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FloppyDisk</span></a> <a href="https://techhub.social/tags/Diskette" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Diskette</span></a> <a href="https://techhub.social/tags/Emulation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emulation</span></a> <a href="https://techhub.social/tags/WinUAE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WinUAE</span></a></p>
DesertFOX<p>Just updated my virtual Amiga to the latest Beta 32 (RC2) of WinUAE 6.0.0. It looks really good and runs smoothly with Amiga OS 3.2.3 and WHDLoad 19.1. Fun times! :blobcat_owo: </p><p><a href="https://techhub.social/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://techhub.social/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> <a href="https://techhub.social/tags/Commodore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Commodore</span></a> <a href="https://techhub.social/tags/AmigaOS32" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AmigaOS32</span></a> <a href="https://techhub.social/tags/RetroComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroComputing</span></a> <a href="https://techhub.social/tags/RetroGaming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroGaming</span></a> <a href="https://techhub.social/tags/RetroGames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroGames</span></a> <a href="https://techhub.social/tags/WHDLoad" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WHDLoad</span></a> <a href="https://techhub.social/tags/WinUAE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WinUAE</span></a> <a href="https://techhub.social/tags/Emulation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emulation</span></a></p>
JavaJobsSAS: The workhorse of the AI era Let’s be real: no single language rules the world anymore. It’s all about the right tool for the job. You’ve seen the lists: “Top Programming Languages of 2...<br><br><a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Innovation" target="_blank">#Innovation</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/data" target="_blank">#data</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/science" target="_blank">#science</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/innovation" target="_blank">#innovation</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/SAS" target="_blank">#SAS</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/executives" target="_blank">#executives</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/SAS" target="_blank">#SAS</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Viya" target="_blank">#Viya</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/SAS" target="_blank">#SAS</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Viya" target="_blank">#Viya</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Workbench" target="_blank">#Workbench</a><br><br><a href="https://blogs.sas.com/content/sascom/2025/06/19/sas-the-workhorse-of-the-ai-era/" rel="nofollow noopener" target="_blank">Origin</a> | <a href="https://awakari.com/sub-details.html?id=JavaJobs" rel="nofollow noopener" target="_blank">Interest</a> | <a href="https://awakari.com/pub-msg.html?id=LhhvCepZGUpNXgpjfrvSyY71wvY&amp;interestId=JavaJobs" rel="nofollow noopener" target="_blank">Match</a>
DesertFOX<p>Nachdem ich die klassische Amiga Workbench 1.3 doch ab und zu für Spiele auf dem A500 brauche, hab ich mir jetzt doch mal auch die physischen Disketten dafür besorgt. Damit alles seine Ordnung hat 😉 .</p><p><a href="https://archive.org/details/amiga-wb133d" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">archive.org/details/amiga-wb13</span><span class="invisible">3d</span></a></p><p><a href="https://techhub.social/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://techhub.social/tags/Commodore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Commodore</span></a> <a href="https://techhub.social/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> <a href="https://techhub.social/tags/FloppyDisk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FloppyDisk</span></a> <a href="https://techhub.social/tags/Disketten" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Disketten</span></a> <a href="https://techhub.social/tags/RetroComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroComputing</span></a> <a href="https://techhub.social/tags/RetroGaming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroGaming</span></a> <a href="https://techhub.social/tags/RetroGames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroGames</span></a> <a href="https://techhub.social/tags/90er" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>90er</span></a> <a href="https://techhub.social/tags/Betriebssystem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Betriebssystem</span></a></p>
Dennis Hoppe<p>That escalated quickly. <a href="https://chaos.social/tags/hobby" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hobby</span></a> <a href="https://chaos.social/tags/sonic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sonic</span></a> <a href="https://chaos.social/tags/workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workbench</span></a></p>
DesertFOX<p>After all this time, SimCity still is one of my favourite video games ever. And after all these years of collecting, I am still finding new stuff!</p><p>Today, I just came across a pristine copy protected disk image of SimCity v1.1 for the Amiga. That one will happily run the game without the need to get any codes from the manual. Also today, I found a slightly more modern version of the Terrain Editor documentation, where they removed the instructions for ATARI systems. "Imho" an interesting bit of gaming history!</p><p>Yep, I guess I'm a nerd. 😜 </p><p><a href="https://techhub.social/tags/SimCity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SimCity</span></a> <a href="https://techhub.social/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://techhub.social/tags/Commodore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Commodore</span></a> <a href="https://techhub.social/tags/RetroGaming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroGaming</span></a> <a href="https://techhub.social/tags/RetroGames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RetroGames</span></a> <a href="https://techhub.social/tags/CopyProtection" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CopyProtection</span></a> <a href="https://techhub.social/tags/FloppyDisk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FloppyDisk</span></a> <a href="https://techhub.social/tags/Diskette" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Diskette</span></a> <a href="https://techhub.social/tags/Kopierschutz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Kopierschutz</span></a> <a href="https://techhub.social/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a></p>
griff<p>I came across this #1976 <a href="https://vmst.io/tags/advertising" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>advertising</span></a> catalogue for a <a href="https://vmst.io/tags/Woodworking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Woodworking</span></a> <a href="https://vmst.io/tags/workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workbench</span></a> that has some interesting features. It's foldable, has a shoulder and tail vice, and a top storage area and comes from a company called Leichtung Tools in <a href="https://vmst.io/tags/cleveland" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cleveland</span></a> <a href="https://vmst.io/tags/ohio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ohio</span></a>. In 2025 dollars it would have cost $1600.</p><p><a href="https://vmst.io/tags/woodworkingbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>woodworkingbench</span></a> <a href="https://vmst.io/tags/backcover" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>backcover</span></a> <a href="https://vmst.io/tags/printedbackcover" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>printedbackcover</span></a> <a href="https://vmst.io/tags/internetarchive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>internetarchive</span></a> <a href="https://vmst.io/tags/vintage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vintage</span></a></p>
Daniel<p>The second entry for the Amiga 40 Tools Jam was submitted by Krzysztof Donat: GoSnap enables the function known from other operating systems for snapping windows to the edges of the screen<br>.<br>GoSnap creates 8 active zones on the Workbench screen: 4 screen corners and 4 edges. When a window is dragged to one of these zones, it is automatically resized and repositioned. </p><p><a href="https://www.amiga-news.de/en/news/AN-2025-05-00091-EN.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">amiga-news.de/en/news/AN-2025-</span><span class="invisible">05-00091-EN.html</span></a></p><p><a href="https://fosstodon.org/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://fosstodon.org/tags/tools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tools</span></a> <a href="https://fosstodon.org/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> <a href="https://fosstodon.org/tags/Amiga40Tools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga40Tools</span></a></p>
Daniel<p>Pawel 'tukinem' Tukatsch has submitted the first entry for the Amiga 40 Tools Jam with "Icon-Made": a simple tool, still under development, that creates standard icons from IFF image files for the Workbench.</p><p>If a single IFF file is loaded, the program creates an icon with one image. If two IFF files are loaded, the tool creates an icon with two images that change as soon as you click on the icon.</p><p><a href="https://www.amiga-news.de/en/news/AN-2025-05-00090-EN.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">amiga-news.de/en/news/AN-2025-</span><span class="invisible">05-00090-EN.html</span></a></p><p><a href="https://fosstodon.org/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://fosstodon.org/tags/Tools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tools</span></a> <a href="https://fosstodon.org/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> <a href="https://fosstodon.org/tags/Amiga40Tools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga40Tools</span></a></p>
Daniel<p>Krzysztof Donat's program GoVD makes it possible to use the Workbench on up to eight virtual screens under AmigaOS 3.2 or higher. It is possible to specify which Workbench windows and programs should use which of the screens. The current version 2.4 now also offers improved compatibility with AmigaOS 4.1.</p><p><a href="https://www.amiga-news.de/en/news/AN-2025-05-00080-EN.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">amiga-news.de/en/news/AN-2025-</span><span class="invisible">05-00080-EN.html</span></a></p><p><a href="https://fosstodon.org/tags/Amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Amiga</span></a> <a href="https://fosstodon.org/tags/Workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Workbench</span></a> <a href="https://fosstodon.org/tags/virtualDesktops" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>virtualDesktops</span></a> <a href="https://fosstodon.org/tags/shareware" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>shareware</span></a></p>
AMIGAworld<p>GoVD - die virtuelle Desktoperweiterung für die Workbench des AmigaOS - ist in Version 2.4 erschienen</p><p>bitplan.pl/govd/</p><p><a href="https://rheinneckar.social/tags/commodore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commodore</span></a> <a href="https://rheinneckar.social/tags/amiga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>amiga</span></a> <a href="https://rheinneckar.social/tags/amigaos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>amigaos</span></a> <a href="https://rheinneckar.social/tags/amigaworld" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>amigaworld</span></a> <a href="https://rheinneckar.social/tags/govd" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>govd</span></a> <a href="https://rheinneckar.social/tags/workbench" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>workbench</span></a> <a href="https://rheinneckar.social/tags/virtual" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>virtual</span></a> <a href="https://rheinneckar.social/tags/desktops" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>desktops</span></a> <a href="https://rheinneckar.social/tags/software" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>software</span></a> <a href="https://rheinneckar.social/tags/retro" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>retro</span></a></p>
LLMsDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...<br><br><a href="https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global" rel="nofollow noopener" target="_blank">https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</a><br><br><a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Generative" target="_blank">#Generative</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Natural" target="_blank">#Natural</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Processing" target="_blank">#Processing</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Workbench" target="_blank">#Workbench</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Deep" target="_blank">#Deep</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Architecture" target="_blank">#Architecture</a><br><br><a href="https://awakari.com/pub-msg.html?id=NlmlCsuboWBuYHEcOgeyqMG6D7A&amp;interestId=LLMs" rel="nofollow noopener" target="_blank">Result Details</a>
deepseekDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs DeepSeek has released DeepSeek...<br><br><a href="https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global" rel="nofollow noopener" target="_blank">https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&amp;utm_source=infoq&amp;utm_medium=feed&amp;utm_term=global</a><br><br><a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Generative" target="_blank">#Generative</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Natural" target="_blank">#Natural</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Processing" target="_blank">#Processing</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Deep" target="_blank">#Deep</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Learning" target="_blank">#Learning</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Language" target="_blank">#Language</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Workbench" target="_blank">#Workbench</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/AI" target="_blank">#AI</a> <a rel="nofollow noopener" class="mention hashtag" href="https://mastodon.social/tags/Architecture" target="_blank">#Architecture</a><br><br><a href="https://awakari.com/pub-msg.html?id=Jb7vtVjUrNcasOGCRSxjvmb4mYK&amp;interestId=deepseek" rel="nofollow noopener" target="_blank">Result Details</a>
TrendingLive feeds
About