Bug-Catching “Smatch” Static Analysis On The Linux Kernel Under Threat Due To Funding Gap
For the past 15 years the Smatch static analysis tool has been routinely run for uncovering countless bugs within the Linux kernel. Dan Carpenter who authored Smatch and has been routinely analyzing the Linux kernel with it has authored more than 5,568 patches over the years to become one of the top bug fixers for the kernel. But his funding at Linaro has been cut and the project’s future now in question… ⌘ Read more

2025 is the second hottest year since records began
Mean temperatures this year approached 1.5°C above the preindustrial average, making it the second hottest year after 2024 ⌘ Read more

Dozens injured after magnitude 7.5 quake strikes northern Japan
Authorities have warned that a stronger tremor could occur in the coming days. ⌘ Read more

Mesa 26.0 Lands Initial Support For Adreno Gen 8 - Including For The Snapdragon X2
The newest Mesa 26.0-devel code as of today has landed initial support for Qualcomm Adreno Gen 8 graphics into the Freedreno Gallium3D driver. The Adreno Gen 8 graphics so far are most notably used by the new Snapdragon X2 Elite laptop SoC with its X2-85 GPU as well as the new Snapdragon 8 Elite Gen 5 with Adreno 840 graphics… ⌘ Read more

Live: Ashes day of reckoning arrives as England great forecasts 5-0 whitewash
England captain Michael Vaughan says Australia could beat England 5-0 yet again if Ben Stokes’s team does not rapidly change course, starting on day four at the Gabba. Follow live. ⌘ Read more

**1boy 2022 5_fingers ahe_gao ahegao anthro anus balls big_penis black_nose blue_balls blue_body blue_eyes blue_fur blue_hair blur_studio blush bodily_fluids claws clothing eulipotyphlan fangs finger_claws fingers footwear fur genital_fluids genitals glans gloves glowing glowing_eyes hair half-closed_eyes handwear hedgehog high_res humanoid_genitalia humanoid_penis inside krazyelf legwear_only looking_pleasured lying male male_only mammal marza_animation_planet masturbation mostly_nude movie_sonic narrowed_eyes nip … ⌘ Read more

(cont.)

Pena que não haja tempo para Catarina demonstrar como votou bem nesses casos (com o estado da Saúde como bom exemplo).

3 - Inverno Demográfico: CM responde com um desapontante solucionismo tecnológico. Seguro defende o mesmo.

4 - jovens: Seguro diz que a coisa está mal, quer um plano de fusão de PMEs para melhorar o emprego jovem (não teria o efeito contrário?), Catarina quer debates, dá exemplos das micro-produção solar descentralizada (uma boa ideia mas isso não é bem uma solução para melhorar a qualidade de vida dos jovens, quer dizer, é para todos…)

5 - NATO: CMartins quer cumprir a constituição e chama a atenção que o programa do PS tb defende a dissolução da NATO. Fala também da Palestina, lamenta que não tem sido tema, acusa Portugal de continuar a financiar o genocídio, e critica a Europa continuar com o acordo de associação com Israel quando Israel viola a sua parte do acordo. Seguro não quer o fim da NATO apesar disso estar na constituição. Catarina diz que a NATO está na mão de Trump.

Considerações pessoais: continuo sem entender eleitores PS a votar Seguro e não Jorge Pinto ou CMartins

2/2

Brook overturns dismissal before being given out next ball
Harry Brook uses a review to overturn a caught behind dismissal before being given out by the video umpire the very next ball as England fall to 123-5 on day three of the second Ashes Test in Brisbane. ⌘ Read more

KDE Plasma 6.6 Supporting Per-DRM-Plane Color Pipelines, More Hardware Quirks/Fixes
It was a busy start of December for KDE Plasma developers in working out several hardware fixes for the current Plasma 6.5 series while also working on new Plasma 6.6 features like the per-DRM-plane color pipelines… ⌘ Read more

Cloudflare Says It Blocked 416 Billion AI Scraping Requests In 5 Months
Cloudflare says it blocked 416 billion AI scraping attempts in five months and warns that AI is reshaping the internet’s economic model – with Google’s combined crawler creating a monopoly-style dilemma where opting out of AI means disappearing from search altogether. Tom’s Hardware reports: “The business model of the internet has … ⌘ Read more

‘Smith can’t believe it!’ - Jacks takes stunning catch as England fight back
Will Jacks “comes up with something special” to dismiss Steve Smith, taking a brilliant diving catch at backward square leg as Australia fall to 292-5 on day two of the second Ashes Test. ⌘ Read more

Live: Fires, heatwaves strike across Australia with extreme warnings issued
A broad heatwave is expected to spread across Australia, with short and sharp bursts of heat throughout the southern states. Follow live. ⌘ Read more

“Para mitigar estes riscos e garantir a soberania digital, a Microsoft destacou a implementação do “Data Boundary” (Fronteira de Dados da UE) e a figura do “Data Guardian”, mecanismos que asseguram que os dados e metadados de cidadãos europeus permanecem no espaço comunitário e que o acesso a partir do exterior, nomeadamente dos Estados Unidos, carece de autorização europeia.”

Em: Investimento da Microsoft em Sines pode catapultar Portugal para o “top 5” dos ciberataques na Europa - CNN Portugal

https://cnnportugal.iol.pt/ciberseguranca/ciberataques/investimento-da-microsoft-em-sines-pode-catapultar-portugal-para-o-top-5-dos-ciberataques-na-europa/20251204/69319827d34e3caad84c0539

E pronto, lá está a Microsoft com a sua lenga-lenga, a fingir que usar os serviços proprietários de uma empresa norte-americana pode servir para ter uma “nuvem soberana”, logo que se tenha uma “data boundary” e um “data guardian” para garantir que os dados só são acessíveis por Europeus… e a Microsoft, e a NScale, e a NVidia, e os EUA.

#SovereigntyWashing

#ptpol #debates #presidenciais #CatarinaMartins #CotrimFigueiredo

1. procuradoria geral - ambos de acordo que a justiça é lenta, e faltam explicações

2. 5.8M€ para a defesa - CM acha que é preciso fazer investimento na defesa e soberania, mas não este. Cotrim diz que a CM está a esconder que quer Portugal fora da NATO, e que Cotrim acha que estar na NATO é a nossa única garantia de defesa, e que por isso é importante gastar 5% em defesa como acordado. CM relembra que constituição fala de dissolução dos blocos militares, e dá exemplos em que a nossa garantia de defesa não só não é assegurada pela NATO como tem de ser assegurada fora do âmbito da NATO - e defendendo-nos de alguns membros da NATO como os EUA. Cotrim diz que tem de ser a NATO a solução, só é preciso mudar a maneira da NATO ser e funcionar. CM chama a atenção que então afinal ambos concordam que a NATO não é boa, só que Cotrim acha que é de esperar que a NATO fique boa. O debate continua com este tema mas o volume aumenta, com atropelos e uns a falar em cima dos outros, Cotrim a tentar meter palavras na boca de CM e a dazer um dos seus exercícios de desonestidade intelectual. Pouco se ganha com a continuação da discussão neste tema, porque acabou o debate de ideias.

1/n

Live: ASX to rise, as Facebook’s owner backs away from Metaverse
It has been a relatively calm day on Wall Street overnight, with Australian stocks set to follow. Follow the day’s events and insights as they happen with our business reporters on the ABC News live markets blog. ⌘ Read more

Live: Social media platforms must ‘get their act together’ ahead of ban, minister says
Mark Butler says social media platforms have five days to “get their act together” amid reports some children are already evading the upcoming social media ban. Follow live. ⌘ Read more

Weekly news quiz: Blacked-out raccoon, poor strategy call and the PM’s wedding
Think you have had your ears to the ground? It’s time to test your knowledge of the week that was. ⌘ Read more

Bootleggers, gangsters and a massacre: Why America’s Prohibition backfired
Prohibition was officially repealed on December 5, 1933. But the beginning of its end can be traced back years earlier — to a highly-publicised massacre by firing squad. ⌘ Read more

Former Intel Open-Source Project SVT-VP9 Sees First Update In 5 Years
The open-source SVT-VP9 project started by Intel as a high performance VP9 video encoder has seen its first new release in five years… ⌘ Read more

Zlib-rs 0.5.3 Expands AVX-512 Usage For Faster Performance
The Trifecta Tech Foundation today released zlib-rs 0.5.3 as the newest version of this Zlib implementation written in the Rust programming language for better memory safety. Zlib-rs is advertised as “a safer Zlib” for use by both C and Rust projects while delivering competitive performance to the C-based zlib-ng… ⌘ Read more

**Second Test begins with four overs of chaos **
How England slumped to 5-2 - and could have been even worse off - in four overs of chaos at the hands of Mitchell Starc. ⌘ Read more

5.4.302: longterm
Version:5.4.302 (EOL) (longterm)Released:2025-12-03Source:linux-5.4.302.tar.xzPGP Signature:linux-5.4.302.tar.signPatch:full ( incremental)ChangeLog:ChangeLog-5.4.302 ⌘ Read more

X.Org Server’s xkbcomp Updated For Four Security Issues Dating Back Years
Red Hat’s Peter Hutterer announced the release today of xkbcomp 1.5, the CLI utility used for compiling X Keyboard Extension (XBD) keyboard descriptions for the X.Org Server. Driving this new xkbcomp release are fixes for four security issues… ⌘ Read more

Michael and Susan Dell nearly $10b to ‘Trump accounts’ for children
Tech billionaires Michael and Susan Dell have pledged $US6.25 billion ($9.5 billion) to new investment accounts for children, known as “Trump accounts”. Here’s how the donation will work. ⌘ Read more

Flag planted for Upper Eyre’s proposed $5 billion desalination plant
The long-awaited decision for a Northern Water project has arrived — but it has come with environmental contention. ⌘ 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. 🎄

Raspberry Pi Announces Price Hikes Due To RAM Demand, 1GB Raspberry Pi 5 Launched
Due to the ongoing RAM shortages in the industry amid ongoing massive demand for AI servers,Raspberry Pi announced today they are having to raise prices on the Raspberry Pi 4 and Raspberry Pi 5 single board computers. They have also launched a 1GB Raspberry Pi 5 version too for those not needing much memory and wanting to keep pricing to a minimum… ⌘ Read more

WACA seeks total exemption from paying council rates until 2035
The Western Australian Cricket Association has asked the City of Perth for a 10-year exemption from paying any rates. If granted it would potentially cost the city $2.5 million in revenue. ⌘ Read more

South-east Qld population set to reach 4.5m despite rising property prices
The analysis by KPMG reveals the population in the south-east corner has grown by as much as 2.2 per cent over the past five years, above the national average of 1.5 per cent. ⌘ Read more

When I learn a teammate’s Friday morning release is still going at 5 p.m. ⌘ Read more

This post has been written with UW PICO 5.09 and yarnc

UK To Tax Electric Cars by the Mile Starting 2028
The UK government will levy a pay-per-mile tax on electric and plug-in hybrid vehicles starting April 2028, UK’s finance minister Rachel Reeves announced, a measure designed to offset some of the fuel duty revenue that will disappear as drivers shift away from petrol and diesel cars. Electric vehicles will be charged 3 pence per mile and plug-in hybrids 1.5 pence per mile, pa … ⌘ Read more

Better Technology, Worse Motivation: GenAI’s Mediocrity Trap

While generative AI (GenAI) promises productive efficiency, it can paradoxically lead to lower-quality work. We conducted an experiment with professional illustrators and found that AI assistance flattens the quality curve—it accelerates initial gains but sharply diminishes the returns on sustained effort. Faced with this, a significant number of professionals made a strategic choice: they sacrificed the final quality to save time.

From http://www.jin-li.org/uploads/1/1/4/5/114595093/ai_and_motivation.pdf

I haven’t read this and can’t vouch for it; seems vaguely AI-boostery. Still, the conclusions are interesting. This seems to be the picture that is emerging about generative AI generally: most people don’t like it and find that degrades the quality of work. Coders seem to like it and think that it helps them, but in fact it makes the slower, less productive, and more bug prone.

By all measures it’s a bad technology. We should just be honest about it. There is no need to make excuses for multi-trillion-dollar corporations.

Common Desktop Environment “CDE” 2.5.3 Released After Two Years
Two years and one week since the prior point release, Common Desktop Environment 2.5.3 is now available as the latest iteration of this Unix desktop environment built around the Motif toolkit. CDE has been open-source for more than a decade now but its development not exactly brisk. But for those resisting the likes of Wayland and other modern display tech – especially with KDE announcing today Plasma 6.8 will be Wayland-exclusive – CDE 2.5.3 is now avail … ⌘ 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.

SA woman suffered permanent brain injury after hospital failed to diagnose stroke, court hears
An Adelaide woman is suing a southern suburbs hospital for $1.5 million in damages alleging she suffered a “permanent neurological injury” when doctors failed to diagnose her with a stroke, court documents reveal. ⌘ Read more

Texas Buys $5 Million In BTC ETF As States Edge Toward First Government Crypto Reserves
Texas has purchased $5 million worth of BlackRock’s bitcoin ETF as an initial step toward creating the first state-level bitcoin reserve in the U.S.
“[O]ther states having previously invested in such funds with public-employee retirement money,” notes CoinDesk. “Michigan has been building such an inve … ⌘ Read more

Adolescence goes into your 30s, new study on the brain shows
The data showed there is “non-linear change across development” in the brain, suggesting it does not continue on one steady progression throughout your life. ⌘ Read more

LMM continua a dar casos concretos sobre a sua opinião e como o presidente pode actuar em matéria de corrupção. Termina a repetir que Ventura é candidato de legislativas e não presidenciais. Ventura responde como respondeu num debate anterior falando a sua posição nas sondagens- não funciona com LMM que tem tido melhores resultados, mas Ventura diz que não, referindo a sondagem falsa com que tem inundado as redes sociais na última semana (a CNE não devia fazer alguma coisa quanto a isso?). Parece que o debate vai-se ficar por aqui em vez de entrar pelos temas a sério das presidenciais, mas realmente com uma pessoa como o Ventura não dá muito para falar a sério.

1. pergunta final: o que mais o preocupa do seu opositor: LMM diz AV não tem soluções, AV diz que LMM é o responsável por haver lesados do BES (WTF)
   

Este debate teve mais 5 minutos porque jornalista não o conseguiu terminar

–

Resumo/opinião pessoal: sem surpresas, AV é o piorio, LMM melhor que AV, muito barulho

Live: Labor grilled on plan to find savings in public service
The government is being questioned about its request for departments and agencies to save as much as 5 per cent of their costs. Follow live. ⌘ Read more

Recurring Events for Meetable
In October, I launched an instance of Meetable for the MCP Community. They’ve been using it to post working group meetings as well as in-person community events. In just 2 months it already has 41 events listed! ⌘ Read more

Amazon Discounts USB-C AirPods Max to $399.99
Amazon today has the USB-C AirPods Max on sale for $399.99 in Starlight, down from $549.00. This is a match of the best price we’ve ever seen on the AirPods Max, and we expect more colors to match this price soon.

Image

@lyse@lyse.isobeef.org Probably wouldn’t help, since almost every request comes from a different IP address. These are the hits on those weird /projects URLs since Sunday:

    1 IP  has  5 hits
    1 IP  has  4 hits
   13 IPs have 3 hits
  280 IPs have 2 hits
25543 IPs have 1 hit

The total number of hits has decreased now. Maybe the botnet has moved on …

AMD SDCIAE Working Its Way Into The Linux 6.19 Kernel
A year and a half after the Linux kernel patches were first posted, SDCIAE that is found with AMD Zen 5 server processors is set to finally be supported by the mainline kernel come Linux 6.19… ⌘ Read more

New Research Finds America’s Top Social Media Sites: YouTube (84%) Facebook (71%), Instagram (50%)
Pew Research surveyed 5,022 Americans this year (between February 5 and June 18), asking them
“do you ever use” YouTube, Facebook, and nine of the other top social media platforms. The results?

YouTube 84%

Facebook 71%

Instagram 50%

TikTok 37%

WhatsApp 32%

Reddit 26%

Snapchat 2 … ⌘ Read more

1. democracia - GM é contra os candidatos que querem mudar o regime “para outro que não sabe o que é”. E contra escutas ilegais. CM diz que GM não ser claro no que quer do código laboral tb é um descrédito à democracia. Tb é mau a falta de habitação e a injustiça fiscal que temos. GM vai tendo posições diferentes ao longo do tempo. GM tem a palavra, fala… e não diz nada.

2. poderes presidenciais - GeM diz que só usa os poderes que o Presidente tem (duh.) CMartins dá exemplos de qdo esses poderes foram usados bem e mal.

3. habitação - CM diz que GeM não explica o que quer. GeM quer uma “Economia não estatizada” e depois diz isso várias vezes de maneiras diferentes mas não explica como isso resolve o problema da habitação. CM pergunta “isso é o quê?” Ele diz que são “menos taxas, menos burocracias”. A CM: “mas como?” GeM diz que é tudo muito lento por culpa da burocracia.

2/3

Fark me 🤦‍♂️ I woke up quite late today (after a long night helping/assisting with a Mainframe migration last night fork work) to abusive traffic and my alerts going off. The impact? My pod (twtxt.net) was being hammered by something at a request rate of 30 req/s (there are global rate limits in place, but still…). The culprit? Turned out to be a particular IP 43.134.51.191 and after looking into who own s that IP I discovered it was yet-another-bad-customer-or-whatever from Tencent, so that entire network (ASN) is now blocked from my Edge:

+# Who: Tentcent
+# Why: Bad Bots
+132203

Total damage?

$ caddy-log-formatter twtxt.net.log | cut -f 1 -d  ' ' | sort | uniq -c | sort -r -n -k 1 | head -n 5
  61371 43.134.51.191
    402 159.196.9.199
    121 45.77.238.240
      8 106.200.1.116
      6 104.250.53.138

61k reqs over an hour or so (before I noticed), bunch of CPU time burned, and useless waste of my fucking time.

PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
“PHP 8.5 landed on Thursday with a long-awaited pipe operator and a new standards-compliant URI parser,” reports the Register, “marking one of the scripting language’s more substantial updates… “

The pipe operator allows function calls to be chained together, which avoids the
extraneous variables and nested statements that might otherwise be
inv … ⌘ Read more

780,000 Windows Users Downloaded Linux Distro Zorin OS in the Last 5 Weeks
In October Zorin OS claimed it had 100,000 downloads in a little over two days in the days following Microsoft’s end of support for Windows 10.

And one month later, Zorin OS developers now claim that 780,000 people downloaded it from a Windows computer in the space of a month, according to the tech news site XDA Developers.

… ⌘ Read more

I had to be rushed to hospital 5 days ago due to a painful gallstone episode. Turns out it had caused pancreatitis. Got my gallbladder removed yesterday after some good meds and finally got home today. My little girl hasn’t left my side since 🩷 ⌘ Read more