Property-Based Testing in Practice
Property-based testing (PBT) is a testing methodology where users
write executable formal specifications of software components and
an automated harness checks these specifications against many
automatically generated inputs. From its roots in the QuickCheck
library in Haskell, PBT has made significant inroads in mainstream
languages and industrial practice at companies such as Amazon,
Volvo, and Stripe. As PBT extends its reach, it is important to understand
how developers are usin … ⌘ Read more
Check Your Mac Security Update Status with SilentKnight
Basically every Mac user is familiar with the process of updating MacOS system software to install updates for their operating system, which typically arrive as point releases (like 15.6) or major version releases (like 26). But did you know that MacOS will also periodically install security updates and anti-malware updates to Gatekeeper, MRT, and Xprotect? … [Read More](https://osxdaily.com/2025/10/24/check-your-mac-secur … ⌘ Read more
Teenager detained at gunpoint by US cops because “AI” mistook a chips bag for a gun
If you’re eating a bag of chips in an area where “AI” software is being used to monitor people’s behaviour, you might want to reconsider. Some high school kid in the US was hanging out with his friends, when all of a sudden, he was being swarmed by police officers with with guns drawn. Held at gunpoint, he was told to lie down, after which he was detained. Obviously, … ⌘ Read more
Why More People Are Taking Control of Their Digital Lives with Self-Hosted Alternatives
Remember when owning software meant you bought a CD, installed it, and it was yours until your computer died? Even if you got a new computer, you could install that same software on the new one. Only “serious” software packages had strict licensing restrictions. These days, most of our tools live in the cloud, guarded… ⌘ Read more
AI Guide to the Galaxy: MCP Toolkit and Gateway, Explained
This is an abridged version of the interview we had in AI Guide to the Galaxy, where host Oleg Šelajev spoke with Jim Clark, Principal Software Engineer at Docker, to unpack Docker’s MCP Toolkit and MCP Gateway. TL;DR What they are: The MCP Toolkit helps you discover, run, and manage MCP servers; the MCP Gateway… ⌘ Read more
Docker + E2B: Building the Future of Trusted AI
Trusted Software Starts Here The era of agents is here. Some teams are experimenting, others are just getting started, and a few are already running agents in production. But one challenge stands out: trust. Trust that your agents will act securely. Over 20 million developers already rely on Docker to build and ship software safely… ⌘ Read more
Der ganze Vorgang ist archetypisch für die seit Jahrzehnten völlig ohne Not stattfindende politische Selbstverzwergung Europas.
A comment on heise about the recent AWS outage.
(Too bad there’s no good translation for the great word “Selbstverzwergung”.)
I’m paraphrasing: Europe (and other regions) depend on US IT services, a lot, without an actual need. We saw AWS, Google, and Microsoft build large datacenters and then we thought “welp, shit, nothing we can do about that, guess we’ll just be an AWS customer from now on.” Nobody really went ahead and built German/European alternatives. And now we completely depend on the US for lots of our stuff.
The article even claims that there’s now a shortage of sysadmins in the EU? I’m not so sure. But I’d welcome it, makes my job more secure. 🤣
Hosting services, datacenters, software, everything, it’s all US stuff. Why do we accept this, why not build alternatives …
Cryptographic Issues in Cloudflare’s Circl FourQ Implementation (CVE-2025-8556)
Comments ⌘ Read more
10 Crazy Things Resulting from Hidden Contract Provisions
We often scroll past pages of endless fine print and click “I agree,” never imagining the bizarre, life-altering consequences buried within. These legal documents—from software End-User License Agreements (EULAs) to celebrity film contracts and even property deeds—are crafted to grant sweeping power to the issuer. But what happens when companies slip absurd demands, perpetual rights, […]
The post [10 Crazy Things Res … ⌘ Read more
Beta 4 of iOS 26.1, macOS Tahoe 26.1, iPadOS 26.1 Available for Testing
Apple has issued the fourth beta of iOS 26.1, iPadOS 26.1, and macOS Tahoe 26.1, for users enrolled in the beta testing programs for Apple system software. The betas continue to offer refinements, adjustments, improvements, and bug fixes to the various OS 26 operating systems. The latest 4th beta build includes a new Liquid Glass … [Read More](https://osxdaily.com/2025/10/20/beta-4-of-ios-26-1 … ⌘ Read more
Docker Model Runner Meets Open WebUI: A Simpler Way to Run Local AI Models
Hi, I’m Sergei Shitikov - a Docker Captain and Lead Software Engineer living in Berlin. I’m focused on DevOps, developer experience, open source, and local AI tools. I created this extension to make it easier for anyone - even without a technical background - to get started with local LLMs using Docker Model Runner and… ⌘ Read more
Debug Docker Builds with Visual Studio Code
Building Docker images is an important component of the software delivery pipeline for modern applications. It’s how we package our apps and services so that they can be distributed to others and deployed to production. While the Dockerfile has long been the standard for defining container images, it is known to be challenging to make… ⌘ Read more
@dce@hashnix.club Arch is the most stress-free OS I’ve ever run (I last reinstalled it 14 years ago, only rolling updates since then) – but to be honest, I sometimes wonder what role my general choice of software plays. I mostly run minimalistic software or programs that I wrote myself. I guess that greatly reduces the chance of breakage. 🤔
The tools for overcoming the top 10 DevOps challenges
DevOps is a way of working that reduces waste. It uses smart tools and practices to build, test, and ship software faster. It makes teams quicker, systems stronger and problems smaller when done right. It’s not… ⌘ Read more
Framework’s Discord Moderators Go on Strike over “Fash” Software Support
Volunteer moderators have “taken a hiatus” in response to Framework supporting Omarchy Linux and Hyperland - which Leftists say have “Hitler Particles”. ⌘ Read more
3rd Beta of iOS 26.1, macOS Tahoe 26.1, iPadOS 26.1 Available for Testing
Beta testing for iOS 26.1, iPadOS 26.1, and macOS Tahoe 26.1 is accelerating pace, with the third beta release now being available for those participating in the beta testing programs for Apple system software. Beta 3 comes just a week after beta 2, and Apple usually goes through several beta versions before issuing a final … [Read More](https://osxdaily.com/2025/10/13/3rd-beta-of-ios-26-1 … ⌘ Read more
“detect-fash” Feature Developed (and Rejected) for Systemd
“A utility to detect problematic software and configurations,” such as Omarchy Linux, Hyprland, & Ladybird, was developed by an account with a Russian Military email address. ⌘ Read more
Trump puts extra 100% tariff on China imports, adds export controls on ‘critical software’ ⌘ Read more
↳
In-reply-to
»
It happened.
⤋ Read More
@movq@www.uninformativ.de Oh dear 😅 We’re starting to see this “garbage software” too over here 👈
It happened.
“Can you help me debug this program? I vibe coded it and I have no idea what’s going on. I had no choice – learning this new language and frameworks would have taken ages, and I have severe time constraints.”
Did I say “no”? Of course not, I’m a “nice guy”. So I’m at fault as well, because I endorsed this whole thing. The other guy is also guilty, because he didn’t communicate clearly to his boss what can be done and how much time it takes. And the boss and his bosses are guilty a lot, because they’re all pushing for “AI”.
The end result is garbage software.
This particular project is still relatively small, so it might be okay at the moment. But normalizing this will yield nothing but garbage. And actually, especially if this small project works out fine, this contributes to the shittiness because management will interpret this as “hey, AI works”, so they will keep asking for it in future projects.
How utterly frustrating. This is not what I want to do every day from now on.
↳
In-reply-to
»
My open letter, to the European Commission digital markets act team:
⤋ Read More
@movq@www.uninformativ.de I submitted it via the form on their website (https://digital-markets-act.ec.europa.eu/contact-dma-team_en) and got the following response:
Dear citizen,
Thank you for contacting us and sharing your concerns regarding the impact of Google’s plans to introduce a developer verification process on Android. We appreciate that you have chosen to contact us, as we welcome feedback from interested parties.
As you may be aware, the Digital Markets Act (‘DMA’) obliges gatekeepers like Google to effectively allow the distribution of apps on their operating system through third party app stores or the web. At the same time, the DMA also permits Google to introduce strictly necessary and proportionate measures to ensure that third-party software apps or app stores do not endanger the integrity of the hardware or operating system or to enable end users to effectively protect security.
We have taken note of your concerns and, while we cannot comment on ongoing dialogue with gatekeepers, these considerations will form part of our assessment of the justifications for the verification process provided by Google.
Kind regards,
The DMA Team
Powered by Docker: How Open Source Genius Cut Entropy Debt with Docker MCP Toolkit and Claude Desktop
This is part of the Powered by Docker series, where we feature use cases and success stories from Docker partners and practitioners. This story was contributed by Ryan Wanner. Ryan has more than fifteen years of experience as an entrepreneur and 3 years in AI space developing software and is the founder of Open Source… ⌘ Read more
Unlimited access to Docker Hardened Images: Because security should be affordable, always
Every organization we speak with shares the same goal: to deliver software that is secure and free of CVEs. Near-zero CVEs is the ideal state. But achieving that ideal is harder than it sounds, because paradoxes exist at every step. Developers patch quickly, yet new CVEs appear faster than fixes can ship. Organizations standardize on… ⌘ Read more
The developer role is evolving. Here’s how to stay ahead.
AI is changing how software gets built. Explore the skills you need to keep up and stand out.
The post The developer role is evolving. Here’s how to stay ahead. appeared first on The GitHub Blog. ⌘ Read more
AI and Home-Cooked Software
https://mrkaran.dev/posts/ai-home-cooked-software/
Terasic Announces Starter Kit Featuring RISC-V Nios V Processor and Software Bundle
Terasic has introduced the Atum Nios V Starter Kit, a feature-rich evaluation platform designed to accelerate development with Altera’s Nios V processor. The kit is aimed at embedded engineers, system developers, and educators looking for a practical way to explore RISC-V–based designs on the Agilex 3 FPGA platform. According to Terasic’s announcement, the kit is […] ⌘ Read more
Linux, Rust, & NixOS Use Master Branch, Support Human Slavery
Using the term “Master” in our software projects is racist, right? ⌘ Read more
Asked to do something illegal at work? Here’s what these software engineers did
Article URL: https://blog.pragmaticengineer.com/asked-to-do-something-illegal-at-work/
Comments URL: https://news.ycombinator.com/item?id=45447536
Points: 527
# Comments: 337 ⌘ Read more
SigCore UC Industrial Control Module Prepares for Crowd Supply Launch
Crowd Supply recently featured the SigCore UC, an upcoming universal industrial I/O controller that combines rugged hardware with open-source software for engineers, researchers, and educators seeking a flexible control and data acquisition platform. Unlike typical development boards or expansion modules, SigCore UC arrives as a complete, ready-to-deploy solution. It is capable of handling real-world volt … ⌘ Read more
iOS 18.7.1 & iPadOS 18.7.1 Updates Released with Security Patch
Apple has released iOS 18.7.1 for iPhone and ipadOS 18.7.1 for iPad. The small software updates include security patches, and are offered as alternatives to iPhone and iPad users who either don’t want to install iOS 26 onto their device yet, or cannot for compatibility reasons. No new features or major changes are expected in … Read More ⌘ Read more