Tootfinder

Etwas mehr der heute besonders häufig geteilten #News:
Cariad: VW-Tochter stellt eigene Software-Entwicklung weitgehend ein

Alvys, an AI-powered logistics software provider, raised a $40M Series B led by RTP Global, bringing its total funding to $77M; Alvys has 1000 customers (Mary Ann Azevedo/Crunchbase News)
https://news.crunchbase.com/transportation/logistics-software-star…

Exclusive: Trucker's Son Bucks Logistics Funding Decline with $40M Raise For Startup Alvys
Alvys, an AI-powered logistics software provider, has raised $40 million in an RTP Global-led Series B funding, the company tells Crunchbase News exclusively.

Die digitale Welt ändert sich genauso wie die analoge. Das geht nicht spurlos an unserer gewohnten Umgebung vorbei. Funktioniert die Idee der Freien Software noch? Schwierig.
Wer ein @… Digital-Abo hat, kann meine Kolumne jetzt schon lesen, sonst morgen.
Und das ND braucht dringend Abos, damit es auch nächstes Jahr noch diese linke Zeitung gibt. Ab 15€…

In #Hessen gab es übrigens schon 2019 Zweifel an der Alternativlosigkeit der #Palantir-Software, die dort unter schwarz-grün beschafft wurde. (1/3)

Zweifelhafter Software-Kauf
Ein Gutachten sieht Alternativen zur Anschaffung von Hessen-Data bei der US-Firma Palantir.

Someone made a low-end #Android phone and glued a #LoRa #Mesh module on its back.

Great things often begin as outlines. Whether you're a writer or a student, an attorney or a software developer, outlines can help clarify and develop ideas and concepts.
We're thrilled to share that the next version of OmniOutliner is nearly ready as a universal app for Mac, iPad, iPhone, and Apple Vision Pro, and that we're making test builds available to anyone who wants to help make sure we haven't overlooked anything.

ICEBlock war der digitale Türspion gegen die Einwanderungspolizei. Apple hat ihn rausgeworfen, weil er „Agenten gefährdet“ – Software darf ja alles, nur nicht den Falschen nerven. Trump klatscht Beifall, #Spiegel

🏗️ Compiling a Lisp: Lambda lifting
#software

Compiling a Lisp: Closure conversion
first – previous

»Hollow Knight - Silksong – Ohne Marketing zum Millionenhit: Was die Gaming-Branche von "Silksong" lernt.
Sechs Jahre Entwicklungszeit, null Marketing-Budget – und trotzdem das meisterwartete Spiel des Jahres«
Sehr spannend und mal sehen wie es ansonsten vom Ansatz von Marketing und der Umsetzung von Software angewendet werden kann.
🎮

Ohne Marketing zum Millionenhit: Was die Gaming-Branche von "Silksong" lernt
Sechs Jahre Entwicklungszeit, null Marketing-Budget – und trotzdem das meisterwartete Spiel des Jahres

Have expertise with functional programming, interpreters, and Web technology? Like Rust, wasm, etc.? Looking for a job with a great team? Please see this job ad, and share with others you might know!
https://zoo.dev/jobs/4619187005?gh_src&gh_jid=4619187005

Zoo: Software Engineer, Language Development
A remote position now hiring at Zoo

One of the rare examples where #Microsoft actually created a software itself (instead of buying some 3rd party tool embracing it) was published as open source (MIT license): https://github.com/microsoft/BASIC-M65

Tesco is suing Broadcom and technology reseller Computacenter in a dispute over VMware software licences that it says could disrupt its ability to keep food on shelves.
https://www.computing.co.uk/news/2025/cloud/tesco-sues…

Tesco sues Broadcom over VMware licensing, warns food supply could be hit
Tesco is suing Broadcom and technology reseller Computacenter in a dispute over VMware software licences that it says could disrupt its ability to keep food ...

Cariad: VW-Tochter stellt eigene Software-Entwicklung weitgehend ein
Die umstrittene Softwaretochter Cariad existiert bei Volkswagen zwar weiter, fungiert aber nur noch als Integrator von Code von Partnern wie Rivian und Xpeng.

Kleines Zwischenupdate bis morgen dann die finale Version der Mastodon Software v4.5.0 erscheinen wird.
Jetzt läuft die Instanz https://bayerwald.social erst einmal mit Version v4.5.0-rc.3

Release v4.5.0-rc.3 · mastodon/mastodon
WarningThis is a pre-release! This has not been as widely tested as regular releases, although it is still tested on mastodon.social and some other servers. If you update to this release, you will ...

I never use a software store; the cli rules for me. The Cosmic Store though adds community made applets for the desktop environment. A couple of days ago I easily added a theme to the repo. This community-contributing aspect is a bit overlooked, but it makes Cosmic stand out.
#cosmic #nixos

Super scheiss Software, welche ihre Scheiss-Lizenzserver hinter einem Scheiss-Cloudflare verstecken muss, so dass man seinen Servern eigentlich das ganze Scheiss-Internet öffnen muss.
Scheiss-Sicherheit. 🤬
Ich glaube, ich gehe heute besser nicht ein Bier trinken mit Kollegen, da gute Laune… 🙄

advogato: Advogato trust network (2009)
A network of trust relationships among users on Advogato, an online community of open source software developers. Edge direction indicates that node i trusts node j, and edge weight denotes one of four increasing levels of declared trust from i to j: observer (0.4), apprentice (0.6), journeyer (0.8), and master (1.0).
This network has 6541 nodes and 51127 edges.
Tags: Social, Online, Weighted

Hmm, looks like I can use Apple Health's exported data to get all the .gpx files showing my cycle (and walking) routes, so it would just be a matter of getting those into some mapping software to map it all.
It looks like @… can do it, and there are probably some other solutions as well.

I'll be at an #OpenSource Contributor Meetup at @… in #Erlangen this Thursday at 18:00. I'm recycling a talk I did at a

A feature which I'm really looking forward to is brewing in #Python packaging: Specifying default extras.
The aiocoap library I maintain can (and is tested to) work with no other dependencies than Python, but most users will like the additional features such as pretty-printing support, or more security options than just TLS. So far, they have to `pip run --spec "aiocoap[all]" aio…

PEP 771 – Default Extras for Python Software Packages | peps.python.org
PEP 508 specifies a mini-language for declaring package dependencies. One feature of this language is the ability to specify extras, which are optional components of a distribution that, when used, install additional dependencies. This PEP proposes a me...

“Last night, as everyone in my house went to sleep, I took a deep breath and edited the Wikipedia page for #TIFF, the Tag Image File Format. It no longer reads ‘created by Aldus’; it reads ‘…created by Stephen Carlsen, an engineer at Aldus.’” https://

Mr TIFF
For as long as I have published my books, one of my overarching goals was to give credit to those who actually invented the hardware and software that we use. It has taken 10,000+ hours to create that accurate record of their work but I'm not complaining. The as-close-to-possible

Estava jogando #xenonauts, aí do nada o software deu crash. O jogo até tinha feito um auto-save, mas foi quando eu estava ainda prestes a começar a missão terrestre. Nossa, isso desanima tanto. Até encerrei a jogatina mais cedo do que precisava.

Hab mich mal umgehört, ob das, was #Gotham von #Palantir demnächst für die Polizei in #BadenWürttemberg tun soll, wirklich so alternativlos ist, wie es von einigen dargestellt wird.

Palantir-Software "Gotham" bei der Polizei in der Kritik: Können BW-Unternehmen den Streit lösen?
Die Polizei in BW soll bald die Software "Gotham" von Palantir einsetzen. Doch es gibt Kritik - unter anderem an Firmen-Mitgründer Peter Thiel.

today in "draw the rest of the fucking owl"

Beacon Software, which buys niche software businesses and uses AI to transform them, raised a $250M Series B led by GC, Lightspeed, and D1 at a $1B valuation (Krystal Hu/Reuters)
https://www.reuters.com/technology/beacon-…

heise meets ... Richard Seidl gewinnt den Deutschen Preis für Software-Qualität
Softwareentwickler müssen mehr tun, um Vertrauen zu schaffen. Nur so könne Technologie ein brauchbares Werkzeug bleiben, um die Zukunft zu gestalten.

I was looking for my dishwasher manual. I noticed next to the manual, a link that said "Free Open Source Software". Curious, I clicked on it, and it's a long list of licenses and copyright information that is used in the dishwasher. Ctrl-F, and sure enough - my name's on the list.
I feel like I should have gotten a discount on the dishwasher, or at the very least access to its firmware source code! 🤠

Wer von digitaler Souveränität redet und dabei die meint, bei der deutsche (oder EU-)Institutionen oder Unternehmen ohne US-Software oder -Clouds auskommen, sollte das konsequenterweise 'Nationale digitale Souveränität' nennen.
Ich bin nicht souveräner, wenn ich von deutscher oder europäischer Software getrackt oder überwacht werde werde.

I'm a Senior #Software Engineer with 20 years of professional experience.
I'm based in the USA and looking for #remote work.
I have primarily worked with web technologies such as #JavaScript

Yesterday I installed some OpenSource Software on my Laptop. As it also has a donation page, I donated 5€.
Since a couple of years I try to donate whenever I install OpenSource Software. Something between 5€-15€. Especially in the age of "Free"Apps that are bloated with Ads, I want to honor when a software comes just as is with a friendly hint to a donation page.
(I really try to avoid resetting my machines as this always comes with a couple of donations...)

Oh fun find, there was actually something called Oxide in the history of #Rust already - a formalization attempt:
https://arxiv.org/abs/1903.00982 🦀
cc @…

Oxide: The Essence of Rust
Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables programmers to build more reliable and efficient software is the borrow checker - a novel approach to ownership that aims to balance type system expressivity with usability. And yet, to date there is no core type system that captures Rust's notion of ownership and borrowing, and hence no foundation for rese…

The product triad is obsolete. The ideal software development team actually has four members:
#tech #agile #softwaredevelopment

I wonder how hard/expensive it would be to implement ActivityPub in LessWrong's software

advogato: Advogato trust network (2009)
A network of trust relationships among users on Advogato, an online community of open source software developers. Edge direction indicates that node i trusts node j, and edge weight denotes one of four increasing levels of declared trust from i to j: observer (0.4), apprentice (0.6), journeyer (0.8), and master (1.0).
This network has 6541 nodes and 51127 edges.
Tags: Social, Online, Weighted

It's not a language or a framework that I ever use, but I think that "don't be too clever" is one of the most important rules that every software developer should abide by.
#SoftwareEngineering #Programming #coding

Die bayerische Staatsregierung will bald von Microsofts On-Premise-Software auf das Cloud-Paket 365 umsteigen – und dabei auch für die Kommunen ein entsprechendes Angebot schaffen. Nach Schätzungen von Kritikern geht es bei dem Microsoft-Deal um einen Milliardenbetrag, so ct - Unfassbar #DigitaleSouveränität

Who herein is using ON1 Photo RAW 2026?
Your thoughts/Reviews on why I should purchase this cool looking app?
#affinity

@… sagt, wenn die Polizei viele Daten zusammenführen kann, egal mit welcher Software, sei das hochriskant.
Ich seh's ein bisschen anders - erlaubt isses ja bisher schon, nur passiert es noch händisch. Und da ich finde schon, dass die Polizei einfacher und schneller arbeiten können sollte.
Wie seht Ihr das und warum?

Palantir-Software "Gotham" bei der Polizei in der Kritik: Können BW-Unternehmen den Streit lösen?
Die Polizei in BW soll bald die Software "Gotham" von Palantir einsetzen. Doch es gibt Kritik - unter anderem an Firmen-Mitgründer Peter Thiel.

Research: AI's ability to complete long and complex software engineering tasks doubles every 6-7 months, but there is a "messiness tax" for real-world tasks (Boaz Barak/Windows On Theory)
https://windowsontheory.org/2025/11/04/thoughts-by…

Thoughts by a non-economist on AI and economics
Crossposted on lesswrong Modern humans first emerged about 100,000 years ago. For the next 99,800 years or so, nothing happened. Well, not quite nothing. There were wars, political intrigue, the in…

Etwas mehr der heute besonders häufig geteilten #News:
Linux Mint 22.2 "Zara" ist erschienen
https://www.

#PhantastikPrompts 01.11.:
Benutzt du spezielle Software, die dich beim Schreiben unterstützt, wenn ja, welche?
Ich habe 2015 oder so Patchwork gekauft, weil es damals ungefähr so viel kostete wie Scrivener, aber mehr Funktionen und einen deutschsprachigen Support hatte.
Inzwischen ist der Entwickler gestorben und Patchwork ist Abandonware - niewesen hat die Rechte dar…

Anonymous help:
#OpenSource #FreeSoftware

Got an old iMac from @… - time to clean it out from crapple software and install :budgie:

✍️ New post: Euro­pean Tech Alternatives 🇪🇺
#blogtober #tech #software #europe

European Tech Alternatives 🇪🇺 · Matthias Ott
Matthias Ott is an independent user experience designer and web design engineer from Stuttgart, Germany. He also teaches Interface Prototyping at the Muthesius Academy of Fine Arts and Design.

I discovered a new software that I absolutely love: @…
A self hosted web app that replaces Google Timeline and gives me complete control over my GPS/GNSS location history.

Einige der zuletzt hier besonders häufig geteilten #News:
Linux Mint 22.2 "Zara" ist erschienen
https://www.

How rising unemployment in computer-related fields in the US, where foreign nationals make up ~20% of 2.3M software devs, pushed the H-1B issue to the forefront (Noam Scheiber/New York Times)
https://www.nytimes.com/2025/10/03/bu…

Why Are H-1B Visas Suddenly a Big Deal? One Reason: Tech Jobs Disappeared
The president’s decision to charge employers $100,000 per visa for skilled workers seemed to come out of nowhere. But the grievance behind it has been simmering.

Given its constituency, the only thing I expect to be "open" about [the
Open Software Foundation] is its mouth.
-- John Gilmore

Which open source wiki software is state of the art? My requirements:
* can be hosted in a docker container/docker compose setup
* still maintained
* simple user management (if at all)
* user friendly (can be used by non-tech people)
Fediverse go!
#Wiki #Wikipedia

Made a post on how I got here in this Linux and FOSS journey. Big thank you to all the community.
#foss

Hallo Baden Württemberg:
Am Samstag könnt ihr in Stuttgart mithelfen, Eure Landesregierung davon abzuhalten die Software von Palantir für die Polizei einzuführen. Das wäre eine großartige Art diesen Samstag zu verbringen.
Palantir wegboxen.
https://sueden.social/@kein_palantir_b

Kein Palantir BW (@kein_palantir_bw@sueden.social)
Attached: 1 image Kein Palantir in Baden-Württemberg. Die bevorstehende Polizeireform ist kein gemäßigter Kompromiss, auch wenn die Grüne Landesspitze das behauptet. Polizeirecht wird so weit ausgedehnt, dass der Einsatz von Palantir damit möglich wird. Auch eine künftige europäische Lösung wird diesen ausgedehnten und grundrechtsfernen Rechtsrahmen nutzen. Wir handeln uns am 05. November unwiderruflich ein Überwachungsregime ins Haus, dass die Gesellschaft verändern wird. #Kein…

holy cow Affinity just changed their app's ToS for _software I already own and agreed to terms for_. Gross.

python_dependency: Python Dependency Network
Python's package dependency networks. Nodes in the network are Python's packages registered to PyPI and edges are dependencies among packages.
This network has 58743 nodes and 108399 edges.
Tags: Technological, Software, Unweighted
https://networks.sk…

Zukunft!
#haxkoleaks

Linux Mint 22.2 "Zara" ist erschienen
Linux Mint 22.2 frischt die enthaltene Software auf, nimmt die Fingerabdrücke seiner Nutzer ab und stülpt Libadwaita-Programmen die eigene Optik über.
https://www.

ok so it turns out that using "your own" anycast infra (renting a shared /32, since a /24 costs waaaay too much) is actually quite straightforward? *shuffles five hours lost to baroque BGP software and stupid fucking TCP MD5 option under the desk*
if i knew this i'd not have bothered with IaaS providers (primary occupuation: billing. secondary occupation: pro-AI extremist rants on the blog full of contept for their customers)

Withings Scanwatch 2: Großes Update bringt KI-Funktionen und längere Laufzeit
Withings präsentiert auf der IFA 2025 ein großes Software-Update für die Hybrid-Smartwatch "ScanWatch 2", mit dem die Laufzeit um fünf Tage verlängert wird.

»Rückgrat — Python lehnt Millionenförderung durch Trump-Regierung wegen Anti-Diversitäts-Auflagen ab:
Die Python Software Foundation hätte mit 1,5 Millionen US-Dollar die größte Förderung in der eigenen Geschichte erhalten sollen«
Gut dass Python sich klar gegen Trumps Einkaufen von Propaganda wehrt auch wenn es Finanziell suboptimal ist. Nun können andere Sponsoren zeigen wie Weltoffen die wirklich sind.
:python:

Python lehnt Millionenförderung durch Trump-Regierung wegen Anti-Diversitäts-Auflagen ab
Die Python Software Foundation hätte mit 1,5 Millionen US-Dollar die größte Förderung in der eigenen Geschichte erhalten sollen

jdk: Java SE Dev Kit dependencies (1.6.0.7)
A network of class dependencies within the JDK (Java SE Development Kit) 1.6.0.7 framework. Nodes represent classes and a directed edge indicates a dependency of one class on another.
This network has 6434 nodes and 150985 edges.
Tags: Technological, Software, Unweighted, Multigraph
https://

Sources: OpenAI and Jony Ive have yet to solve key technical and software issues that could delay the company's palm-sized device, slated for release in 2026 (Financial Times)
https://www.ft.com/content/58b078be-e0ab-492f-9dbf-c2fe67298dd3

Montag: Neues und günstigeres Tesla Model Y, Kölner KI-Firma vor US-Börsengang
Tesla-Prototyp abgelichtet Milliardenbewertung für DeepL VW-Software von Partnern Fallschirm mit Kirigami-Technik Ermittler gegen illegales Streaming

Studie: Potenziell gefährliche KI-generierte Proteine werden nicht immer erkannt
Eine Studie zeigt, dass KI gefährliche Proteine erzeugen kann, die gängige Sicherheitschecks umgehen. Software-Patches sollen helfen.

Responding to the growing demand from organisations worldwide to reduce their dependency on US cloud providers, German software giant SAP has announced plans to invest more than €20 billion over the next decade in sovereign cloud infrastructure, research and development and personnel.

SAP promises €20bn+ to expand its sovereign cloud services
Responding to the growing demand from organisations worldwide to reduce their dependency on US cloud providers, German software giant SAP has announced plans to invest ...

The US Army awards a $98.9M contract to TurbineOne to deploy AI software that helps infantry identify drones and other threats locally on soldiers' devices (Heather Somerville/Wall Street Journal)
https://www.wsj.com/tech/ai/us-military-ai

I keep wondering what it would look like for free software developers to unionize and strike.

Microsoft unveils Project Ire, a prototype AI system that can reverse engineer and identify malicious software autonomously, without human assistance (Todd Bishop/GeekWire)
https://www.geekwire.com/2025/microsofts-new-a…

Cadence Design to acquire Hexagon's Stockholm-based design and engineering unit, a computer-aided engineering software provider, for €2.7B in cash and stock (Juby Babu/Reuters)
https://www.reuters.com/business/cadence-design-bu…

software_dependencies: Software dependencies (2010)
Several networks of software dependencies. Nodes represent libraries and a directed edge denotes a library dependency on another.
This network has 6488 nodes and 150985 edges.
Tags: Technological, Software, Unweighted
https://networks.skewed.de…

Sources: Veeam, which offers data backup and disaster recovery tools, is in advanced talks to acquire data privacy management software maker Securiti for ~$1.8B (Bloomberg)
https://www.bloomberg.com/news/articles/2025-10-06/insigh…

Who doesn’t love a good buzzword? It’s possible that half the tech industry (and a good proportion of tech journalism) wouldn’t exist if the industry didn’t hunger for a neologism. One of the latest (but not the latest) is vibe coding.
https://www.computing.co.uk/interview/2025

Don’t vibe that code
Azul’s CTO on when and when not to use LLMs to assist software development

XPeng says it plans to launch three self-developed robotaxis in 2026, the first Chinese EV maker to do so, using in-house chips and its own software system (Jiahui Huang/Wall Street Journal)
https://www.wsj.com/business/autos/xpeng-g

IBM plans to cut "a low single-digit percentage" of its workforce in Q4, affecting thousands of staffers; it employed ~270K workers as of the end of 2024 (Bloomberg)
https://www.bloomberg.com/news/articles/2025-11-04/ibm-…

Noch einige der zuletzt hier besonders häufig geteilten #News:
Heimautomatisierung: ESPHome-Lücke erlaubt volle Kompromittierung

github: GitHub contest (2009)
The bipartite project-user membership network of the software development hosting site GitHub. A user connects to a project if that user is a member of that project.
This network has 177386 nodes and 440237 edges.
Tags: Economic, Production, Unweighted
https://networks.skewed.de/net/github

LinkedIn sues a company called ProAPIs for allegedly operating millions of fake accounts to scrape LinkedIn member data and selling it for ~$15,000 per month (Suzanne Smalley/The Record)
https://therecord.media/linkedin-sues-data-scraping-company

LinkedIn sues software company allegedly scraping data from millions of profiles
ProAPIs, a software company, and its CEO Rahmat Alam allegedly run an operation which LinkedIn says charges customers up to $15,000 per month for scraped user data taken from the social media platform.

linux: Linux source inclusions (v3.16)
A network of Linux (v3.16) source code file inclusion. Nodes represent source files and a directed edge indicates if one file includes another.
This network has 30837 nodes and 213954 edges.
Tags: Technological, Software, Unweighted
https://networks.skewed.de/net/linux

jdk: Java SE Dev Kit dependencies (1.6.0.7)
A network of class dependencies within the JDK (Java SE Development Kit) 1.6.0.7 framework. Nodes represent classes and a directed edge indicates a dependency of one class on another.
This network has 6434 nodes and 150985 edges.
Tags: Technological, Software, Unweighted, Multigraph
https://

A deep dive into the state of the tech job market in 2025, including an increase in demand for AI engineers and a rising average tenure at Big Tech companies (Gergely Orosz/The Pragmatic Engineer)
https://newsletter.pragmaticengineer.com/p/state-of-the-tech-market…

State of the software engineering job market in 2025
A deepdive into today’s tech jobs market, with exclusive data on tech jobs, AI engineering, Big Tech recruitment, the growing importance of location, and more

Nvidia acquires Solver, a three-year-old AI coding agent startup formerly known as Laredo Labs, which had raised $8M from Radical Ventures and other investors (The Information)
https://www.theinformation.com/briefings/nvidia-acquires-coding-startup-solver

Nvidia Acquires Coding Startup Solver
Nvidia has acquired Solver, a three-year-old software development startup, The Information reported Tuesday . The startup, formerly known as Laredo Labs, had developed an AI coding agent and raised $8 million in financing from investors including Radical Ventures and Horizons Ventures. Nvidia regularly buys small startups, including several whose technology can lower the cost of using its

software_dependencies: Software dependencies (2010)
Several networks of software dependencies. Nodes represent libraries and a directed edge denotes a library dependency on another.
This network has 532 nodes and 1730 edges.
Tags: Technological, Software, Unweighted
https://networks.skewed.de/n…

KKR invests in Infobric, a Stirling Square-backed Swedish company that offers software to the construction industry, sources say at a ~€600M valuation (Swetha Gopinath/Bloomberg)
https://www.bloomberg.com/news/articles/2025-09-2…

software_dependencies: Software dependencies (2010)
Several networks of software dependencies. Nodes represent libraries and a directed edge denotes a library dependency on another.
This network has 2124 nodes and 10000 edges.
Tags: Technological, Software, Unweighted
https://networks.skewed.de…

Rob Williams, Amazon's VP of device software and services and member of the S-team advising CEO Andy Jassy, will retire and leave Amazon by the end of 2025 (Greg Bensinger/Reuters)
https://www.reuters.com/business/retail-co

OpenText plans to sell its eDOCS legal document management system to NetDocuments for $163M and use the proceeds to reduce its outstanding debt (Bloomberg Law)
https://news.bloomberglaw.com/legal-ops-and-tech/opentext-selling-edocs…

python_dependency: Python Dependency Network
Python's package dependency networks. Nodes in the network are Python's packages registered to PyPI and edges are dependencies among packages.
This network has 58743 nodes and 108399 edges.
Tags: Technological, Software, Unweighted
https://networks.sk…

Samsung macht Kühlschrank-Displays zur Werbefläche
Samsung bringt ein Software-Update für smarte Edel-Kühlschränke. Dazu gehört ein Bildschirmschoner, der auch Werbung anzeigt, vorerst allerdings nur in den USA.
https:…

Source: HR software company Gusto paid ~$600M to acquire Guideline, which offers 401(k) plans to SMBs; Guideline raised $340M and had a $1.15B valuation in 2021 (TechCrunch)
https://techcrunch.com/2025/10/01/sources-g…

Sources: Gusto paid $600M to acquire Guideline, plans to divest customers linked to rivals | TechCrunch
While the HR tech Guideline was last valued at $1.15 billion, the sale will likely yield a profit for most investors.

Microsoft says it agreed to give the US GSA $6B in potential savings on Office, Azure, 365, and other tools over three years, including $3.1B in the first year (Jordan Novet/CNBC)
https://www.cnbc.com/2025/09/02/microsoft-offers-us-…

Microsoft offers U.S. government over $6 billion in savings on cloud services over 3 years
Microsoft is the latest company to discount the cost of its software to the General Services Administration.

Education software maker Anthology files for bankruptcy, listing $1B to $10B in both assets and liabilities after its Blackboard merger debt became unmanageable (Bloomberg)
https://www.bloomberg.com/news/articles/2025-09-30/v…

Veritas-Backed Software Provider Anthology Files for Bankruptcy
Anthology Inc., the Veritas Capital-backed education-software provider, sought Chapter 11 bankruptcy protection in the US after a failed attempt to sell the company or parts of the business outside of court protection.

Microsoft launches a $19.99 per month Microsoft 365 Premium subscription, bundling Copilot Pro and Microsoft 365 Family subscriptions along with cloud storage (Jordan Novet/CNBC)
https://www.cnbc.com/2025/10/01/microsoft-365-premium-bundle-ai-copilot.html

Microsoft launches AI and productivity software bundle for consumers
The software company introduced Copilot Pro at $20 per month in early 2024.

VW revives its struggling software unit Cariad after a "complete reset" of its strategy, including partnerships with Xpeng in China and Rivian in the US (Financial Times)
https://www.ft.com/content/477fb366-ede5-4951-bef7-252c01260820

New York-based DualEntry, which offers AI-powered ERP software, raised a $90M Series A led by Lightspeed and Khosla Ventures, valuing the company at $415M (Krystal Hu/Reuters)
https://www.reuters.com/technology/company-valued-415-million-2025-10-02/
…

BMW's iX3 electric SUV, debuting September 5, will be the first in a series of "software-defined vehicle" on its €10B Neue Klasse platform unveiled in 2021 (Financial Times)
https://www.ft.com/content/42250738-f246-4a31-94b4-fd6a894f99ae

Copenhagen-based Formalize, whose compliance software serves organizations in 80 countries, raised a €30M Series B co-led by Acton Capital and Blackfin Tech (Tamara Djurickovic/Tech.eu)
https://tech.eu/2025/10/28/formalize-raises-eur30m-to-a…

Formalize raises €30M to advance compliance solutions across Europe
Copenhagen-based Formalize has raised €30 million in a Series B co-led by Acton Capital and Blackfin Tech, with participation from West Hill Capital and CIBC Innovation Banking. The company has raised €50 million to date.Across Europe, organisations face an increasingly complex, interconnected regulatory landscape, with evolving rules reshaping expectations for information security, resilience, and reporting across industries and regions. Formalize, addresses this with a single platform…

New York-based Kaizen, which provides a commerce platform for government agencies to offer services like utility billing, raised a $21M Series A led by NEA (Chris Metinko/Axios)
https://www.axios.com/pro/enterprise-software-deals/202…

Exclusive: Govtech startup Kaizen raises $21M for commerce platform
NEA led the round.

Archy, which offers AI-powered dental practice management software, raised a $20M Series B led by TCV, bringing its total funding to $47M (Mary Ann Azevedo/Crunchbase News)
https://news.crunchbase.com/venture/dental-saas-provider-archy-raises-seriesb/

Exclusive: Founded By Uber Alumni, Archy Raises $20M To Put Dental Practices ‘On Autopilot’
San Jose, California-based Archy, which is building AI agents into its software platform to handle the busywork at dental offices, will use the new funding to bulk up its engineering, AI and go-to-market teams.