Sam Altman’s Worldcoin Project Struggles Toward Billion-User Ambition With 17.5 Million Sign-Ups
Sam Altman’s Tools for Humanity has verified around 17.5 million people through its iris-scanning Orb device. The company has set a goal of reaching 1 billion users, so it is less than 2% of the way there. The startup has raised $240 million from investors including Andreessen Horowitz, … ⌘ Read more

Show HN: Tusk Drift – Open-source tool for automating API tests
Comments ⌘ Read more

CNCF and SlashData Report Finds Leading AI Tools Gaining Adoption in Cloud Native Ecosystems
New report provides maturity and recommendation scores for tools and projects across AI inference, ML orchestration, and agentic AI platforms Key Highlights: ATLANTA, KUBECON + CLOUDNATIVECON NORTH AMERICA. – November 11, 2025 – The Cloud Native… ⌘ Read more

Connect to Remote MCP Servers with OAuth in Docker
In just a year, the Model Context Protocol (MCP) has become the standard for connecting AI agents to tools and external systems. The Docker MCP Catalog now hosts hundreds of containerized local MCP servers, enabling developers to quickly experiment and prototype locally. We have now added support for remote MCP servers to the Docker MCP… ⌘ Read more

New study shows AI enhances teacher development
Research from the Manchester Institute of Education offers vital early insights into how AI tools can be responsibly and effectively embedded into teacher training. The preliminary findings from year 1 of the three-year longitudinal pioneering research project explore the integration of generative AI in primary teacher education, centered on the use of TeachMateAI (TMAI) within the University of Manchester’s Primary PGCE program. ⌘ Read more

Android shopping list apps disappointed me too many times, so I went back to writing these lists by hand a while ago.

Here’s what’s more fun: Write them in Vim and then print them on the dotmatrix printer. 🥳

And, because I can, I use my own font for that, i.e. ImageMagick renders an image file and then a little tool converts that to ESC/P so I can dump it to /dev/usb/lp0.

(I have so much scrap paper from mail spam lying around that I don’t feel too bad about this. All these sheets would go straight to the bin otherwise.)

AI may blunt our thinking skills – here’s what you can do about it
There is growing evidence that our reliance on generative AI tools is reducing our ability to think clearly and critically, but it doesn’t have to be that way ⌘ Read more

Falco Links Real-Time Detection with Forensic-Level Analysis in the Cloud Native Stack
New integration connects Falco alerts to Stratoshark’s forensic tools, delivering Wireshark-style visibility into system call and audit log data Key Highlights ATLANTA—KUBECON + CLOUDNATIVECON NORTH AMERICA, Nov. 10, 2025 — The Cloud Native Computing Foundation® (CNCF®), which… ⌘ Read more

Neurodiverse Professionals 25% More Satisfied With AI Tools and Agents
An anonymous reader shared this report from CNBC:

Neurodiverse professionals may see unique benefits from artificial intelligence tools and agents, research suggests. With AI agent creation booming in 2025, people with conditions like ADHD, autism, dyslexia and more report a more level playing field in the workplace thanks to generative … ⌘ Read more

Rust Is Coming To Debian’s APT Package Manager
A maintainer of Debian’s Advanced Package Tool (APT) “has announced plans to introduce hard Rust dependencies into APT starting May 2026,” reports the blog It’s FOSS.

The integration targets critical areas like parsing .deb, .ar, and tar files plus HTTP signature verification using Sequoia. [APT maintainer Julian Andres Klode] said these components “would strongly benefit from m … ⌘ Read more

Did ChatGPT Conversations Leak… Into Google Search Console Results?
“For months, extremely personal and sensitive ChatGPT conversations have been leaking into an unexpected destination,” reports Ars Technica: the search-traffic tool for webmasters , Google Search Console.

Though it normally shows the short phrases or keywords typed into Google which led someone to their site, “starting this September, odd q … ⌘ Read more

SquashFS Tools 4.7.3 Brings Optimizations For As Much As “1500 Times” Speed Improvement
For those dealing with SquashFS compressed, read-only file-systems, a new version of the user-space tools were released this week… ⌘ Read more

Ryzen AI Software 1.6.1 Advertises Linux Support
Ryzen AI Software as AMD’s collection of tools and libraries for AI inferencing on AMD Ryzen AI class PCs has Linux support with its newest point release. Though this “early access” Linux support is restricted to registered AMD customers… ⌘ Read more

Profiling tools I use for QEMU storage performance optimization
Comments ⌘ Read more

WINE gaming in FreeBSD Jails with Bastille
FreeBSD offers a whole bunch of technologies and tools to make gaming on the platform a lot more capable than you’d think, and this article by Pertho dives into the details. Running all your games inside a FreeBSD Jail with Wine installed into it is pretty neat. Initially, I thought this was going to be a pretty difficult and require a lot of trial and error but I was surprised at how easy it was to get this all working. I was really happy to get … ⌘ Read more

Oddest ChatGPT leaks yet: Cringey chat logs found in Google Analytics tool
Comments ⌘ Read more

Most DevSecOps Advice Is Useless without Context—Here’s What Actually Works
Generic DevSecOps advice may sound good on paper, but it often fails in practice because it ignores team context, workflow, and environment-specific needs. Overloaded controls, broad policies, and misapplied tools disrupt the flow of development. And once flow breaks, security measures are the first to get bypassed.  The way forward isn’t more rules but smarter… ⌘ Read more

@prologic@twtxt.net Let’s go through it one by one. Here’s a wall of text that took me over 1.5 hours to write.

This section says AI should not be treated as an authority. This is actually just what I said, except the AI phrased/framed it like it was a counter-argument.

The AI also said that users must develop “AI literacy”, again phrasing/framing it like a counter-argument. Well, that is also just what I said. I said you should treat AI output like a random blog and you should verify the sources, yadda yadda. That is “AI literacy”, isn’t it?

My text went one step further, though: I said that when you take this requirement of “AI literacy” into account, you basically end up with a fancy search engine, with extra overhead that costs time. The AI missed/ignored this in its reply.

Okay, so, the AI also said that you should use AI tools just for drafting and brainstorming. Granted, a very rough draft of something will probably be doable. But then you have to diligently verify every little detail of this draft – okay, fine, a draft is a draft, it’s fine if it contains errors. The thing is, though, that you really must do this verification. And I claim that many people will not do it, because AI outputs look sooooo convincing, they don’t feel like a draft that needs editing.

Can you, as an expert, still use an AI draft as a basis/foundation? Yeah, probably. But here’s the kicker: You did not create that draft. You were not involved in the “thought process” behind it. When you, a human being, make a draft, you often think something like: “Okay, I want to draw a picture of a landscape and there’s going to be a little house, but for now, I’ll just put in a rough sketch of the house and add the details later.” You are aware of what you left out. When the AI did the draft, you are not aware of what’s missing – even more so when every AI output already looks like a final product. For me, personally, this makes it much harder and slower to verify such a draft, and I mentioned this in my text.

You, @prologic@twtxt.net, also mentioned this in your car tyre example.

In my text, I gave two analogies: The gym analogy and the Google Translate analogy. Your car tyre example falls in the same category, but Gemini’s calculator example is different (and, again, gaslight-y, see below).

What I meant in my text: A person wants to be a programmer. To me, a programmer is a person who writes code, understands code, maintains code, writes documentation, and so on. In your example, a person who changes a car tyre would be a mechanic. Now, if you use AI to write the code and documentation for you, are you still a programmer? If you have no understanding of said code, are you a programmer? A person who does not know how to change a car tyre, is that still a mechanic?

No, you’re something else. You should not be hired as a programmer or a mechanic.

Yes, that is “skill evolution” – which is pretty much my point! But the AI framed it like a counter-argument. It didn’t understand my text.

(But what if that’s our future? What if all programming will look like that in some years? I claim: It’s not possible. If you don’t know how to program, then you don’t know how to read/understand code written by an AI. You are something else, but you’re not a programmer. It might be valid to be something else – but that wasn’t my point, my point was that you’re not a bloody programmer.)

Gemini’s calculator example is garbage, I think. Crunching numbers and doing mathematics (i.e., “complex problem-solving”) are two different things. Just because you now have a calculator, doesn’t mean it’ll free you up to do mathematical proofs or whatever.

What would have worked is this: Let’s say you’re an accountant and you sum up spendings. Without a calculator, this takes a lot of time and is error prone. But when you have one, you can work faster. But once again, there’s a little gaslight-y detail: A calculator is correct. Yes, it could have “bugs” (hello Intel FDIV), but its design actually properly calculates numbers. AI, on the other hand, does not understand a thing (our current AI, that is), it’s just a statistical model. So, this modified example (“accountant with a calculator”) would actually have to be phrased like this: Suppose there’s an accountant and you give her a magic box that spits out the correct result in, what, I don’t know, 70-90% of the time. The accountant couldn’t rely on this box now, could she? She’d either have to double-check everything or accept possibly wrong results. And that is how I feel like when I work with AI tools.

Gemini has no idea that its calculator example doesn’t make sense. It just spits out some generic “argument” that it picked up on some website.

The AI makes two points here. The first one, I might actually agree with (“bad bot behavior is not the fault of AI itself”).

The second point is, once again, gaslighting, because it is phrased/framed like a counter-argument. It implies that I said something which I didn’t. Like the AI, I said that you would have to adjust the copyright law! At the same time, the AI answer didn’t even question whether it’s okay to break the current law or not. It just said “lol yeah, change the laws”. (I wonder in what way the laws would have to be changed in the AI’s “opinion”, because some of these changes could kill some business opportunities – or the laws would have to have special AI clauses that only benefit the AI techbros. But I digress, that wasn’t part of Gemini’s answer.)

Except for one point, I don’t accept any of Gemini’s “criticism”. It didn’t pick up on lots of details, ignored arguments, and I can just instinctively tell that this thing does not understand anything it wrote (which is correct, it’s just a statistical model).

And it framed everything like a counter-argument, while actually repeating what I said. That’s gaslighting: When Alice says “the sky is blue” and Bob replies with “why do you say the sky is purple?!”

But it sure looks convincing, doesn’t it?

This took so much of my time. I won’t do this again. 😂

How Trump is weaponizing the DoJ to ‘bully, prosecute, punish and silence’ his foes
Peter Stone,  Reporter  -  The Guardian (.K.)

_Stephan: ”king” Trump, his administration servants, and the Republican Party are doing everything in their power to end the legitimacy of the American legal system, rendering it a tool for “king” Trump’s revenge. And that is just part of the vibe. Last night I spent an hour watching the Fox propaganda channel, and it … ⌘ Read more

Magika 1.0 Goes Stable As Google Rebuilds Its File Detection Tool In Rust
BrianFagioli writes: Google has released Magika 1.0, a stable version of its AI-based file type detection tool, and rebuilt the entire engine in Rust for speed and memory safety. The system now recognizes more than 200 file types, up from about 100, and is better at distinguishing look-alike formats such as JSON vs JSONL, TS … ⌘ Read more

Amazon is Testing an AI Tool That Automatically Translates Books Into Other Languages
An anonymous reader shares a report: Amazon just introduced an AI tool that will automatically translate books into other languages. The appropriately-named Kindle Translate is being advertised as a resource for authors that self publish on the platform.

The company says the tool can translate entire boo … ⌘ Read more

Dynamic MCPs with Docker: Stop Hardcoding Your Agents’ World
The MCP protocol is almost one year old and during that time, developers have built thousands of new MCP servers. Thinking back to MCP demos from six months ago, most developers were using one or two local MCP servers, each contributing just a handful of tools. Six months later and we have access to thousands… ⌘ Read more

Is it ok for politicians to use AI? Survey shows where the public draws the line
New survey evidence from the UK and Japan shows people are open to MPs using AI as a tool, but deeply resistant to handing over democratic decisions to machines. ⌘ Read more

@movq@www.uninformativ.de Gemini liked your opinion very much. Here is how it countered:

The criticism of AI as untrustworthy is a problem of misapplication, not capability.

• AI as a Force Multiplier: AI should be treated as a high-speed drafting and brainstorming tool, not an authority. For experts, it offers an immense speed gain, shifting the work from slow manual creation to fast critical editing and verification.
  
• The Rise of AI Literacy: Users must develop a new skill—AI literacy—to critically evaluate and verify AI’s probabilistic output. This skill, along with improving citation features in AI tools, mitigates the “gaslighting” effect.
  

The fear of skill loss is based on a misunderstanding of how technology changes the nature of work; it’s skill evolution, not erosion.

• Shifting Focus to High-Level Skills: Just as the calculator shifted focus from manual math to complex problem-solving, AI shifts the focus from writing boilerplate code to architectural design and prompt engineering. It handles repetitive tasks, freeing humans for creative and complex challenges.
  
• Accessibility and Empowerment: AI serves as a powerful democratizing tool, offering personalized tutoring and automation to people who lack deep expertise. While dependency is a risk, this accessibility empowers a wider segment of the population previously limited by skill barriers.
  

The legal and technical flaws are issues of governance and ethical practice, not reasons to reject the core technology.

• Need for Better Bot Governance: Destructive scraping is a failure of ethical web behavior and can be solved with better bot identification, rate limits, and protocols (like enhanced robots.txt). The solution is to demand digital citizenship from AI companies, not to stop AI development.

Announcing Vitess 23.0.0
The Vitess team is excited to release Vitess 23.0.0 — the latest major version of Vitess — bringing new defaults, better operational tooling, and refined metrics. This release builds on the strong foundation of version 22… ⌘ Read more

@prologic@twtxt.net Nothing, yet. It was sent in written form. There’s probably little point in fighting this, they have made up their minds already (and AI is being rolled up en masse in other departments), but on the other hand, there are – truthfully – very few areas where AI could actually be useful to me.

There are going to be many discussions about this …

This is completely against the “spirit” of this company, btw. We used to say: “It’s the goal that matters. Use whatever tools you think are appropriate.” That’s why I’m allowed to use Linux on my laptop. Maybe they will back down eventually when they realize that trying to push this on people is pointless. Maybe not.

Repair Video
⌘ Read more

Using Assisted-by commit footers instead of banning AI tools
Comments ⌘ Read more

Repair Video
⌘ Read more

Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
Comments ⌘ Read more

Tool descriptions are eating up all your AI tokens (but they don’t have to)
The vast majority of developers now use AI coding assistants daily. As these tools become more advanced and widely adopted, usage quotas and rate limits have also become a familiar frustration. Many providers enforce weekly or… ⌘ Read more

Security Doesn’t Have to Hurt
Do you ever wish security would stop blocking the tools you need to do your job? Surprise: your security team wants the same. There you are, just trying to get your work done, when… You need an AI to translate documentation, but all the AI services are blocked by a security web monitoring tool. You… ⌘ Read more

Your flight emissions are way higher than carbon calculators suggest
Existing tools that work out the carbon footprint of flights greatly underestimate their warming impact, say the makers of a new calculator ⌘ Read more

Affinity, targeting office workers over pros, making pro tools the loss leader
Comments ⌘ Read more

Erlang Solutions: ​​Expert Insights from Our Latest Webinars
The Erlang Solutions team has been creating webinars that share knowledge, spark ideas, and celebrate the BEAM community. Each one offers a chance to explore new tools, hear fresh perspectives, and learn from the people building scalable and reliable systems every day.

If you haven’t tuned in yet, here’s a look at some of our recent sessions, full of practical insights and new thinking shaping the future of the BEAM.

@lyse@lyse.isobeef.org

The one for Delphi was quite good.

It was! I didn’t use Delphi for long, though. Dunno why, I always gravitated towards Visual Basic back then. 😅

These days I don’t deal with GUI programming anymore.

I also avoid it when possible, because … it’s exhausting, because … the tools that I have/know are “subpar”. Doing anything regarding GUIs always feels like a chore. That wasn’t the case in the VB days.

Well, I made this in ~2009 with Java/Swing and it was pretty nice to work with, custom widgets and all:

I wouldn’t dare doing this with GTK.

https://si3t.ch/tools/imgopti/ optimiseur d’images dans le navigateur

How to Connect MCP Servers to Claude Desktop with Docker MCP Toolkit
What if you could turn Claude from a conversational assistant into a development partner that actually does things—safely, securely, and without touching your local machine? If you’ve been exploring Claude Desktop and wondering how to connect it with real developer tools, Docker MCP Toolkit is the missing piece you’ve been looking for. Here’s the reality:… ⌘ Read more

How to Build a Voice AI Agent Using Open-Source Tools
Open source, Customizable and composable

Comments ⌘ Read more

Show HN: Diagram as code tool with draggable customizations
Comments ⌘ Read more

New forecasting tool improves accuracy of epidemic peak and hospital demand predictions
During an epidemic, some of the most critical questions for healthcare decision-makers are the hardest ones to answer: When will the epidemic peak, how many people will need treatment at once and how long will that peak level of demand for care last? Timely answers can help hospital administrators, community leaders and clinics decide how to deploy staff and other resources most effectively. Unfortunately, man … ⌘ Read more

Fire Your Fetch Tool — Let your Agent Use a Browser
Comments ⌘ Read more

Your Org, Your Tools: Building a Custom MCP Catalog
I’m Mike Coleman, a staff solutions architect at Docker. In this role, I spend a lot of time talking to enterprise customers about AI adoption. One thing I hear over and over again is that these companies want to ensure appropriate guardrails are in place when it comes to deploying AI tooling.  For instance, many… ⌘ Read more

“AI” assistants misrepresent news content 45% of the time
An extensive study by the European Broadcasting Union and the BBC highlights just how deeply inaccurate and untrustworthy “AI” news results really are. “AI” sucks even at its most basic function. It’s incredible how much money is being pumped into this scam, and how many people are wholeheartedly defending these bullshit generators as if their lives depended on it. If these tools can’t even summarise a text – something … ⌘ 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

@movq@www.uninformativ.de I guess I wasn’t talking about the speed of interesting text/context, but more the “slowness” of these tools. I think I can build/ solutions and fix bugs faster most of the time? Hmmm 🤔 I think the only thing it’s able to do better than me is grasp large codebases and do pattern machines a bit better, mostly because we’re limited by the interfaces we have to use and in my ase being vision impaired doesn’t help :/

The tools that I love: Vim ⌘ Read more

LFX Insights: A new way to understand open source projects
Open source forms the backbone of modern technology ecosystems. From orchestration and observability to frameworks and developer tools, today’s technology choices depend on projects we may not control but rely on every day. The challenge: not… ⌘ Read more

Simple, minimal SQL database migrations written in Go with generics. Std lib database/sql and SQLX supported OOTB
I built GoSMig for personal projects and open-sourced it. It’s a tiny library for writing migrations in Go (compile-time checks via generics). Supports both transactional and non-transactional steps, rollback, status/version commands, and a built-in CLI handler so you can ship your own tool.

• Zero dependencies (std lib; golang.org/x/term used for pager support)
  
• database/sql and sqlx supported out of the box, others w … ⌘ Read more

What’s the problem with pipe-curl-into-sh?
You’ve seen it : many popular tools will have a one-liner homepage with something along the lines of

ˋˋˋ
curl https://fancy.tool/install.sh | /bin/sh
ˋˋˋ

And inevitably people will comment on how unsafe this is.

I don’t get it. How is it any more unsafe than cloning a repo and building and running its code? ⌘ Read more