Amazon Faces FAA Probe After Delivery Drone Snaps Internet Cable In Texas
Amazon’s drone-delivery program is under federal scrutiny after an MK30 aircraft clipped an internet cable in Texas. CNBC reports: The incident occurred on Nov. 18 around 12:45 p.m. Central in Waco, Texas. After dropping off a package, one of Amazon’s MK30 drones was ascending out of a customer’s yard when one of its six propell … ⌘ Read more

Labor and Greens agree on extra ABC funding for kids’ programs
A deal between the federal government and the minor party will see an extra $50 million go to the public broadcaster to facilitate passage of a bill to impose local content requirements on streaming platforms. ⌘ Read more

Evidence from the One Laptop per Child Program in Rural Peru
The abstract of a paper on NBER: This paper examines a large-scale randomized evaluation of the One Laptop Per Child (OLPC) program in 531 Peruvian rural primary schools. We use administrative data on academic performance and grade progression over 10 years to estimate the long-run effects of increased computer access on (i) school performance over time … ⌘ Read more

Trump Launches Genesis Mission, a Manhattan Project-Level AI Push
BrianFagioli writes: President Trump has issued a sweeping executive order that creates the Genesis Mission, a national AI program he compares to a Manhattan Project level effort. It centralizes DOE supercomputers, national lab resources, massive scientific datasets, and new AI foundation models into a single platform meant to fast track research … ⌘ Read more

GCC Steering Committee Allows New Language Front-End To Land For GCC 16
Joining Ada, C/C++, COBOL, D, Fortran, Go, Modula-2, Objective-C/Objective-C++ and Rust is now another programming language expected to be added for the GCC 16 compiler release due out in the new year… ⌘ Read more

Court Ends Dragnet Electricity Surveillance Program in Sacramento
A California judge has shut down a decade-long surveillance program in which Sacramento’s utility provider shared granular smart-meter data on 650,000 residents with police to hunt for cannabis grows. The EFF reports: The Sacramento County Superior Court ruled that the surveillance program run by the Sacramento Municipal Utility District (SMUD) … ⌘ Read more

Algol 68 GCC Compiler Patches Updated With Modules System Added
Since the start of the new year, there have been patches being posted for proposing a new GCC compiler front-end for the half-century old Algol 68 programming language. Oracle engineer Jose Marchesi has been leading the Algol 68 effort for GCC and this weekend posted a new revision of the patches, which now includes a working modules system implementation… ⌘ Read more

Python Developers Looking At Introducing The Rust Programming Language In CPython
A proposal has been raised by two CPython core developers to introduce the Rust programming language to CPython. Initially the focus is on allowing Rust to be used for developing optional extension modules for CPython but ultimately their goal is for Rust to become a hard dependency of CPython and used throughout its codebase… ⌘ Read more

3rd Beta of iOS 26.2, macOS Tahoe 26.2, and iPadOS 26.2 Available for Testing
Apple has issued the third beta versions of iOS 26.2, iPadOS 26.2, macOS Tahoe 26.2, to those engaging in the beta testing programs for Apple system software. With a new beta build coming every week, it’s fairly likely we will see a final version released in December before yearend. A handful of tweaks, changes, and … [Read More](https://osxdaily.com/2025/11/17/3rd-beta-of-ios-26-2 … ⌘ Read more

SUSE Developer Working To Reimplement SSH Using The Zig Programming Language
SUSE engineer Lucas Mülling is leading an effort to work on implementing SSH within the Zig programming language, a popular language for robust, optimal, and reusable software… ⌘ Read more

Updated LLVM/Clang Compiler Enables AVX 10.2 & APX For Intel Nova Lake
Last month when the LLVM/Clang 22 compiler merged support for Intel Nova Lake with the “-march=novalake” target there was no mentions of AVX10 or Advanced Performance Extensions (APX) support. But last week Intel published a new programming reference manual where they confirmed AVX 10.2 and APX for Nova Lake. Now that it’s official, Intel compiler engineers are updating the LLVM/Clang (and GCC) compiler support to reflect these ISA addition … ⌘ Read more

GCC Patch Enables Support For The Rust-Based Wild Linker
The Wild linker is a very speedy linker written in the Rust programming language that has become quite competitive with the likes of Mold. A patch sent out this weekend adds Wild support for use with the GNU Compiler Collection (GCC)… ⌘ Read more

Microsoft Executives Discuss How AI Will Change Windows, Programming – and Society
“Windows is evolving into an agentic OS,” Microsoft’s president of Windows Pavan Davuluri posted on X.com, “connecting devices, cloud, and AI to unlock intelligent productivity and secure work anywhere.”

But former Uber software engineer and engineering manager Gergely Orosz was unimpressed. “Can’t see any re … ⌘ Read more

FTR, I see one (two) issues with PyQt6, sadly:

1. The PyQt6 docs appear to be mostly auto-generated from the C++ docs. And they contain many errors or broken examples (due to the auto-conversion). I found this relatively unpleasent to work with.
   
2. (Until Python finally gets rid of the Global Interpreter Lock properly, it’s not really suited for GUI programs anyway – in my opinion. You can’t offload anything to a second thread, because the whole program is still single-threaded. This would have made my fractal rendering program impossible, for example.)

Could C# Overtake Java in TIOBE’s Programming Language Popularity Rankings?
It’s been trying to measure the popularity of programming languages since 2000 using metrics like the number of engineers, courses, and third-party vendors. And “The November 2025 TIOBE Index brings another twist below Python’s familiar lead,” writes TechRepublic. “C solidifies its position as runner-up, C++ and Java lose … ⌘ Read more

@prologic@twtxt.net Hm, same startup delay. (Go is not an option for me anyway.)

It’s hard to tell why all this is so slow. Maybe in this particular case it has something to do with fonts: strace shows the program loading the fontconfig configs several times, and that takes up a bulk of the startup time. 🤔 (Qt6 or Java don’t do that, but they’re still slow to start up – for other reasons, apparently.)

To be fair, it’s “just” the initial program startup (with warm I/O caches). Once it’s running, it’s fine. All toolkits I’ve tried are. But I don’t want to accept such delays, not in the year 2025. 😅 Imagine every terminal window needing half a second to appear on the screen … nah, man.

Be it Java with Swing or PyQt6, it takes ~300 ms until a basic window with a treeview and a listbox appears. That is a very noticeable delay.

Is it unrealistic to expect faster startup times these days? 🤔

Once the program is running, a new second window (in the same process) appears very quickly. So it’s all just the initialization stuff that takes so long. I could, of course, do what “fat” programs have done for ages: Pre-launch the process during boot, windowless. But I was hoping that this wasn’t needed. 😞 (And it’s a bad model anyway. When the main process crashes, all windows crash with it.)

Krafton Launches Voluntary Resignation Program Weeks After Declaring ‘AI-First Company’ Future
An anonymous reader shares a report: In October, PUBG and Subnautica 2 publisher Krafton announced that it would be undergoing a “complete reorganization” to become an “AI-first” company, planning to invest over 130 billion won ($88 million) in agentic AI infrastructure and deployment beginning … ⌘ Read more

Apple Mini Apps Partner Program
Comments ⌘ Read more

Apple Cuts App Store Fee In Half For ‘Mini Apps’
Apple is cutting its App Store fee from 30% to 15% for developers who join a new Mini Apps Partner Program, which requires using more of Apple’s built-in technology to power lightweight “mini apps.” “This includes using Apple software to register a user’s purchase history, verify user ages and to process in-app purchases,” reports CNBC. From the report: A “mini app” is a lightwei … ⌘ Read more

Intel Now Confirms Nova Lake Will Support AVX10.2 & APX Extensions
Recently when Intel contributed Nova Lake support for LLVM/Clang and the GCC compiler support there was not any AVX10 or APX support contrary to rumors and expectations. Intel has now published a new programming reference manual where they now confirm Nova Lake will in fact support AVX10.2 and APX… ⌘ Read more

Beta 2 of iOS 26.2, macOS Tahoe 26.2, and iPadOS 26.2 Available for Testing
The second beta versions of iOS 26.2, iPadOS 26.2, macOS Tahoe 26.2, are now available for testing for users participating in the beta programs for Apple system software. watchOS 26.2 beta 2 and tvOS 26.2 beta 2 are also available if you’re testing on those devices. iOS 26.2 beta features a slider for adjusting intensity … [Read More](https://osxdaily.com/2025/11/12/beta-2-of-ios-26-2- … ⌘ Read more

Kyle and Jackie O escape charges over mushroom trial commentary
It was a day of mixed news for the nationally syndicated program with the Australian Communications and Media Authority serving them with a notice of intention to impose conditions on their radio licence. ⌘ Read more

CNCF Launches Certified Kubernetes AI Conformance Program to Standardize AI Workloads on Kubernetes
New initiative targets cloud native AI portability and reliability across environments Key Highlights KUBECON + CLOUDNATIVECON NORTH AMERICA, ATLANTA — Nov. 11, 2025 — The Cloud Native Computing Foundation® (CNCF®), which builds sustainable ecosystems for cloud… ⌘ 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

FreeBSD now builds reproducibly and without root privilege
The FreeBSD Foundation is pleased to announce that it has completed work to build FreeBSD without requiring root privilege. We have implemented support for all source release builds to use no-root infrastructure, eliminating the need for root privileges across the FreeBSD release pipeline. This work was completed as part of the program commissioned by the Sovereign Tech Agency. ↫ FreeBSD Foundation blog This is gre … ⌘ Read more

The Return of Language-Oriented Programming
Comments ⌘ Read more

The Medicaid Program That Saved Money, Turned People’s Health Around — and Got Killed
Lisa Rab,  Contributing Writer  -  Politico

Stephan: As Congress continues to cease to function, and “king” Trump spends his time visting with fellow authoritarians, and going to parties that would make the most debauched Roman emperor envious, the lives of millions of Americans are coming apart, as Medicaid comes apart.

![](https://www.schwartzreport.net/ … ⌘ Read more

Syntax and Semantics of Programming Languages (1995)
Comments ⌘ Read more

My biggest (and oddest) complaint about Windows 11 so far: If its connection to the Internet is poor, the entire OS is very slow. Even opening a local offline program like Handbrake takes over a minute. Task Manager does not show any extra load on CPU or RAM in the meantime. I’ve seen it on 3 different installs with various hardware components. I can’t explain why it happens.

‘Vibe Coding’ Named Word of the Year By Collins Dictionary
Collins Dictionary has named “vibe coding” its 2025 word of the year – a term coined by Andrej Karpathy for when a user makes an app or website by describing it to AI rather than writing programming code manually. The term, which is confusingly made up of two words, was “one of 10 words on a shortlist to reflect the mood, language and preoccupations of 2025,” repo … ⌘ Read more

Direct File Won’t Happen in 2026, IRS Tells States
NextGov: The IRS has notified states that offered the free, government tax filing service known as Direct File in 2025 that the program won’t be available next filing season. In an email sent from the IRS to 25 states, the tax agency thanked them for collaborating and noted that “no launch date has been set for the future.”

“IRS Direct File will not be available in Filing Se … ⌘ 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. 😂

Typst-Unlit: Write literate Haskell programs in Typst
Comments ⌘ Read more

Spolok Slovákov z Bulharska oslávil 35. výročie založenia
V sobotu 11. októbra 2025 sa na Mladej Garde v Bratislave uskutočnilo výnimočné stretnutie krajanov, pri ktorom si Spolok Slovákov z Bulharska pripomenul 35 rokov od svojho založenia. Stretli sa tu generácie, ktoré spája spoločná história, priateľstvá a hlboká úcta k koreňom. Hostia prichádzali od skorého popoludnia, prebiehala registrácia a vítanie chlebom a soľou, pitou a šarenou soľou. Program sa ofi … ⌘ Read more

TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
TypeScript just became the most-used language on GitHub. Here’s why, according to its creator.

The post TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg a … ⌘ Read more

Erlang Meets Idris: Cure Programming Language
Comments ⌘ Read more

First Beta of iOS 26.2, macOS Tahoe 26.2, iPadOS 26.2 Available for Testing
Apple has released the first beta versions of iOS 26.2, iPadOS 26.2, macOS Tahoe 26.2, and the rest of the OS 26.2 suite. These betas are available now for users engaging in the beta testing programs. iOS 26.2 beta and macOS Tahoe 26.2 beta come just after Apple released the final versions of iOS 26.1, … [Read More](https://osxdaily.com/2025/11/05/first-beta-of-ios-26-2-macos-tahoe-26- … ⌘ Read more

Myna: monospace typeface designed for symbol-heavy programming languages
Comments ⌘ Read more

Introducing the CNCF End User Contributor Program: Earn Access, Influence, and Recognition
The cloud native ecosystem runs on the contributions from many sources– including vendors, developers, academics, and importantly, end users. The real-world production experience of end-user organizations is essential for project evolution and growth. If your organization… ⌘ Read more

Rust Foundation Maintainers Fund Announced For Long-Term Support To Rust Developers
The Rust Foundation announced today the creation of the Rust Foundation Maintainers Fund as a new means of providing consistent, transparent, and long-term support for developers that make the Rust programming language possible… ⌘ Read more

Announcing cgp-serde: A modular serialization library for Serde powered by Context-Generic Programming
Comments ⌘ Read more

Cure - Verification-First Programming for the BEAM
Comments ⌘ Read more

Control structures in programming languages
Comments ⌘ Read more

V7 pwd, converted to modern POSIX systems
This is a conversion of the original V7 pwd program for use on POSIX systems (tested primarily on Linux). This is mostly of historical interest — modern systems have a library routine or system call for getting the current directory, and don’t need this. I’ve attempted to make the minimum set of logic/functionality changes needed to make the program work, preserving the core of the original logic. I’ve made slightly more aesthetic changes, to make r … ⌘ Read more

Program-ing Finger Trees in Coq (2007)
Comments ⌘ Read more

Show HN: Strange Attractors
I went down the rabbit hole on a side project and ended up building this: Strange Attractors( https://blog.shashanktomar.com/posts/strange-attractors). It’s built with three.js.

Working on it reminded me of the little “maths for fun” exercises I used to do while learning programming in early days. Just trying things out, getting fascinated and geeky, and being surprised by the results. I spent way too much time on this, but i … ⌘ Read more

Java’s Swing is allegedly in “maintenance mode”, so I doubt it’s a good idea to use it for new programs. For example, I very much doubt that it will ever support Wayland.

The replacement is supposed to be JavaFX, but that’s not included in JREs – anymore! It used to be, now it’s not, even though it’s well over 15 years old now.

This whole thing (“Java GUIs”) appears to have stagnated a lot. Probably because everything is web stuff these days …

https://www.oracle.com/java/technologies/javafx/faq-javafx.html#6

If a pilot ejects, what is the autopilot programmed to do? (2018)
Comments ⌘ Read more

Seeking Vim Experience and Tips for Programming ⌘ Read more