Ted Dunning
Ted Dunning
@bsky.tdunning.com
That spoon is bigger than it looks. And it isn't a fork (in the road) Member of Apache Software Foundation, committer on many Apache projects, Fellow at HPE.
654 followers416 following2K posts
Ted Dunning reposted
A 45-year-old Republican candidate in Iowa is being sued by his parents for $275,000 in unpaid rent. trib.al/XImygki
For reference, there is an uncontained H1N1 bird flu outbreak in Utah. State authorities have decided not to test employees or the animals involved and are not taking any measure to contain the outbreak. This is bad because mink provide a perfect stepping stone to humans. bsky.app/profile/olev...
This is important. Serious threat of seriously infectious viral disease from unregulated animal sources (thanks in part to a maga-mess at CDC and patchwork of real vs mage science across the states)
Ted Dunning reposted
@rebeccagrambo.bsky.social Photos of a pretty place, just to say hello. Edelweiss & view of high alps including Jungfrau from just about tiny train stop at Wengernalp in Switzerland. Edelweiss conveniently by the walking path near train.
Quote of the day: "Vegemite is typically considered an acquired taste at best by those who weren't raised on it." and they don't even get into the question of Marmite vs Vegemite. #australia #vegemite #marmite www.npr.org/2026/10/26/g...
Ted Dunning reposted
Ted Dunning reposted
Ted Dunning reposted
SpeedyWeather.jl: Towards a differentiable and GPU-capable general circulation model โ Maximilian Gelbrecht, Milan Klรถwer https://youtu.be/STMDrYShKYA
Ted Dunning reposted
Ted Dunning reposted
This evening on Kremlin TV: Putin talking heads congratulate Putin on defeating America by taking control of Trump and predict next he will topple Zelenskyy and take Ukraine, as Iran defeats America in the Gulf. youtube.com/watch?v=P5UR...
Ted Dunning reposted
Replying to @brigitteempire.bsky.social
When people like that call other people 'elitist', what they mean is that person isn't subservient to them, an obviously important person, may even dare to call them out for their bullshit. "You must be elitist because you think you are as important as me, which is impossible, know your place" etc.
Ted Dunning reposted
Ted Dunning reposted
Ted Dunning reposted
A two-weekend fun project from 2 months ago: Vermilion, an experimental Lean 4 backend for Verus verifier for Rust. Verification conditions are readable Lean theorems, provable with an SMT solver, Lean's grind, Mathlib lemmas, by hand, or by your favorite AI system. github.com/ilyasergey/v...
Ted Dunning reposted
New post on "Proofs and Intuitions": Verus meets Lean. An experiment in bringing interactive proofs and mathematical libraries to auto-active Rust verification. proofsandintuitions.net/2026/10/18/v...
A friend just pointed out Vermillion. The idea is to use Verus annotations on a Rust program but replace Z3 with Lean. This increases the sophistication of possible proofs allows simplification. Nice work. proofsandintuitions.net/2026/10/18/v... @ilyasergey.bsky.social #proof #verus #rust #lean
Canadians once again show that they are sensible people, even in Alberta. Not that the secessional referendum didn't just fail. It failed resoundingly. apnews.com/article/albe...
Ted Dunning reposted
Ted Dunning reposted
Ted Dunning reposted
Ted Dunning reposted
But how many did you do in the last *last week*? That's how you qualify as a recidivist old fart. Paging @ellen-friedman.bsky.social
Ted Dunning reposted
Ted Dunning reposted
Ted Dunning reposted
Ted Dunning reposted
Update: without explanation, and after being suspended for more than an hour during peak mobilization time, Zuckerberg's Instagram restored the No Kings account but we still lack admin access. More to come. Rest assured we will not stop organizing against this regime and its collaborators.
โโโMark Zuckerberg's meta just suspended the No Kings Instagram account. I just rushed back from my local No Kings to jump on this. Bottom line, would be helpful for all pro-No Kings folks to elevate the issue and help us get the word out about No Kings today. The Nerd Reich strikes again.
Ted Dunning reposted
Ted Dunning reposted
Ted Dunning reposted
"The Immigration Crackdown Is Making It Much Harder to Build Houses" www.wsj.com/us-news/the-... "The arrests have also spooked foreign-born workers with legal status, some of whom have been caught up in raids and repeatedly detained"
Ted Dunning reposted
We shall overcome, indeed.
Students from North Carolina A&T can be seen marching back to their HBCU after voting on the first day of early voting in the state. The Guilford County Board of Elections voted to remove the schoolโs on-campus polling site. (video via Todd Simmons) greensboro.com/news/local/g...
Ted Dunning reposted
Ted Dunning reposted
BREAKING: @democracydefendersfund.org & partners just sued ICE over a nasty catch-22 ICE detains people, takes their IDs & work papers, releases them, keeps the papers. Now they can't work & risk getting picked up again for having no ID We're going to court to get it ALL back -TN