2025-12-22 09:42:01
from my link log —
The Austral programming language. (linear types and capability security)
https://austral-lang.org/
saved 2023-05-06 https://dotat.at/:/XU0X…
from my link log —
The Austral programming language. (linear types and capability security)
https://austral-lang.org/
saved 2023-05-06 https://dotat.at/:/XU0X…
Reagan sucked in 1980 and his terrible influence continues in 2025
From: @…
https://mastodon.nu/@janhoglund/115758889451784602
@carlos@perceptiveconstructs.com
@carlos@social.perceptiveconstructs.comThe Boston Globe says Brian McGrory will return as editor, after Nancy Barnes' departure at the end of 2025; McGrory previously was editor from 2012 to 2023 (Aidan Ryan/The Boston Globe)
https://www.bostonglobe.com/2025/12/15/business/boston-globe-edito…
En Guadeloupe, une journaliste écartée de l’antenne après un vif échange avec Jordan Bardella
https://www.lemonde.fr/actualite-medias/article/2023/12/11/en-guadeloupe-une-…
On February 3, 2023, a Norfolk Southern train carrying hazardous chemicals derailed in the small town of East Palestine, Ohio.
Three days later, Norfolk Southern pressured local authorities to dump and burn five tanker cars full of chemicals,
blasting a mushroom cloud of toxic phosgene and hydrogen chloride into the air.
Nearly three years later, residents like Jami Wallace and her family are still suffering the toxic fallout
I would also like #ipv6 to be adopted. However my ISP doesn't even give me a ipv6 allocation, so had to set up a tunnel over tunnelbroker.net. My learnings so far; some of this stuff specially related to dynamic ip allocation isn't that trival to understand. https://www.apalrd.net/posts/2023/network_ipv6/
GM is adding native Apple Music to select vehicles, and rolls out support for digital keys, after it started phasing out CarPlay in 2023 (Andrew J. Hawkins/The Verge)
https://www.theverge.com/transportation/844697/gm-cadillac-chevy-apple-music-native
Redebeitrag zum 12.10.2023 von der Gira Zapatista Gruppe Hamburg
Redebeitrag zum 12.10.2023 von der gira zapatista Gruppe Hamburg
12.10: GLOBALER AKTIONSTAG GEGEN NEOKOLONIALISMUS
Es gibt nichts zu feiern! Seit dem Massenmord durch die spanische Besatzung von Abya Yala, auch Lateinamerika genannt, wird die offizielle Geschichte von 1492 bis heute mit dem Blut indigener Pueblos auf der ganz
from my link log —
Building a baseline JIT for Lua automatically.
https://sillycross.github.io/2023/05/12/2023-05-12/
saved 2023-05-13 https://
Home Insulation Works: Barriers to Installation (2023) - Doing the right thing is hard, and insurers do not help! #insulation #netZero #futureReady -
“Economic growth no longer linked to carbon emissions in most of the world.."
Oh really?
1) Emissions of greenhouse gases are still rising
2) The degree of decoupling is far from enough
3) for the United Kingdom, the reduction 2015-2023 was -18.41%, average
-2.51% per year. To reach net zero emissions by 2050, an annual reduction of 10% is needed.
4) Those decoupling countries are not compensating for the growth in emissions elsewhere.
‼️Gern boosten für mehr Antworten‼️
Seit Sep. 2023 immer falsch geraten. 🤨
In wie vielen #Fernsehsendungen des öffentlich-rechtlichen Rundfunks wurde im November 2025 über den #Klimawandel, dessen Drumherum sowie den
Bengals gave Zac Taylor a secret contract extension in 2023, per report: Why that matters and what it means
https://www.cbssports.com/nfl/news/bengals
Annex 1 of the Anti Coercion Instrument sets out possible measures that the EU could impose, including,
"7. The imposition of restrictions on the protection of intellectual property rights or their commercial exploitation, in relation to rightholders that are nationals of the third country concerned, which may amount, as necessary, to the non-performance of applicable international obligations with respect to trade-related aspects of intellectual property rights."
Schottenheimer Makes Plea to Cowboys on $21 Million Free-Agent Move https://heavy.com/sports/nfl/dallas-cowboys/brian-schottenheimer-cowboys-on-free-agent-star/
Having a bit of a Daisy Ridley week. First, did Magpie a couple days ago, and now doing The Marsh King's Daughter, thanks to @…'s rec. 👊
https://boxd.it/u2Q8
So, wie Audiophile um Rock-Platten aus den späten 1990ern und den 2000ern einen großen Bogen machen (zu Sound-Matsch gemastert wegen Loudness-War), werden Bibliophile irgendwann mal bevorzugt Bücher kaufen, die vor 2023 erschienen sind. Weil man da weitgehend sicher sein kann, dass diese Bücher noch ohne AI-Unterstützung und ganz sicher nicht von einer AI alleine geschrieben wurden. #justthinkin
How the #Geminids are doing so far: global video data from this year in the top, the 2023-5 average below. From https://globalmeteornetwork.org/flux/ - see also https://www.imo.net/members/imo_live_shower?shower=GEM&year=2025 for visual and https://www5f.biglobe.ne.jp/~hro/Flash/2025/GEM/ for radio echo data; the plots should consolidate in a few days.
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.comLa vigilance est plus que jamais nécessaire : des organisations piègent les robots conversationnels pour les amener Š faire installer un logiciel malveillant…
https://www.macg.co/intelligence-artificie
OpenAI's chief communications officer Hannah Wong will leave in January; Wong joined in 2021 and led PR during Sam Altman's brief ouster and return in 2023 (Maxwell Zeff/Wired)
https://www.wired.com/story/openai-chief-communications-officer-hannah-…
Stop the Government Redefining Animal Testing Sites as “National Infrastructure” #AnimalRights
spanish_highschools: Spanish high schools (2023)
Directed networks of friendships obtained through a social survey of spanish high school students.
This network has 378 nodes and 3267 edges.
Tags: Social, Offline, Weighted, Metadata
https://networks.skewed.de/net/spanish
Xu Bo, a Chinese billionaire, was seeking parental rights to at least four unborn children,
and the court’s additional research showed that he had already fathered or was in the process of fathering at least eight more
—all through surrogates.
When called in for a confidential hearing in the summer of 2023,
he never entered the courtroom, according to people who attended the hearing.
The maker of fantasy videogames lived in China and appeared via video, speaking …
Details are finally out about what happened to the Scarborough subway extension boring machine that got stuck under the 401
https://globalnews.ca/news/11521835/scarborough-subway-extension-highway-401-closure/
Podcast : La Secte OKC : ils racontent leur vie dans la secte bouddhiste belge
Presque 15 ans d'écart entre nos deux protagonistes et pourtant tellement de point commun quoi qu'en dise "l'évolution de l'éducation des enfants" selon la OKC
https://
🔊 #NowPlaying on #BBCRadio3:
#ThroughTheNight
- Rachmaninov and Mahler at the 2023 BBC Proms
Stephen Hough plays Rachmaninov's First Piano Concerto with the BBC Philharmonic. Plus Mahler's Titan Symphony and the world premiere of a new work by Grace Evangeline Mason.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002mw4b
In the last, guttering hours of the year, it’s tradition to look back on the last 12 months’ #TTRPG activity and reflect. You can read last year’s summary at https://dice.camp/@davej/113747664699824381…
@carlos@perceptiveconstructs.comThe rest of the Eagles' season can go one of two ways https://www.espn.com/nfl/story/_/id/47278535/philadelphia-eagles-2025-season-go-one-two-ways
2025 wird voraussichtlich eines der drei heißesten Jahre seit Beginn der #Wetteraufzeichnungen.
Der November lag global 1,54 Grad über dem vorindustriellen Niveau und damit über dem Ziel des #PariserAbkommens.
Zwischen 2023 und 2025 könnte erstmals ein Dreijahresze…
Mai Kivelä: Hallitus auttaa suuryrityksiä karttamaan ympäristövastuuta globaalin hiilinielun jatkaessa rapistumista https://vasemmisto.fi/mai-kivela-hallitus-auttaa-suuryrityksia-karttamaan-ymparistovastu…
from my link log —
Avoiding fallback and cold paths.
https://timkellogg.me/blog/2021/01/29/cold-paths
saved 2023-11-03 https://…
This week's #GrindayFriday are local (to me) Phoenix, Arizona boys GARNAK. This last one they did in 2023, 'We're Serious This Time' has so much great stuff on it.
https://garnak.bandcamp.com/album/were
@carlos@social.perceptiveconstructs.comBeyond Revenue and Welfare: Counterfactual Analysis of Spectrum Auctions with Application to Canada's 3800MHz Allocation
Sara Jalili Shani, Kris Joseph, Michael B. McNally, James R. Wright
https://arxiv.org/abs/2512.08106 https://arxiv.org/pdf/2512.08106 https://arxiv.org/html/2512.08106
arXiv:2512.08106v1 Announce Type: new
Abstract: Spectrum auctions are the primary mechanism through which governments allocate scarce radio frequencies, with outcomes that shape competition, coverage, and innovation in telecommunications markets. While traditional models of spectrum auctions often rely on strong equilibrium assumptions, we take a more parsimonious approach by modeling bidders as myopic and straightforward: in each round, firms simply demand the bundle that maximizes their utility given current prices. Despite its simplicity, this model proves effective in predicting the outcomes of Canada's 2023 auction of 3800 MHz spectrum licenses. Using detailed round-by-round bidding data, we estimate bidders' valuations through a linear programming framework and validate that our model reproduces key features of the observed allocation and price evolution. We then use these estimated valuations to simulate a counterfactual auction under an alternative mechanism that incentivizes deployment in rural and remote regions, aligning with one of the key objectives set out in the Canadian Telecommunications Act. The results show that the proposed mechanism substantially improves population coverage in underserved areas. These findings demonstrate that a behavioral model with minimal assumptions is sufficient to generate reliable counterfactual predictions, making it a practical tool for policymakers to evaluate how alternative auction designs may influence future outcomes. In particular, our study demonstrates a method for counterfactual mechanism design, providing a framework to evaluate how alternative auction rules could advance policy goals such as equitable deployment across Canada.
toXiv_bot_toot
Microsoft plans to invest CA$7.5B in Canada over two years to build AI infrastructure, coming online in 2026, taking its investment to CA$19B from 2023 to 2027 (Deborah Sophia/Reuters)
https://www.reuters.com/business/microsoft-inv…
Surprisingly, and unfortunately, NsCDE appears possibly abandoned, with no github activity since mid-2023. I prefer it to CDE, which (somehow) is still actively maintained. Nevertheless, the most recent release of NsCDE works well on openSUSE as of today. I wish I could say the same of CDE.
from my link log —
That's FAR-out, man: a kernel infoleak in Mac OS xnu.
https://blog.dfsec.com/ios/2023/11/19/thats-far-out-man/
saved 2023-12-05
Berlin prosecutors say they have charged a member of the far-right Alternative für Deutschland party with making a Nazi salute in parliament.
The suspect allegedly “greeted a party colleague … at the east entrance to the Reichstag building with a heel click and a Hitler salute” in June 2023, the prosecutors said in a statement issued on Monday.
Bild named the politician as Matthias Moosdorf, 60, a member of parliament for Zwickau in the state of Saxony.
https://www.theguardian.com/world/2025/dec/15/member-far-right-afd-party-charged-nazi-salute-reichstag-germany?CMP=Share_iOSApp_Other
Auf Flucht aus Anstalt - Todes-Raserin (36) selbst von Auto angefahren #News #Nachrichten
In 2023, China was Venezuela’s second largest trading partner, accounting for almost 10 percent of its total exports, half of which were petroleum coke.
The closest I have to a Halloween post, from 5 years ago and last updated in mid-2023:
https://adrianroselli.com/2020/11/more-accessible-skeletons.html
@carlos@perceptiveconstructs.comIndia officially notifies its first data protection law to establish a framework for data processing, protection, and governance, including verifiable consent (The Economic Times)
https://economictimes.indiatimes.c…
Débat de 2023 sur les victimes de sectes, de l’emprise Š la reconstruction. Quels sont les mécanismes Š l'oeuvre, comment identifier le discours sectaire, comment trouver de l'aide pour s'en sortir et se reconstruire ? https://chardonsbleus.org/debat-victim
Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 03.12.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:
In 2023 I became obsessed with videos of dads in cargo shorts waiting in parking lots during Taylor Swift's Eras Tour.
So when she came to town,
I grabbed a camera and headed down to talk to them.
I thought it'd be funny.
It turned out to be something else entirely.
https://bs…
@carlos@social.perceptiveconstructs.comDenise Dresser, Slack CEO since 2023, is stepping down to join OpenAI as the company's chief revenue officer (Wired)
https://www.wired.com/story/slack-ceo-denise-dresser-joins-openai-chief-revenue-officer/
Analysis: in 2025, only 17% of North America's top 100 highest-grossing films were directed by non-white filmmakers, down from 27% in 2021 and 24% in 2023 (Richard Rushfield/The Ankler)
https://theankler.com/p/hollywoods-backslide-into-white-male
from my link log —
Who invented vector clocks?
https://decomposition.al/blog/2023/04/08/who-invented-vector-clocks/
saved 2025-12-01
fly_larva: Drosophila larva brain (2023)
A complete synaptic map of the brain connectome of the larva of the fruit fly Drosophila melanogaster. Nodes are neurons, and edges are synaptic connections, traced individually from brain image sections using three-dimensional electron microscopy–based reconstruction. Node metadata include the neuron hempisphere, hemispherical homologue, cell type, annotations, and inferred cluster. Edge metadata include the type of interaction (`'aa'`,…
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.comA NASA mission that studied the interior of hurricanes collected its final data on Nov. 12, as the last two CubeSats in its fleet were powered down prior to re-entering Earth’s atmosphere: #TROPICS (Time-Resolved Observations of Precipitation structure and storm Intensity with a Constellation of Smallsats) mission originally consisted of four identical, milk carton-sized satellites that launched in May 2023.
from my link log —
Black-box concurrent data structures for NUMA architectures.
https://cs.brown.edu/~irina/papers/asplos2017-final.pdf
saved 2023-09-09
To people who didn’t vote for Trump, his sweaty panic over the Epstein files is perplexing.
The president’s enthusiasm for sexual violence is no secret.
It’s been nine years since the release of the “Access Hollywood” video, in which he bragged about how he liked to “grab them by” the genitals.
In 2023 and 2024, two civil juries found that journalist E. Jean Carroll told the truth when she said Trump sexually assaulted her in the 1990s.
The president has also made …
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.comZugebaute #Batteriespeicherkapazität pro Monat in #Deutschland mit Stand vom 29.11.2025.
373 Datensätze ohne #Batteriespeichertechnologie herausgefil…
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.comCar sharing service Zipcar UK plans to shut down after London extended its Congestion Charge to EVs; Zipcar had losses of £11.7M in 2024 vs. £364,000 in 2023 (Simon Hunt/City A.M.)
https://www.cityam.com/zipcar-uk-to-shut-operations-ahead-of-new-…
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.comSpanne der Bruttospeicherleistung von #Batteriespeichern pro Inbetriebnahmejahr von Privatpersonen in Deutschland mit Stand vom 29.11.2025.
373 Datensätze ohne #Batteriespeichertechnologie herausgefiltert.
Der Datenbestand enthält unplausible Datensätze.
@carlos@social.perceptiveconstructs.com1Password CEO David Faugno says the company has crossed $400M in ARR, up from $250M in 2023, as it benefits from a shift in the threat landscape due to AI (Samantha Subin/CNBC)
https://www.cnbc.com/2025/11/06/ryan-reynolds-backed-1password-tops-400…
Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 22.12.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:
@carlos@social.perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@social.perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com
@carlos@perceptiveconstructs.com