Google Axion CPU Performance With The New Google Cloud N4A Instances
Back in 2024 Google rolled out their Axion in-house ARM processors with the Google Cloud C4A instance type. Today they are expanding their Axion offerings in Google Cloud with the N4A instances now out of preview. The Google Cloud N4A instances are designed for scale-out web servers and microservices, containerized applications, back-end application services, databases, data analytics, and cost-effective development/staging/testing environments. ⌘ Read more

Linux 7.0 Apple Silicon Device Tree Updates Have All The Bits For USB Type-C Ports
Ahead of the Linux 6.20~7.0 cycle kicking off next month, the Apple Silicon Device Tree updates have been sent out for queuing ahead of that next merge window. Notable this round are the Device Tree additions for rounding out the USB 2.0/3.x support with the USB-C ports… ⌘ Read more

Spent basically the entire day (except for the mandatory walk) fighting with Python’s type hints. But, the result is that my widget toolkit now passes mypy --strict.

I really, really don’t want to write larger pieces of software without static typing anymore. With dynamic typing, you must test every code path in your program to catch even the most basic errors. pylint helps a bit (doesn’t need type hints), but that’s really not enough.

Also, somewhere along the way, I picked up a very bad (Python) programming style. (Actually, I know exactly where I picked that up, but I don’t want to point the finger now.) This style makes heavy use of dicts and tuples instead of proper classes. That works for small scripts, but it very quickly turns into an absolute mess once the program grows. Prime example: jenny. 😩

I have a love-hate relationship with Python’s type hints, because they are meaningless at runtime, so they can be utterly misleading. I’m beginning to like them as an additional safety-net, though.

(But really, if correctness is the goal, you either need to invest a ton of time to get 100% test coverage – or don’t use Python.)

@lyse@lyse.isobeef.org The thing is that’s hard to avoid if TYPE_CHECKING, but documentation tools such as pdoc don’t support that … so it’s either type hints or API docs. 🤷

I hope I can eventually find a way out of this mess …

Yikes. https://adamj.eu/tech/2021/05/13/python-type-hints-how-to-fix-circular-imports/

Here am I looking at the different tcell.Key constants and typing different key combinations in the terminal to see the generated tcell.EventKeys in the debug log. Until I pressed Ctrl+Alt+Backspace… :-D Yep, suddenly there went my X…

So far, it appears as if I can have either only Ctrl or Alt as modifiers. But not in combination. And Shift is just never ever set at all. Interesting.

I’m trying to implement configurable key bindings in tt. Boy, is parsing the key names into tcell.EventKeys a horrible thing. This type consists of three information:

1. maybe a predefined compound key sequence, like Ctrl+A
   
2. maybe some modifiers, such as Shift, Ctrl, etc.
   
3. maybe a rune if neither modifiers are present nor a predefined compound key exists
   

It’s hardcoded usage results in code like this:

func (t *TreeView[T]) InputHandler() func(event *tcell.EventKey, setFocus func(p tview.Primitive)) {
    return t.WrapInputHandler(func(event *tcell.EventKey, setFocus func(p tview.Primitive)) {
        switch event.Key() {
        case tcell.KeyUp:
            t.moveUp()
        case tcell.KeyDown:
            t.moveDown()
        case tcell.KeyHome:
            t.moveTop()
        case tcell.KeyEnd:
            t.moveBottom()
        case tcell.KeyCtrlE:
            t.moveScrollOffsetDown()
        case tcell.KeyCtrlY:
            t.moveScrollOffsetUp()
        case tcell.KeyTab, tcell.KeyBacktab:
            if t.finished != nil {
                t.finished(event.Key())
            }
        case tcell.KeyRune:
            if event.Modifiers() == tcell.ModNone {
                switch event.Rune() {
                case 'k':
                    t.moveUp()
                case 'j':
                    t.moveDown()
                case 'g':
                    t.moveTop()
                case 'G':
                    t.moveBottom()
                }
            }
        }
    })
}

This data structure is just awful to handle and especially initialize in my opinion. Some compound tcell.Keys are mapped to human-readable names in tcell.KeyNames. However, these names always use - to join modifiers, e.g. resulting in Ctrl-A, whereas tcell.EventKey.Name() produces +-delimited strings, e.g. Ctrl+A. Gnaarf, why this asymmetry!? O_o

I just checked k9s and they’re extending tcell.KeyNames with their own tcell.Key definitions like crazy: https://github.com/derailed/k9s/blob/master/internal/ui/key.go Then, they convert an original tcell.EventKey to tcell.Key: https://github.com/derailed/k9s/blob/b53f3091ca2d9ab963913b0d5e59376aea3f3e51/internal/ui/app.go#L287 This must be used when actually handling keyboard input: https://github.com/derailed/k9s/blob/e55083ba271eed6fc4014674890f70c5ed6c70e0/internal/ui/tree.go#L101

This seems to be much nicer to use. However, I fear this will break eventually. And it’s more fragile in general, because it’s rather easy to forget the conversion or one can get confused whether a certain key at hand is now an original tcell.Key coming from the library or an “extended” one.

I will see if I can find some other programs that provide configurable tcell key bindings.

America Is Falling Out of Love With Pizza
The restaurant industry is trying to figure out whether America has hit peak pizza. From a report: Once the second-most common U.S. restaurant type, pizzerias are now outnumbered by coffee shops and Mexican food eateries, according to industry data. Sales growth at pizza restaurants has lagged behind the broader fast-food market for years, and the outlook ahead isn’t much brighter.

“Pizza i … ⌘ Read more

# $YakumoLabs$
# yarnd service file for https://github.com/davmac314/dinit
type = process
command = /usr/pkg/bin/yarnd -b 127.0.0.1:6446
env-file = /usr/pkg/etc/yarnd.conf
working-dir = /var/db/yarnd
restart = on-failure

A Drug-Resistant ‘Superbug’ Fungus Infected 7,000 Americans in 2025
An anonymous reader shared this report from the Independent:

Candida auris, a type of invasive yeast that can cause deadly infections in people with weakened immune systems, has infected at least 7,000 people [in 2025] across 27 U.S. states, according to data from the Centers for Disease Control and Prevention. The fungus, which can spr … ⌘ Read more

Unexpected Surprise: Windows 11 Outperforming Linux On An Intel Arrow Lake H Laptop
Typically when receiving any review hardware preloaded with Microsoft Windows I tend to run some Windows vs. Linux benchmarks just as a sanity test plus it still seems to generate a fair amount of interest even though the outcome is almost always the same: Linux having a hefty performance advantage over Windows especially in the more demanding creator-type workloads. As an unexpected twist and time consuming puzzle the past two … ⌘ Read more

@movq@www.uninformativ.de Thanks! I’ll have a look at SnipMate. Currently, I’m (mis)using the abbreviation mechanism to expand a code snippet inplace, e.g.

autocmd FileType go inoreab <buffer> testfunc func Test(t *testing.T) {<CR>}<ESC>k0wwi

or this monstrosity:

autocmd FileType go inoreab <buffer> tabletest for _, tt := range []struct {<CR>    name string<CR><CR><BS>}{<CR>   {<CR>   name: "",<CR><BS>},<CR><BS>} {<CR>  t.Run(tt.name, func(t *testing.T) {<CR><CR>})<CR><BS>}<ESC>9ki<TAB>

But this of course has the disadvantage that I still have to remove the last space or tab to trigger the expansion by hand again. It’s a bit annoying, but better than typing it out by hand.

The tt URLs View now automatically selects the first URL that I probably are going to open. In decreasing order, the URL types are:

1. markdown media URLs (images, videos, etc.)
   
2. markdown or plaintext URLs
   
3. subjects
   
4. mentions
   

I might differentiate between mentions of subscribed and unsubscribed feeds in the future. The odds of opening a new feed over an already existing one are higher.

Linux Preps For “Slow Workload Hints” With Intel Panther Lake
Five years ago Intel began introducing “workload hints” used for thermal and power purposes with their SoCs and in turn on the software-side being enabled with their INT340X kernel driver on Linux systems. That Intel workload hint coverage was added to the Linux kernel in late 2020 and then a big addition in 2023 with Meteor Lake introducing new workload hint type capabilities. Now patches have been posted to the Linux kernel mailing list for ne … ⌘ Read more

Most Parked Domains Now Serving Malicious Content
An anonymous reader quotes a report from KrebsOnSecurity: Direct navigation – the act of visiting a website by manually typing a domain name in a web browser – has never been riskier: A new study finds the vast majority of “parked” domains – mostly expired or dormant domain names, or common misspellings of popular websites – are now configured to redirect visitors to sites … ⌘ Read more

I cleaned up all my of AoC (Advent of Code) 2025 solutions, refactored many of the utilities I had to write as reusable libraries, re-tested Day 1 (but nothing else). here it is if you’re curious! This is written in mu, my own language I built as a self-hosted minimal compiler/vm with very few types and builtins.

https://git.mills.io/prologic/aoc2025

I just completed “Printing Department” - Day 4 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/4 – Again, I’m doing this in mu, a Go(ish) / Python(ish) dynamic langugage that I had to design and build first which has very few builtins and only a handful of types (ints, no flots). 🤣

I just completed “Lobby” - Day 3 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/3 – Again, I’m doing this in mu, a Go(ish) / Python(ish) dynamic langugage that I had to design and build first which has very few builtins and only a handful of types (ints, no flots). 🤣

Adobe Integrates With ChatGPT
Adobe is integrating Photoshop, Express, and Acrobat directly into ChatGPT so users can edit photos, design graphics, and tweak PDFs through the chatbot. The Verge reports: The Adobe apps are free to use, and can be activated by typing the name of the app alongside an uploaded file and conversational instruction, such as “Adobe Photoshop, help me blur the background of this image.” ChatGPT users won’t have to specify th … ⌘ Read more

Genetic trick to make mosquitoes malaria resistant passes key test
The rollout of a type of genetic technology called a gene drive for tackling malaria could be edging closer after a lab study supports its success ⌘ Read more

The Rarest of All Diseases Are Becoming Treatable
In February, a six-month-old baby named KJ Muldoon became the first person ever to receive a CRISPR gene-editing treatment customized specifically for his unique genetic mutation, a milestone that researchers say marks a turning point in how medicine might approach the thousands of rare diseases that collectively affect 30 million Americans. Muldoon was born with a type of … ⌘ Read more

YouTube Releases Its First-Ever Recap of Videos You’ve Watched
YouTube has launched its first-ever “Recap” for videos watched on the main platform, giving users personalized cards that showcase their top channels, interests, and a personality type based on their watch habits. The feature rolls out across North America today and globally this week. TechCrunch reports: Users can find their Recap directly on the You … ⌘ Read more

Russia Still Using Black Market Starlink Terminals On Its Drones
schwit1 shares a report from Behind The Black: In its war with the Ukraine, it appears Russia is still managing to obtain black market Starlink mini-terminals for use on its drones, despite an effort since 2024 to block access. [Imagery from eastern Ukraine shows a Russian Molniya-type drone outfitted with a mini-Starlink terminal, reinforcin … ⌘ Read more

Thinking about doing Advent of Code in my own tiny language mu this year.

mu is:

• Dynamically typed
  
• Lexically scoped with closures
  
• Has a Go-like curly-brace syntax
  
• Built around lists, maps, and first-class functions
  

Key syntax:

• Functions use fn and braces:
  

fn add(a, b) {
    return a + b
}

• Variables use := for declaration and = for assignment:
  

x := 10
x = x + 1

• Control flow includes if / else and while:
  

if x > 5 {
    println("big")
} else {
    println("small")
}

while x < 10 {
    x = x + 1
}

• Lists and maps:
  

nums := [1, 2, 3]
nums[1] = 42

ages := {"alice": 30, "bob": 25}
ages["bob"] = ages["bob"] + 1

Supported types:

• int
  
• bool
  
• string
  
• list
  
• map
  
• fn
  
• nil
  

mu feels like a tiny little Go-ish, Python-ish language — curious to see how far I can get with it for Advent of Code this year. 🎄

Can AI Transform Space Propulsion?
An anonymous reader shared this report from The Conversation:

To make interplanetary travel faster, safer, and more efficient, scientists need breakthroughs in propulsion technology. Artificial intelligence is one type of technology that has begun to provide some of these necessary breakthroughs. We’re a team of engineers and graduate students who are studying how AI in general, and a subset of AI call … ⌘ Read more

The things people with diabetes want you to be aware of
We spoke to six people with three different types of diabetes to find out what they wish more of the public knew. Here’s what they had to say. ⌘ Read more

@kiwu@twtxt.net It also greatly depends on what kind of videos you plan to record. When you go, let’s say, diving, the specs need to be probably more suited to that type of environment. What about zoom, macro shots, wide landscapes, and so on? When typically mounted on a tripod, I’d say builtin image stabilization is not required, but for more action shots, this is fairly important to not get sea sick. :-)

I’ve got a Nikon Coolpix S9300. I typically only take photos, but it also works for the occasional video. Free hand moves are quite difficult, but when mounted to a tripod, this is not too shabby. There’s absolutely no way around a (makeshift) tridpod when zooming in, though. The audio is definitely not the best, especially wind destroys everything. If I recorded more video, I would certainly want to have an external microphone.

Why Google’s custom AI chips are shaking up the tech industry
Google is reportedly in talks to sell its tensor processing units – a type of computer chip specially designed for AI – to other tech companies, a move that could unsettle the dominant chip-maker Nvidia ⌘ Read more

Twelve years ago, Frozen flipped the script on the Disney princess narrative
It wasn’t just a box office success — Frozen introduced a new type of Disney princess: one who was strong, flawed and uninterested in romance. ⌘ Read more

@prologic@twtxt.net AI is slot machines for coders:

• “Before starting tasks, developers forecast that allowing AI will reduce completion time by 24%. After completing the study, developers estimate that allowing AI reduced completion time by 20%. Surprisingly, we find that allowing AI actually increases completion time by 19%–AI tooling slowed developers down.” https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/
  
• “Stack Overflow data reveals the hidden productivity tax of ‘almost right’ AI code”: https://venturebeat.com/ai/stack-overflow-data-reveals-the-hidden-productivity-tax-of-almost-right-ai-code
  

The same intermittent reward operant conditioning that gets people addicted to gambling and thinking that if they follow certain rituals they’ll win “next time” drives people’s beliefs that AI tools are making them more productive when they’re making them less productive. I’m going to guess that a side effect of this is that people think they’re typing less when in the longer term they’re typing the same amount or more when you factor in the productivity loss (as far as I’ve read the studies don’t measure this so I’m only guessing).

People are also being rapidly de-skilled by this technology: the more they use it, the more their actual skills atrophy. “Continuous exposure to AI might reduce the ADR (adesoma detection rate) of standard non-AI assisted colonoscopy, suggesting a negative effect on endoscopist behaviour.” (science speak for saying that radiologists get worse at seeing tumors in scans once they’ve used AI): https://www.thelancet.com/journals/langas/article/PIIS2468-1253(25)00133-5/abstract

Nobody who cares about the future should be using this stuff for anything.

Ancient human foot bones shed light on how two species coexisted
Scientists have finally assigned foot bones found in 2009 to an ancient human species, and the move suggests that different types of hominins lived close by in harmony ⌘ Read more

And regarding those broken URLs: I once speculated that these bots operate on an old dataset, because I thought that my redirect rules actually were broken once and produced loops. But a) I cannot reproduce this today, and b) I cannot find anything related to that in my Git history, either. But it’s hard to tell, because I switched operating systems and webservers since then …

But the thing is that I’m seeing new URLs constructed in this pattern. So this can’t just be an old crawling dataset.

I am now wondering if those broken URLs are bot bugs as well.

They look like this (zalgo is a new project):

https://www.uninformativ.de/projects/slinp/zalgo/scksums/bevelbar/

When you request that URL, you get redirected to /git/:

$ curl -sI https://www.uninformativ.de/projects/slinp/zalgo/scksums/bevelbar/
HTTP/1.0 301 Moved Permanently
Date: Sat, 22 Nov 2025 06:13:51 GMT
Server: OpenBSD httpd
Connection: close
Content-Type: text/html
Content-Length: 510
Location: /git/

And on /git/, there are links to my repos. So if a broken client requests https://www.uninformativ.de/projects/slinp/zalgo/scksums/bevelbar/, then sees a bunch of links and simply appends them, you’ll end up with an infinite loop.

Is that what’s going on here or are my redirects actually still broken … ?

Common type of inflammatory bowel disease linked to toxic bacteria
The discovery that a toxin made by bacteria found in dirty water might help trigger ulcerative colitis could lead to new treatments for this form of IBD ⌘ Read more

Daily pill could offer alternative to weight-loss injections
Orforglipron, a GLP-1 drug taken as a pill, achieved positive results in people with obesity and type 2 diabetes, although it seems less effective than injectable drugs ⌘ Read more

What’s the Best Ways for Humans to Explore Space?
Should we leave space exploration to robots — or prioritize human spaceflight, making us a multiplanetary species?

Harvard professor Robin Wordsworth, who’s researched the evolution and habitability of terrestrial-type planets, shares his thoughts:

In space, as on Earth, industrial structures degrade with time, and a truly sustainable life support system must have the capa … ⌘ Read more

I have now permitted the following media types:

image/*
audio/*
video/*
text/*

America’s FAA Grounds MD-11s After Tuesday’s Crash in Kentucky
UPDATE (11/9): America’s Federal Aviation Administration has now grounded all U.S. MD-11 and MD-11F aircrafts after Tuesday’s crash “because the agency has determined the unsafe condition is likely to exist or develop in other products of the same type design,” according to an emergency airworthiness directive obtained by CBS News.

American multinatio … ⌘ 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

UPS (and FedEx) Ground Dozens of MD-11 Aircraft After Tuesday’s Crash in Kentucky
American multinational freight company UPS “has grounded its fleet of MD-11 aircraft,” reports the Guardian, “days after a cargo plane crash that killed at least 13 people in Kentucky. The grounded MD-11s are the same type of plane involved in Tuesday’s crash in Louisville. They were originally built by McDonnell Do … ⌘ Read more

@bender@twtxt.net We could – It’s just never became “strong enough”™ of a demand that I ever extended the possibility of supporting other mime types.

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

“This is not a Chinese bus problem. It is a problem for all types of vehicles and devices with Chinese electronics built in.”, says in the article.

Sorry but no. The truth is that “This is not an all types of vehicles and devices with Chinese electronics built in problem. It is a problem for all types of remotely accessible vehicles.”

https://code4lib.social/@dbs/115497532408202498

What is cosh(List(Bool))? Or beyond algebra: analysis of data types
Comments ⌘ Read more

How to Use Multimodal AI Models With Docker Model Runner
One of the most exciting advances in modern AI is multimodal support, the ability for models to understand and generate multiple types of input, such as text, images, or audio.  With multimodal models, you’re no longer limited to typing prompts; you can show an image or play a sound, and the model can understand it…. ⌘ Read more

“Why don’t you use dependent types?”
Comments ⌘ Read more

Homotopy Type Theory for Dummies
Comments ⌘ Read more

Roadmap for improving the Swift type checker
Comments ⌘ Read more

💻 Issue 493 - Scala 3 / Match Types ⌘ Read more

Germanium superconductor could help build reliable quantum computers
A new type of germanium superconductor could allow classical and quantum chips to be built into one device, creating better and more reliable quantum computers. ⌘ Read more

$1000 Bounty: GitLab Security Flaw Exposed

Image

How a $1000 Bounty Hunt Revealed a GraphQL Type Check Nightmare Allowing Maintainers to Nuke Repositories

[Continue reading on InfoSec Write-ups »](https://infosecwriteups.com/1000-bounty-gitlab-security-flaw-exposed-dd30978 … ⌘ Read more