@hncompanion.comThe thread quickly drifted from pure math to software engineering. If models automate the low-level proof checking and boilerplate coding, commenters wondered what happens to the pipeline for training junior practitioners into experts who actually spot these flaws. #software 3/4
@tabmcleod.bsky.social
@bjornw.mastodon.social.ap.brid.gySome time ago I was approached by Mave.io, a Dutch online video company, to advise them on the pro's and cons of making their product available as #opensource #software.
Today I got news that Mave Core is available under #AGPL for #selfhosting.
They also continue to […]
@tabmcleod.bsky.socialMore on the death of Margaret Hamilton and her role in developing Apollo #software and the impact on the #apollo11 #MoonLanding
@makemagazin.deFür dieses animatronische Projekt genügt schon ein wenig Fischertechnik für die Mechanik, gepaart mit einem ESP32, einem MP3-Player und einem Servo. #Software
@xtechai.bsky.social🤖 Servicios de IA con integración de sistemas: guía para empresas
👉 consultorainteligenciaartificial.es/servicios-de...
#IA #Software
@xtechai.bsky.social🎧 Spotify reúne sus herramientas de desarrollo y software empresarial en una nueva plataforma
👉 softwareamedida.eu/spotify-reun...
#Software #SaaS
@momenulahmad.bsky.socialOne software 4 terminal running, good going, another one need to open for integrating Atlassian Jira, specially for Webhooks, API----
#software #application #development #workflowsautomation #seosiri @seosiri.com
@ixmagazin.bsky.socialWo früher Admins vieles selbst erledigten, steuern heute Prozesse Aufgaben gezielt an Automatisierungstools und Spezialisten – unterstützt durch modernes ITSM. #Software
@timmarketing.bsky.socialFinding affordable software keys An acquaintance of mine recently upgraded their workstation and found a great deal on a Windows licence through cd keys uk. They were impressed by how simple the digital delivery was and managed to get everything activated without any issues. #Software #UKTech
@aprendetecnoco.bsky.socialEncuentra Cropealo y otros programas en la tienda de software 👉 aprendetecnoconmigo.blogspot.com
@communityaws.bsky.social"My Code Works on My Laptop. So, Why Is Deployment a Different Story?" by Dnyaneshwar Patil
#software-engineering #software-development #software-architecture #java
@hncompanion.comThe unresolved problem isn't file size, but edge cases. Non-standard accents, speech impediments, and niche local library commands still break these models, leaving open whether extreme quantization actually serves the people who rely on dictation most. #software 4/4
@subnetscripter.bsky.socialHad a minimal working #Rust code for my passion project and broke it when I tried to implement traits for a layer of abstraction 😅 All part of the learning process I suppose.😭
@standup.thecompound.techHazelcast CVE-2026-107726 affects 5.6.0, 5.5.0-5.5.9 and versions before 5.4.5. A low-privileged client that can connect can read member memory and crash nodes; fixes are 5.7.0, 5.6.1, 5.5.10 and 5.4.5. #software
@thecompound.techSkillWorks gives every Frame page a Simple view with the same heading and content river, without the two side rails. Listing rows become cards with a score, grade, load result, repository stars, and last-commit date. #software
@timmarketing.bsky.socialFinding Reliable Windows Keys Someone I know uses cd keys uk for their software needs. They find it a straightforward way to get genuine Windows keys. It is a popular, secure, and affordable choice for those in the UK. #Windows #Software
@pressewelle.de
@detoxima2025.bsky.social