In honor of Thomas Paine and other Founders & Immigrants. In memory of my daddy Horst Bingel and my mom Irma Bingel
Sunday, August 02, 2026
India's consumers are starting to pay for apps, not just download them
Saturday, April 11, 2026
Comment on Astrill VPN
Update of 4/28/2026: Yesterday, I was finally able to successfully install and run Proton VPN on my Linux laptop. Proton VPN is so much better than Astrill VPN. Most of the trouble I had with Astrill VPN have disappeared since then.
I have been using Astrill VPN for Linux here in China since end of February. It is a lousy software! So many of my usual news and other websites I can not access from behind the Great Firewall of China despite Astrill VPN!
E.g. I can not do any Google/Bing search.
I have to force kill it almost every day to restart it etc., etc.
I see this popping up several times a day! Totally annoying!
I suspect something was wrong with the Astrill VPN for Linux version that was installed on my laptop by an IT staff.
While I used Astrill VPN for over 6 weeks or so, I never saw any update for this software although I check about once a week the Software Gnome app for new updates.
Friday, December 05, 2025
Monday, October 13, 2025
German state replaces Microsoft Exchange and Outlook with open-source email
- Schleswig-Holstein has moved from Microsoft Exchange and Outlook to Open-Xchange and Thunderbird for e-mail.
- Other EU entities have opted for open-source alternatives.
- This switch isn't just a technical change; it's a political move.
Monday, September 29, 2025
Viral call-recording app Neon goes dark after exposing users' phone numbers, call recordings, and transcripts
Friday, June 27, 2025
Windows killed the Blue Screen of Death (BSOD) after 40 years
Friday, February 28, 2025
Wednesday, January 15, 2025
A new app called Explode, which focuses on disappearing messages on iMessage
Tuesday, January 14, 2025
How Barcelona became an unlikely hub for spyware startups
Palm Beach Networks, and that it develops everything from the zero-day exploits used for compromising devices to the spyware implant itself ...
Sunday, October 27, 2024
A million people play this video wargame. So does the Pentagon and other militaries around the world
Tuesday, July 23, 2024
Switzerland now requires all government software to be open source
Friday, March 29, 2024
Multithreading software tweak doubles computer processing speed, halves energy use
The researchers say the implications for SHMT are huge. Yes, software apps on your existing phones, tablets, desktops and laptops could use this new software library to achieve some pretty wild performance gains. But it could also reduce the need for expensive, high-performance components, leading to cheaper and more efficient devices. ..."
Thursday, June 08, 2023
Mastering Concurrent Algorithms with TLA+: A webinar offered by the Linux Foundation
TLA+ Helps Programmers Squash Bugs Before Coding with a formal specification language
That’s the goal with TLA+, an open-source, high-level language for modeling software programs and hardware systems. Its underlying logic is based on the temporal logic of actions (TLA), a mathematical way to reason about the correctness of concurrent algorithms. Both TLA and TLA+ were developed by Leslie Lamport, a distinguished scientist at Microsoft Research who is best known for inventing LaTeX, a document-preparation system for scientific papers. Lamport also won the 2013 A.M. Turing Award from the Association for Computing Machinery for his work on clarifying the behavior of distributed systems. ...
Some of today’s tech giants have integrated TLA+ into their development processes. Amazon, for instance, has used TLA+ to test its cloud-computing services, as well as search for hard-to-find yet fundamental algorithm flaws in its distributed systems and optimize performance without sacrificing correctness. Microsoft has applied a similar approach to its Azure cloud-computing platform. Engineers at Oracle have, with the help of TLA+, ensured that their distributed-systems designs are correct."
Google's AlphaDev discovers sorting algorithms that can revolutionize computing foundations
The company also announced its intention to make the new algorithms available through the LLVM libc++ standard sorting library, aiming to empower millions of developers and companies in diverse industries. Significantly, this update represents the first revision to this section of the sorting library in over a decade and the initial inclusion of an algorithm developed through reinforcement learning. ..."