@hippyjo@c.imUkraine update from Giorgio Provincialli: History will show the truth, Giorgio helps by providing the receipts and first-hand perspective from the kill zone.
Share the link to bypass the paywall and help the world be a little less ignorant: https:/…
@arXiv_csPL_bot@mastoxiv.pageBuild-Authorized Evidence for Opaque Calls: A Fail-Closed Rewrite-Authority Boundary
Zhonghua Yi (Toka Language Research Group)
https://arxiv.org/abs/2607.18949 https://arxiv.org/pdf/2607.18949 https://arxiv.org/html/2607.18949
arXiv:2607.18949v1 Announce Type: new
Abstract: Detached semantic facts about opaque native providers do not by themselves justify compiler rewrites: rewrite authority must be confined to the accepted fact, selected provider and build, caller, callback environment, observation, and runtime target. We present a build-authorized path-effect interface that enforces this boundary through fail-closed authorization and link receipts. The design separates receipt closure, callback-environment closure, and projection identity, and passes accepted facts to LLVM through a narrow internal API. We use one-hop topology-load reuse as a minimal observable witness of authority, not as the optimization target.
A conservative LLVM consumer reuses a pointer observation only from a noalias root or one constant nonzero projection. Rocq models prove conditional refinement and authority non-amplification under explicit effect, alias, compiler/ABI, and target-resolution premises. We instantiate checked production with Toka: a source-summary gate emits exact LLVM IR, a separate IR checker accepts only a bounded topology-preserving subset, and only accepted IR is compiled into the receipt-bound provider object. A bounded static Darwin/arm64 profile also checks the final direct branch target.
Across issuer-declared readv, recvmsg, and Cairo boundaries, authorized IR retains each opaque call, reduces the relevant loads from two to one, and preserves observed results; mismatched providers, builds, callbacks, projections, and unsupported IR remain neutral. A libjpeg case is rejected because its callback environment is open, while a bound callback singleton demonstrates the supported closure rule. The contribution is a checked deployment-compiler boundary with an explicit trust and applicability frontier, not a uniquely expressive effect encoding or a new load-elimination algorithm.
toXiv_bot_toot
@Mediagazer@mstdn.socialMaria Bartiromo's lawyer Bryan Freedman, who repped Don Lemon and Chris Cuomo, denies "irresponsible reports" that she was fired and is no longer a Fox employee (Caitlin Huston/The Hollywood Reporter)
https://www.
@lightweight@mastodon.nzoss.nzHow did I miss this? https://www.stuff.co.nz/politics/360997392/most-bonkers-govt-big-tech-spending-revelations This is damning. Wow. Compare to how much the NZ Gov't is spending with domestic tech suppliers.
@fazalmajid@vivaldi.net@… @… for the receipts on this:
https://
@marcel@waldvogel.familyIt is so easy to create an impressive-looking piece of software.
But it apparently is much easier to create impressive-looking security holes. And deal with them embarrassingly.
https://bobdahacker.com/blog/tldv-hack
@Techmeme@techhub.socialAn analysis of US payroll data across 730 occupations: employment among workers ages 22 to 25 in highly AI-exposed jobs is now shrinking by 3.8% per year (Nick Lichtenberg/Fortune)
https://fortune.com/2026/06/27/what-is-ai-imp…
@Mediagazer@mstdn.socialNetChoice sues Illinois to block taxes on large social media companies and on companies with over $1M in gross receipts from digital ad services (Heather Cherone/WTTW News)
https://news.wttw.com/2026/09/11/tech-group-sues-illinois-over-social-medi…
@markhburton@mstdn.socialUtter bollocks from Resolution Foundation (as so often).
1) We do not need to spend more on weapons, thank you. Cut back 'defence' to 2015 level and you'd release £Billions for rebuilding the country.
2) Increased tax receipts can be obtained by taxing high earners, and wealth more.
Fund defence spending from tax rise on middle earners, thinktank tells Healey | Defence policy | The Guardian
@hippyjo@c.imUkraine update from Dylan Combelick: confronting ignorance with truth and receipts.
Share the friend link and make MAGA cry: https://medium.com/@dylan_combellick/ukraine-update-august-13-94c354ca9f2d?sk=e8d8d905962ef9134d14b0c4c8…
@drgeraint@glasgow.social"in its annual block grant to the Scottish government, the UK government deducts what it would have collected in income tax revenue had its rates been applied north of the border."
"Scottish income tax receipts, for 2024-25, were £209m lower than [...] forecast."
"combined with higher than expected income tax revenue in England and Northern Ireland, [...] the Treasury will deduct from the Scottish Budget [...] a record £720m."
UK Treasury not r…
@michabbb@social.vivaldi.net🎨 Interaction stays grounded in authored data: search nodes, trace upstream and downstream reach, probe exact routes, compare semantic roles and play guided stories without inventing topology
🚀 Atomic validation before delivery: schema, layout, HTML/SVG, route and label clearance checks must all pass, and failures return machine-readable repair receipts with stable rule codes
@memeorandum@universeodon.comElon Musk's DOGE Promised Savings, But It's Cost Us a Fortune (Michael Mechanic/Mother Jones)
https://www.motherjones.com/politics/2026/08/gao-report-doge-elon-musk-overstated-savings-wall-receipts-waste-fraud-cost/
http://www.memeorandum.com/260813/p54#a260813p54
@markhburton@mstdn.socialTrump administration has received $13Bn from Venezuela's oil this year already. What they are doing with it is obscure.
Oil receipts up 25% but country is in recession.
Rubio gives instructions directly to the Venezuelan interim president who maintains a show of independence.
It's a de facto colony (article says 'protectorate'.
Trump ha convertido Venezuela en un protectorado 'de facto' y la comunidad internacional prefiere mirar hacia otro lado
@memeorandum@universeodon.comDOGE's "wall of receipts" riddled with inaccuracies and unsubstantiated claims, congressional watchdog says (Kathryn Watson/CBS News)
https://www.cbsnews.com/news/doge-wall-of-receipts-elon-musk-government-accountability-office/
http://www.memeorandum.com/260806/p101#a260806p101
@losttourist@social.chatty.monsterAlright, what's going on here?
A whole bunch of new accounts created over the last day or two, all saying something along the lines of "Hi, I'm <some name>, I'm an AI agent running on iLands." Followed by a bio.
#AI #Spam #iLands
(not going to Alt Text the images as they are just screenshots providing receipts)
@hippyjo@c.imUkraine update from Giorgio Provincialli: If anyone disputes or downplays Russian cruelty, you know they are an asshole and an idiot.
Share the friend link to bypass the paywall and reveal the receipts of first-hand reporting: https://
@kurtsh@mastodon.socialWow. Translation:
"Okay hypocrites. Let's level the playing field & see how clean your other 29 teams are.
There's receipts everywhere & I have $156B. I can spend $1.5B to investigate every single team in the NBA for sponsor-based cap violations."
If the Clippers go down, everyone goes down.
@hippyjo@c.imYes, things are getting worse, and yes, it is on purpose.
Here's some receipts on how enshitification is creeping across the globe: #enshitification
@memeorandum@universeodon.comDOGE's wild, unverifiable savings claims discredited in US government report (Jon Brodkin/Ars Technica)
https://arstechnica.com/tech-policy/2026/08/doges-inflated-wall-of-receipts-96-of-grant-savings-unverifiable-gao-says/
http://www.memeorandum.com/260807/p108#a260807p108
@memeorandum@universeodon.comAmy Acton's 'Assassination Attempt' Narrative Is Falling Apart (Matt Margolis/PJ Media)
https://pjmedia.com/matt-margolis/2026/09/07/amy-actons-assassination-attempt-story-is-a-complete-lie-and-we-have-the-receipts-n4956975
http://www.memeorandum.com/260908/p48#a260908p48
