"Why have feminists betrayed Iranian women?", by Nikos Sotirakopoulos youtube.com/watch?v=3I10YmAMDa… totally agreed. And not only feminists, btw. Where are those leftists now, when Iran is struggling and fighting to finally make that hideous islamist regime fall? Where is Thunberg and her allies? Silent? Correct me if I'm wrong (and I will apologize if I'm wrong), but I don't hear even 1% of voices compared to the "free palestine" (de facto anti-Israeli and pro-hamas) movement. Why don't they go to the streets with "Free Iran"? Hypocrisy. total, absolute hypocrisy of the anti-Western far left. #Iran #Politics #Israel #hamas
Why does the most crucial feminist battle of our time leave western feminists uninterested?00:00 The most crucial battle for womens' rights00:39 Iranian wome...
new song for all my nerdy developer friends: The Version Juggle Shuffle! Yes yes! This is going to be my new anthem, LOL. Enjoy it as it is sung by Monolog97 TTS ha ha. You thought I was done with all the silly songs!
В Петербурге рабочие из Индии столкнулись с суровой реальностью — снегом и бытом по-русски.
Многие из них приехали из регионов, где никогда не видели снега, поэтому не понимают, как его убирать. Параллельно всплыли и другие сложности: они не знают как переключать воду в душе, почему нельзя ставить металл в микроволновку и как вообще жить в общежитии зимой.
Эксперты предлагают делать простые инструкции на хинди — иначе повышен риск потопов и пожаров. В Россию уже приехали более 70 тысяч работников, а в 2026 году ждут ещё минимум 40 тысяч.
Don't use rc.local. It has been obsolete since 1983. #FreeBSD has actually discontinued it twice in its history.
FreeBSD has had Mewburn rc for most of this century. It's what #NetBSD uses and #OpenBSD has a similar but NIH system. At minimum, use Mewburn rc scripts.
If you look around you should still be able to find Luke Mewburn's paper on #MewburnRC .
Similarly, what Linux people erroneously call "sysvinit" is actually van Smoorenburg init+rc created (by Miquel van Smoorenburg) for Minix in 1992.
It's not from #Unix System 5 at all, as that had obsoleted R3's init+rc system years before 1992 and gone on to the AIX SRC, and the SAF, SAC, ttymon, SMF, and stuff still in #Illumos today.
Frankie Legs talking about how he'd taken the last month to think about the future of the CAQ and his role in the CAQ...
I saw him at a Habs game in Montréal...
Nach dem umstrittenen Ausschluss der Fans des israelischen Fußballvereins Maccabi Tel Aviv von einem „Europa League“-Spiel gegen Aston Villa in England hat der zuständige Polizeichef jetzt eingeräumt, dass die Entscheidung maßgeblich von einer KI-Halluzination beeinflusst worden war. Demnach hatte eine mithilfe von Microsofts Copilot erstellte Risikoanalyse der Polizei für den Stadtrat von Birmingham auf ein vorheriges Match von Maccabi bei West Ham United Bezug genommen, das es nie gegeben hat.
Der Ausschluss israelischer Fans von einem Fußballspiel in England hat sich zu einem Skandal ausgeweitet: Die Risikoanalyse enthielt eine KI-Halluzination.
I want to coin another term, "Pyrrhic Productivity." When AI-coding agents promise speed by removing human effort but end up slowing work by breaking the feedback loops that produce understanding and shifting skilled work from doing to specifying and controlling. 1/9
What we've learned from Agile, XP, etc., is that software development productivity comes from small iterations and tight inner loops. Write code, run it, observe behaviour, learn, adjust. This keeps feedback immediate and drives learning. 3/9
You know how and why things break, start to get a clear picture of the problem domain, and learn to identify patterns, anti-patterns, and code "smells." 4/9
Debugging moves from fixing code to adjusting specs and tests.
You must anticipate correctness conditions in advance, and creating the specifications and verification is also technical, sometimes even more so than coding. 6/9
Since specification and verification can never cover everything, the agent always satisfies the known checks while new issues appear, leading to a specification and regeneration whac-a-mole. 7/9
One thing that XP got right is that often the specs emerge from the feedback loop. We are learning more about the business problem and the technology limitations via coding.
A solution not working is known. The engineer's value is knowing why it didn't work and communicating this to the spec authors
@criffer Christinas contribution sounds like, spec and code is just a shift of the same target, so let us start to ignore specs and just do coding... But not the whole team consist of developers that can code... But maybe I misunderstood her.
I 100% agree. I’ve been trying to find a way to summarize it and “pyrric victory” is spot on. The issue I see is that the prospect of “no coding” is so enticing to the industry that no amount of issues will disuade them.
It reminds me of this beautiful story by Borges about carthographers who became so precise, they ended up making map of the size of the entire world, that ended up being useless and abandoned.
Maybe some Operations Research grad student used the History Department's Time Machine (purely for research) to test his thesis on "making the enemy regret every victory".
Why was François Legault permitted to go on and on about his misogyny, xenophobia, anti-science, language weaponization, overseeing the largest exodus of doctors and nurses in the history of Québec, etc., etc., etc.?!?!?
A resignation should not take 20 minutes...
What was François Legault permitted to go on and on about his misogyny, xenophobia, anti-science, language weaponization, overseeing the largest exodus of doctors and nurses in the history of Québec, etc.
Hi everyone! as mentioned in the first TWBlue release of the year, a dedicated account migration was pending. I’ve decided to go a step further and unify all my development projects under one professional roof. Instead of separate accounts, MCV Software will be the hub for everything: TWBlue, (future) Audio Games, and my other upcoming tools. you can Follow here: @dev This channel will be strictly for releases, devlogs, and technical updates.
I thought we were going to have to wait another year or so to really see Trump's mental state decline to this point, but those speeches yesterday were insane. The slurred words, the non-sensical sentences, the complete lack of focus. All things he's been exhibiting for years now, but to an extent that no one could hand wave away.
После отключения интернета в Иране «замолчали» аккаунты, призывавшие к независимости Шотландии, пишет UK Defence Journal. По данным издания, многочисленные учетные записи в интернете, якобы принадлежащие шотландским пользователям, призывавшим к независимости страны от Великобритании, прекратили свою активность сразу после отключения интернета в Иране 8 января.
BT OS, version 2.8 is rolling out at 1:30 PM Eastern time today. We've been hard at work making BT OS better. This includes bug fixes and performance enhancements. For further information, ... wait what? How do we get further information! Oh no! I... don't know if anyone thought that far! And the rollout's happening anyway! Whoops, I guess we'll have to see what happens!
@jonathan859 Uh-oh someone forgot to put up the endpoints. Oh well. Is there really in-product education if it doesn't have a way to find them? Hahahaha.
2025 according to NASA was.the WORLD SECOND HOTTEST YEAR With an anomaly of +0.58C vs 1991/2020 or +1.19C vs 1951/1980 it beat 2023 by 0.02C and was behind 2024 by 0.09C
European Copernicus and Japanese JMA had 2023 slightly ahead of 2025 (3rd hottest than)
You're looking at an old man learning Rust and Python. This is how I work and design, in what I call "sketches", these little Cargo projects.
Now I'm starting in with Python, which I've used for scripting but never as a proper dev environment.
I've been using LLM for a year now. For several months, night after night, solving compiler errors. I had to teach the LLM to only contemplate one error at a time. Separation of concerns. I cheeze a lot, letting the LLM write the commit msg
@tuban_muzuru getting the LLM to write the commit message is something I really appreciate. It's so much better than me, and writing good commit messages takes me out of my flow. LLMs work best with human-in-the-loop iterative approaches, the problems really start to show when rather than helping you code, you try to command them t code instead of you.
Deming would be concerned about LLMs lengthening the feedback loop, iterating on specs and verification rather than code, trying to get quality by adding inspection, trying to specify-in learning, etc, he would for sure be extremely wary of agents.
Early on with Bard, I had to quit hoarding bits of Rust functionality. If there are to be any "gains" by using an LLM, it's really useful to write a spec. Maybe two. Implementation then comes into focus.
Legislation that criminalizes sexual deepfakes would not cover most of the images that have proliferated on X in recent weeks, warns a Dalhousie University professor.
As if we needed more reminders how dangerous relying on unchecked AI content is:
"In preparation for the force response to the HMICFRS inquiry into this matter, on Friday afternoon I became aware that the erroneous result concerning the West Ham v Maccabi Tel Aviv [UK football] match arose as result of a use of Microsoft Co Pilot."
As I just came out of a meeting with 16 people who use Apple devices daily and all assumed there's no undo, here's a tech* tip that a lot of people appear to need:
Undo on 🍎 iOs: Do a three-finger tap and you'll get a toolbar with undo, redo and copy functionality.
edit: yes you can also shake the device to undo. Apple is currently breaking that functionality. Anyhow, for an interesting experience try to shake your laptop and see what it does!
The other day, I accidentally managed to pay off a credit card in full... twice, which it shouldn't have even let me do in the first place. So now I'm trying to figure out how to reverse one of those transactions. Very exciting.
First, it correctly identifies that I made two payments a few minutes apart. GREAT! It then asks me which one of the two transactions to cancel. Doesn't matter, they're identical. It insists, so I'm like, OK, just cancel the last one.
It then tells me that a "pay later transaction" can't be canceled. When I pointed out that it wasn't one of those, it tells me to contact the credit card issuer.
Hey, yeah... so that's what I was trying to do when I got your useless bunch of bits.
I did something similar recently. I was trying to pay two credit cards. one I owed 10 bucks on, the other I owed 1500 or so. Except I paid them backwards. paid 10 bucks on the one I owed 1500 and paid $1500 on the one I owed 10 bucks.
UPDATE: One of the company owners (whom I've known for many years and is a good person) has asked to speak with me in about fifteen minutes. I've agreed. I'm curious to see what he has to say. I'll update this post after the call.
Yesterday I lost a client. And I couldn't be happier about it.
It's a long-standing client, but the management changed a few months ago. On Monday, they requested an emergency intervention, which I handled immediately.
On Tuesday (yesterday, evening), they asked for a non-urgent enhancement to be closed by Wednesday evening. I explained that due to various reasons (including urgent family matters), I wouldn't be able to finish the task before Friday. That's when the lecturing started: they told me they set tight deadlines even for non-emergencies because "that's the proper way to do things", and anyone working with them must respect them without exception.
I requested a video call to clarify. I explained that the work requires nearly a full day and that I simply couldn't close it by Wednesday. Even the physical time required to copy the data exceeded their deadline. But the new management believes that by applying pressure, you can overcome anything. Even the laws of physics.
Their response was sarcastic: "Our requests take priority, even if you are dying". I smiled and reiterated that I had no other way. "We will therefore have to find a new consultant who respects our timing", they said.
My response: "Okay. Our agreement expired on 31st December. I was waiting for a renewal, but it never arrived. Meaning, I have no legal obligations toward you. You have the data, the passwords, everything. Have a great day.".
The manager, annoyed and failing to understand the implications, replied: "Fine, we’ll look for someone younger with fewer family ties to manage.".
This morning, the phone rang. It was the manager, asking me to reconsider. His tone remained contemptuous, so I told him my decision was final. Two minutes later, I got a call from their biggest client - the one responsible for over 50% of their revenue. They had been notified I was leaving and informed the company they would also leave if I was no longer the one supervising their machines.
I called the manager back, friendly, trying to see if they were willing to change their attitude - to move from peremptory orders to requests between human beings. He started talking about "suing for damages" if they lost their main client because of me (to be clear: I am not taking that client for myself).
I don’t know how this story will evolve, but right now, I'm just enjoying a breath of fresh air outside my window.
@Bri FastSM feedback/bugs, if wanted I can put them on GH later: 1. Lists, if I understand the principe correctly, when an account is put into a list it no longer appears on the home TL, that is not the case, I still see new posts by accounts I put into a list there. Have I misunderstud the feature/need to configure something else? 2. Will it remember the TL position at some point? Beeing able to continue reading from where I left of on the Home TL and lists would be quite cool.
@johann And only in the list? Uh that seems kinda meh though, I don't wanna unfollow a person just to put them on a list, thought Mastodon would manage that automaticly?
Ok so apparently you need to enable that for each list, FastSM doesn't support that yet as it seems. Did enable it from Pachli but reloading the home timeline still shows posts by persons which should only be on a list. Not sure wether the API just doesn't respect that when fedging posts for the home tl or where the issue is there.
There are now sufficiently many different examples of Erdos problems that have been resolved with various amounts of AI assistance and formal verification (see github.com/teorth/erdosproblem… for a summary) that one can start to discern general trends.
Broadly speaking, we now see an empirical tradeoff between the level of AI involvement in the solution, and the difficulty or novelty of that solution. In particular, the recent solutions have spanned a spectrum roughly describable as follows:
1. Completely autonomous AI solutions to Erdos problems that are short and largely follow a standard technique. (In many, but not all, of these cases, some existing literature was found that proved a very similar result by a similar method.)
2. AI-powered modifications of existing solutions (which could be either human-generated or AI-generated) that managed to improve or modify these solutions in various ways, for instance by upgrading a partial solution to a full solution, or optimizing the parameters of the proof.
3. Complex interactions between humans and AI tools in which the AI tools provided crucial calculations, or proofs of key steps, allowing the collaboration to achieve moderately complicated and novel solutions to open problems.
4. Difficult research-level papers solving one or more Erdos problems by mostly traditional human means, but for which AI tools were useful for secondary tasks such as generation of code, numerics, references, or pictures.
Just in case anyone has any idea before I start digging for instructions, does anybody have any idea why my television refuses to operate in picture "Game" mode when it has Bluetooth audio output selected? As in, because it's the display for my Switch and gaming PC, I have it in "Game" mode rather than, say "Standard" or "Sport" or "Cinema" (I've no idea what any of those really do, but the picture looks best in "Game" mode to me anyway) but it I connect headphones, it forcibly switches to "Standard" and won't allow "Game" to be re-selected.
Hubert Figuière
in reply to Ben Foote • • •Ben Foote
in reply to Hubert Figuière • • •