2025-11-23 12:42:01
from my link log —
Sum types in Julia and Rust.
https://andreaskroepelin.de/blog/sum_types/
saved 2020-08-31 https://dotat.at/:/D7RR…
from my link log —
Sum types in Julia and Rust.
https://andreaskroepelin.de/blog/sum_types/
saved 2020-08-31 https://dotat.at/:/D7RR…
Google invests an undisclosed sum in Sakana AI, valued at $2.6B in November 2025, to boost Gemini's presence in Japan; Sakana AI gains access to Google's LLMs (Min-Jeong Lee/Bloomberg)
https://www.bloomberg.com/news/articles/20
Bit root is explaining why there will only be 21 million bitcoin.
Block rewards every ten minutes halving every for years is an infinite sum tending to that 21m supply. In fact a few sats less due to rounding errors.
She explains why bit shift in the code is the same as halving due to the way binary number representation works.
The code stops shifting at 64 halvings , despite the fact the reward will be zero after 32. This is since c leaves 64 bits shifted off a 64 bit number as undefined.
But could the code just be changed? No. The source code maintainers could try, but node runners would refuse the update, it being against their financial interests to do so. Even if some nodes did do, you on your own node can resist.
When people created forks with more supply, the market sent it's price to zero.
#bitfest #bitcoin
There are some eye-poppers in there…
From FT: "Tuesday marked the first anniversary of the start of Trump’s second term in office. From “Taco” to the “Donroe doctrine”, these 12 charts sum up a year of Trump 2.0."
https://giftarticle.ft.com/giftarticle
Coinbase agrees to acquire prediction markets startup The Clearing Company for an undisclosed sum; the startup was founded in 2025 and raised a $15M seed (Yogita Khatri/The Block)
https://www.theblock.co/post/383497/coinbase-to-acquire-…
The whole day so far, after doing some chores around the city, is depressing a few layers high ∑ and a few layers deep ↓
I am somewhere in the middle ∝ and miraculously alright, but I don't like it.
Watch Dallas Cowboys-New York Giants fight perfectly sum up disaster season https://www.si.com/nfl/cowboys/onsi/news/watch-dallas-cowboys-giants-fight-perfectly-sum-up-disaster-season
Cloudflare acquires AI data marketplace Human Native for an undisclosed sum to help it develop a system where AI developers pay creators for training content (Davis Giangiulio/CNBC)
https://www.cnbc.com/2026/01/15/cloudflare-ai-human-native-acquisition.html…
Larry Summers "stepping back" from public roles after Epstein files release (Rebecca Falconer/Axios)
https://www.axios.com/2025/11/18/larry-summers-harvard-epstein
http://www.memeorandum.com/251117/p166#a251117p166
Did you choose your major poorly in college, and are so obsessed with being in London that you are willing to accept a sub-living wage to reside there? Or is your partner well enough paid to maintain you, but you don't want to be bored at home? Are you independently wealthy, perhaps? Please consider subsidizing the British State with your labor in exchange for a token sum of £38k per year.
🇺🇦 Auf radioeins läuft...
Rosalía:
🎵 Porcelana
#NowPlaying #Rosalía
#newRelease 🆕 album
https://beatsbyalpaca.bandcamp.com/track/rosal-a-porcelana-alpacas-ego-sum-mix
https://open.spotify.com/track/3hETtcSLmNncBjPMLHtVZs
Email is a zero-sum game. Your inbox zero is somebody else's problem.
That’s a fascinating website by @…
https://nonzerosum.games/
Yeah, Jimmy “I’m actually quite in favour of business and capitalism and all that”* Wales, the surveillance capitalist and Fandom-president adtech man who once told me he doesn’t believe in any form of government regulation – not even in food standards or healthcare – can go fuck himself.
Find better heroes. Or even better yet, get over the whole stupid concept itself.
*
I tried to stay calm, but then copilot made me lose my shit
#genAIgoingGreat
"I've been using OmniOutliner for 20 years, and it's truly the best (and most trusted) system I've found to stop trying to use my brain as a filing cabinet."
— Phil Alden Robinson, Director and Screenwriter (whose films include Field of Dreams, Sneakers, and The Sum of All Fears)
https://en.w…
Cloudflare acquires AI data marketplace Human Native for an undisclosed sum, aiming to create a new system where AI developers pay creators for training content (Davis Giangiulio/CNBC)
https://www.cnbc.com/2026/01/15/cloudflare-ai-human-native-acquisition.html
RE: https://flipboard.social/@newsguyusa/115861173721374216
Hey, this is a great idea! While we're at it, we should send lump sum payments to everyone who lives in the US, too. We could call it.. Universal Bribery Income or something. This "UB…
“Notes on Being a Man”, by Scott Galloway. An interview by Jordan Klepper on The Daily Show.
Nearly one in five men in their 30s still live with their parents, and 15% report having no close friends. Men are also four times more likely to die by suicide than women.
“Guiding boys to become men is not a zero sum game. Everyone benefits.”
htt…
“Would it be particularly helpful to have some text that would be •typical• in a given context, even if the text is possibly •incorrect•?”
∑ vet potential applications of LLMs with this one weird question!
A summit has begun in Brussels to decide the fate of aid to Ukraine #shorts: https://benborges.xyz/2025/12/03/a-summit-has-begun-in.html
When people talk about the Enlightenment as if it were an intellectual garden party where everyone sipped wine and agreed about reason, they're missing the part where producing and distributing ideas was (in fact) dangerous and thankless work.
Today we have more information than any civilization in history.
But aside from Wikipedia, we've organized the sum total of our collective knowledge into formats optimized for making people angry at strangers in pursuit of private …
"Debt does matter, but the debt that matters in a capitalist economy is not so much public debt, but corporate debt. The latest estimates are that in the major economies, some 30%-plus of companies have so much debt that they do not earn enough profits to service that debt."
...
"the stock market may be booming ... but the rest of the economy is not so buoyant; and there appear to be cockroaches eating into the clean running of the world of debt. "
Michae…
I made a nice sum of money on the prediction markets betting on the winner of this year's FIFA Peace Prize.
""Rousseau invites endless introspection. Franklin invites progress. The first is about how you feel; the second is about what you build.
I find the Franklin model far more useful. Not because it’s truer in some cosmic sense, but because it gives you agency. You can’t always change how you feel, but you can always decide what to do next.""
Sonnet 049 - XLIX
Against that time, if ever that time come,
When I shall see thee frown on my defects,
When as thy love hath cast his utmost sum,
Called to that audit by advis'd respects;
Against that time when thou shalt strangely pass,
And scarcely greet me with that sun, thine eye,
When love, converted from the thing it was,
Shall reasons find of settled gravity;
Against that time do I ensconce me here,
Within the knowledge …
🤼♂️ Japan's sumo association turns 100, but the sport's rituals have a much older role shaping ideas about the country
https://theconversation.com/japans-sumo-association-turns-100-but…
Locally Linear Convergence for Nonsmooth Convex Optimization via Coupled Smoothing and Momentum
Reza Rahimi Baghbadorani, Sergio Grammatico, Peyman Mohajerin Esfahani
https://arxiv.org/abs/2511.10239 https://arxiv.org/pdf/2511.10239 https://arxiv.org/html/2511.10239
arXiv:2511.10239v1 Announce Type: new
Abstract: We propose an adaptive accelerated smoothing technique for a nonsmooth convex optimization problem where the smoothing update rule is coupled with the momentum parameter. We also extend the setting to the case where the objective function is the sum of two nonsmooth functions. With regard to convergence rate, we provide the global (optimal) sublinear convergence guarantees of O(1/k), which is known to be provably optimal for the studied class of functions, along with a local linear rate if the nonsmooth term fulfills a so-call locally strong convexity condition. We validate the performance of our algorithm on several problem classes, including regression with the l1-norm (the Lasso problem), sparse semidefinite programming (the MaxCut problem), Nuclear norm minimization with application in model free fault diagnosis, and l_1-regularized model predictive control to showcase the benefits of the coupling. An interesting observation is that although our global convergence result guarantees O(1/k) convergence, we consistently observe a practical transient convergence rate of O(1/k^2), followed by asymptotic linear convergence as anticipated by the theoretical result. This two-phase behavior can also be explained in view of the proposed smoothing rule.
toXiv_bot_toot
The annual fundraiser support for Wikimedia from the richest man in the world is a dystopian right-wing infused parody site of #Wikipedia.
So if you‘d rather support free access to the sum of all human knowledge instead of billionaire tech bros, you get a chance to donate out of spite.
On Dynamic Programming Theory for Leader-Follower Stochastic Games
Jilles Steeve Dibangoye, Thibaut Le Marre, Ocan Sankur, Fran\c{c}ois Schwarzentruber
https://arxiv.org/abs/2512.05667 https://arxiv.org/pdf/2512.05667 https://arxiv.org/html/2512.05667
arXiv:2512.05667v1 Announce Type: new
Abstract: Leader-follower general-sum stochastic games (LF-GSSGs) model sequential decision-making under asymmetric commitment, where a leader commits to a policy and a follower best responds, yielding a strong Stackelberg equilibrium (SSE) with leader-favourable tie-breaking. This paper introduces a dynamic programming (DP) framework that applies Bellman recursion over credible sets-state abstractions formally representing all rational follower best responses under partial leader commitments-to compute SSEs. We first prove that any LF-GSSG admits a lossless reduction to a Markov decision process (MDP) over credible sets. We further establish that synthesising an optimal memoryless deterministic leader policy is NP-hard, motivating the development of {\epsilon}-optimal DP algorithms with provable guarantees on leader exploitability. Experiments on standard mixed-motive benchmarks-including security games, resource allocation, and adversarial planning-demonstrate empirical gains in leader value and runtime scalability over state-of-the-art methods.
toXiv_bot_toot
Nike quietly sold its digital products subsidiary RTFKT on December 16 for an undisclosed sum, roughly one year after Nike shuttered the NFT unit (Matthew Kish/Oregonian)
https://www.oregonlive.com/business/2026/01/n…
Bought a van to do up as a micro-camper, and did a temporary rush job of that conversion myself while waiting in the list for the pro to do it.
Then the pro gave himself a health criss the week it was booked so I took apart my temp job and only got another temp kit-job in it's place.
Went out in it like four times during that and then broke my wrist and couldn't really use it or improve it.
Then had to take it apart even more to try
and figure out where the ad-blue hole was.
I will do a proper permanent job of the
floor and walls and ceiling and adjustments to the kit-job to make it the nicest it's been so far during the spring next year.
My assumption that the prior conversion
into a van and for wheelchair-access meant the microcamper conversion was half-done already turned out to be false.
If I buy a new one, it'll be one that has never been wheelchair adapted.
But it's going okay. Only scraped it once so far.
Fewer than aimed for or booked, but I broke my wrist and had to cancel the second half of the summer.
Went to a conference about money and computers and fringe decentralized social media and it wasn't as boring as you might expect and felt pretty much like a festival.
Exactly the target number! It's lovely.
Took 3 times longer than I'd hoped and
50% more money than I'd planned for really.
Still improvements to make but they will
be incremental and gradual over the coming year or two now.
It's been interest-only for 20 years so a big old lump sum payment that I never really expected to be able to make. Expected to have to sell and move at the end of the mortgage term.
But surprisingly the stocks ISA got high enough to pay it off after all, so I did that.
Cash-flow ruined by that and the bedroom but should start to feel a bit richer next year.
Accenture agrees to acquire UK AI startup Faculty, which works with the UK government, for an undisclosed sum; Faculty CEO Marc Warner will become Accenture CTO (Mark Bergen/Bloomberg)
https://www.bloomberg.com/news/articles/20
🇺🇦 #NowPlaying on KEXP's #VarietyMix
ROSALÍA:
🎵 Porcelana
#ROSALÍA
#newRelease 🆕 album
https://beatsbyalpaca.bandcamp.com/track/rosal-a-porcelana-alpacas-ego-sum-mix
https://open.spotify.com/track/3hETtcSLmNncBjPMLHtVZs
Strategyproof Tournament Rules for Teams with a Constant Degree of Selfishness
David Pennock, Daniel Schoepflin, Kangning Wang
https://arxiv.org/abs/2512.05235 https://arxiv.org/pdf/2512.05235 https://arxiv.org/html/2512.05235
arXiv:2512.05235v1 Announce Type: new
Abstract: We revisit the well-studied problem of designing fair and manipulation-resistant tournament rules. In this problem, we seek a mechanism that (probabilistically) identifies the winner of a tournament after observing round-robin play among $n$ teams in a league. Such a mechanism should satisfy the natural properties of monotonicity and Condorcet consistency. Moreover, from the league's perspective, the winner-determination tournament rule should be strategyproof, meaning that no team can do better by losing a game on purpose.
Past work considered settings in which each team is fully selfish, caring only about its own probability of winning, and settings in which each team is fully selfless, caring only about the total winning probability of itself and the team to which it deliberately loses. More recently, researchers considered a mixture of these two settings with a parameter $\lambda$. Intermediate selfishness $\lambda$ means that a team will not lose on purpose unless its pair gains at least $\lambda s$ winning probability, where $s$ is the individual team's sacrifice from its own winning probability. All of the dozens of previously known tournament rules require $\lambda = \Omega(n)$ to be strategyproof, and it has been an open problem to find such a rule with the smallest $\lambda$.
In this work, we make significant progress by designing a tournament rule that is strategyproof with $\lambda = 11$. Along the way, we propose a new notion of multiplicative pairwise non-manipulability that ensures that two teams cannot manipulate the outcome of a game to increase the sum of their winning probabilities by more than a multiplicative factor $\delta$ and provide a rule which is multiplicatively pairwise non-manipulable for $\delta = 3.5$.
toXiv_bot_toot
🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Claudio Monteverdi, Gabriele Palomba, La Venexiana & Gabriele Palomba:
🎵 Nigra sum, sed formosa
#ClaudioMonteverdi #GabrielePalomba #LaVenexiana
🇺🇦 #NowPlaying on #BBC6Music's #RileyAndCoe
Terry:
🎵 Bureau (6 Music Session, 5 Sep 2018)
#Terry
https://nahtwee.bandcamp.com/track/summer-follows-spring-terry-hall
https://open.spotify.com/track/1JsxMEdjPO4Hj3TnpZu8Rt
🇺🇦 #NowPlaying on KEXP's #PacificNotions
Ouri:
🎵 V Stories (∑)
#Ouri
#newRelease 🆕 album
https://ourimusic.bandcamp.com/track/v-stories
https://open.spotify.com/track/5CmtMhy3jlMPHq5YI8XcjJ
🇺🇦 #NowPlaying on #KEXP's #Early
foamboy:
🎵 SUMMERING
#foamboy
#newRelease 🆕 single
https://foamboy.bandcamp.com/track/summering
https://open.spotify.com/track/600axZKBKvEHZuZnPDz0JF