@Dragofix@veganism.socialTrump Administration Orders Restart of Dangerous Santa Barbara Oil Pipeline https://biologicaldiversity.org/w/news/press-releases/trump-administration-orders-restart-of-dangerous-santa-barbara-oil-pipelin…
@macandi@social.heise.deApples Produkte-Pipeline: Was 2026 noch kommt
Nach Apples Frühjahrsprodukten stehen in den kommenden Monaten Überholungen bei diversen Baureihen an. Ein Überblick.
https://www.heise.de/news/Apples…
@cdarwin@c.imThe Trump administration ordered the restart of a Santa Barbara oil pipeline shut since the 2015 Refugio spill -- invoking emergency powers under the Defense Production Act.
California officials say the move defies court orders and state oversight.
Gov. Gavin Newsom said the state will sue.
The order escalates a fight over whether federal authority can override California regulators blocking Sable Offshore’s plan to restart the pipeline.
@servelan@newsie.socialTrump Administration Orders Restart of Dangerous Santa Barbara Oil Pipeline - Center for Biological Diversity
https://biologicaldiversity.org/w/news/press-releases/trump-administration-orders-restart-of-dangerous-santa-barbara-oil-pipeline-2026-03-13/
@Sustainable2050@mastodon.energyStart of the Dutch hydrogen backbone: Shell's 200 MW Holland Hydrogen 1 electrolyser (to be commissioned end of this year) now connected to 32 km of regional hydrogen pipeline of Hynetwork through the Port of Rotterdam.
https://www.
@fanf@mendeddrum.orgbruges beer pipeline!
https://openinframap.org/#12.79/51.21257/3.2049/A,B,I,L
connecting city-centre and out-of-town sites belonging to the brouwerij de halve maan
@penguin42@mastodon.org.ukApparently we approved another bunch of tidal stream energy projects last month; it's only 20MW capacity, to be installed over a few years; but it's a pretty high price to try and get it going;
https://www.marineenergycouncil.co.uk/news
@macandi@social.heise.de
@davej@dice.campStolen to add #AltText. https://mastodon.social/@vicfroh/116400343952503512
@servelan@newsie.social"Support continues": NATO's top general assures senators Iran war won't drain Ukraine pipeline - Euromaidan Press
https://euromaidanpress.com/2026/03/12/support-continues-natos-top-general-assures-senators-iran-war-wont-drain-ukraine-pipeline/
@metacurity@infosec.exchangeCheck out today's Metacurity for the most critical infosec developments you might have missed over the weekend, including
--The European Commission's mobile device platform was hacked, likely via Ivanti flaws,
--All four Singapore major telcos were hacked via China-nexus threat actor,
--Poland's most egregious database leaker has been busted,
--Romanian pipeline operator hit by a cyberattack,
--Germany warns of state-sponsored phishing attacks via mes…
@newsie@darktundra.xyzRomania’s oil pipeline operator confirms cyberattack as hackers claim data theft https://therecord.media/romania-conpet-oil-pipeline-ransomware-attack
@memeorandum@universeodon.comU.S. oil slips below $100 as Trump demands reopening of Strait of Hormuz (CNBC)
https://www.cnbc.com/2026/04/10/oil-price-wti-brent-saudi-pipeline-attack-middle-east-war.html
http://www.memeorandum.com/260410/p11#a260410p11
@hex@kolektiva.socialRE: #enshitificaton of software, hardware, and services and the austerity to fascism pipeline. The state is just an older type of walled garden. The solution isn't to improve the walled garden, but to leave it forever.
When we build systems, together, that cannot be shut down, that exist outside of these political systems, then we are opting out. Anarchism is the open source option of political ideologies.
@chrysn@chaos.socialAs @…'s CI is seeing regressions around #IPv6, I'm exploring @…, which uses a Woodpecker fork called Crow. Among many other ni…
@kubikpixel@chaos.socialLegacy IRC Botnet Leverages Automated SSH Exploit Pipeline to Mass-Enroll Linux Hosts
Identified through data captured by our SSH honeypots over two months, this campaign represents a sophisticated blend of eras. It merges “old-school” Internet Relay Chat (IRC) botnet tactics from the late 2000s with modern, automated mass-compromise techniques.
🖥️ htt…
@benb@osintua.euUK exempts Druzhba pipeline as it unveils its biggest Russia sanctions package, document shows: https://benborges.xyz/2026/02/24/uk-exempts-druzhba-pipeline-as.html
@v_i_o_l_a@openbiblio.social"Infrastructures of Listening: The ManoWhisper Podcast Analysis Pipeline"
#Podcasting
@macandi@social.heise.de
@primonatura@mstdn.social"Canada adds only 57 MW of utility-scale solar in 2025"
#Canada #SolarPower #Energy #Renewables
@cdamian@rls.socialBuilding and pushing container images on Codeberg CI
As part of moving my services to EU-based infrastructure, I've been migrating away from GitHub to @… One of the things I needed was a CI pipeline to build a container image and push it to the Codeberg container registry for my @…
@azonenberg@ioc.exchangeThinking about moving more of the 100baseT1 decode pipeline to the GPU. This is definitely going to end up being one of the more heavily end to end accelerated protocol decodes in the library, at least for now
@Techmeme@techhub.socialGlobal Energy Monitor: over 97 GW of gas-fired power in the US pipeline were explicitly earmarked for data centers in 2025, compared with just 4 GW in 2024 (Molly Taft/Wired)
https://www.wired.com/story/data-centers-are-driving-a-us-gas-boom/
@compfu@mograph.socialThings you're able to do in a VFX pipeline but it would suck:
1. work with internal shot names that are different from what the client is using.
2. change version numbers of files sent out to the client to hide your internal number of revisions.
Things that make a good VFX pipeline:
1. have artists work with the same task names ("comp_v03") across shows and have scripts rename files you upload if a client demands it ("cmp_v0003")
The forme…
@raiders@darktundra.xyzIndiana pipeline fuels Raiders rebuild in latest 3-round mock draft https://raiderramble.com/2026/01/24/indiana-pipeline-fuels-raiders-rebuild-in-latest-3-round-mock-draft/
@brian_gettler@mas.toWorth a listen on crypto and money-laundering in Canada.
#cndpoli
@jamesthebard@social.linux.pizzaInitial release done for the Sisyphus server, had to do it manually for the time being which is slightly annoying. I'll deal with the pipeline much later. Posted AMD64 and ARM64 binaries for Windows, Linux, And macOS. Got a lot done over the last few days, now time to relax...lol
https://git…
@mlncn@social.coopAnybody have connections to Hennepin County Attorney's office? They need to be interrupting or exposing what could be a jail-to-ICE pipeline.
@florke64@mastodon.socialOd niedawna mam pewne nowe zainteresowanie.
@macandi@social.heise.deLanger Zoom: 2,35x-Tele für Pro-iPhones der Reihen 16 und 17
Ein chinesischer Anbieter hat ein Teleobjektiv samt Retro-Gehäuse für Apple-Handys in der Pipeline. Das Crowdfunding-Projekt läuft.
https://www.
@michabbb@social.vivaldi.net🔍 Intent resolution pipeline: checks route cache − searches shared marketplace − live capture − DOM fallback for static sites
🛡️ Local-first & privacy-safe: credentials stay on your machine in AES-256-CBC encrypted vault, never published to marketplace
🤝 Shared skill marketplace at https://beta-api.unbrowse.ai
@cdarwin@c.imSaudi Arabia’s state oil company has warned of
“catastrophic consequences”
for the world’s oil markets
if the US-Israeli war with Iran
continues to block shipping
in the strait of Hormuz.
The world’s biggest oil company
expects to be able to export
about 70% of its usual crude output
despite the stranglehold on the vital trade artery,
but its chief executive warned that
there would still be
“drastic” consequences
f…
@NFL@darktundra.xyzFix for the NFL’s diversity problem? Coaches need to join owners in being more intentional https://www.nytimes.com/athletic/7131147/2026/03/23/nfl-coaches-diversity-owners-network-pipeline/
@datascience@genomic.social @Sustainable2050@mastodon.energyOne of the key nodes in Russia's oil transport infrastructure is on fire.
https://kyivindependent.com/missile-strikes-reported-acros…
@benb@osintua.euOrban rebukes Zelensky over troops quip, labels it blackmail amid Druzhba pipeline dispute: https://benborges.xyz/2026/03/08/orban-rebukes-zelensky-over-troops.html
@memeorandum@universeodon.comJudge says he will order Greenpeace to pay an expected $345 million in oil pipeline protest case (Jack Dura/Associated Press)
https://apnews.com/article/greenpeace-energy-transfer-dakota-access-pipeline-30bfb9939dea06f1e9763cd2d662ae73
http://www.memeorandum.com/260226/p55#a260226p55
@cosmos4u@scicomm.xyzOn the night of February 5, 2026, the #Rubin team submitted a large batch of approximately 20,000 #asteroid candidate discoveries to the #MinorPlanetCenter, corresponding to roughly 246,000 individual observations: https://minorplanetcenter.net/media/newsletters/MPC_Newsletter_Feb2026.pdf - the "MPC successfully processed the entire submission. This unusually large batch provided a valuable end-to end stress test of our pipeline and allowed us to identify a few bottlenecks and areas where performance and automation can be improved."
@mgorny@social.treehouse.systemsI'm still thinking about a longer blog post about LLMs, and one of the things I keep thinking about them is how they not only cause direct harm to the community, but also make people more suspicious of one another. And then I've been pointed out this text:
"I'm Kenyan. I Don't Write Like ChatGPT. ChatGPT Writes Like Me."
"""
I am a writer. A writer who also happens to be Kenyan. And I have come to this thesis statement: I don't write like ChatGPT. ChatGPT, in its strange, disembodied, globally-sourced way, writes like me. Or, more accurately, it writes like the millions of us who were pushed through a very particular educational and societal pipeline, a pipeline deliberately designed to sandpaper away ambiguity, and forge our thoughts into a very specific, very formal, and very impressive shape.
"""
#AI #LLM
@fanf@mendeddrum.orgfrom my link log —
Optimising a pipelined RISC-V core: from naive pipeline to near-superscalar performance.
https://mummanajagadeesh.github.io/blogs/optm-riscv-core/
saved 2026-04-07
@azonenberg@ioc.exchangeFound another ngscopeclient optimization opportunity: on this benchmark we spent about ten seconds out of a minute waiting for sscanf() as a result of some legacy APIs (dating back to when all drawing was done in Cairo) that store color of protocol data as HTML \#rrggbb color codes at some steps of the pipeline then convert to packed RGBA32 later. There's caching but apparently even that isn't enough.
Probably time to throw away those legacy APIs and do better. Or at least begi…
@ErikUden@mastodon.deRE: https://mastodon.de/@ErikUden/113510557710417563
Nun hat eine Spiegel-Recherche ergeben das die CIA von der Nord Stream 2 Pipeline Sprengung im Voraus wusste. Selbstverständlich hatte sie nichts mit der Bildung und oder Ausstattung des Ukrainischen Teams …
@cyrevolt@mastodon.socialAnother day of dealing with the headache caused by Unixy text processing tools, close to writing a custom one for my purpose instead of chaining up a pipeline of... 4? 5?
curl, csplit, head, sed... aaaah...
Wrapping it all in a Makefile turned out to be hard yet again, so part of it is delegated to a shell script.
@jacobgudiol@mastodonsweden.seHyman is so committed to his drift Pipeline that even when the treatments he promoted on his podcast almost got him killed.
He kept his silence because he would rather see his audience and even himself hurt then say anything that undermines his bottom line.
Why are the Wellness Elite Getting Sepsis? | Mark Hyman and Jordan Peterson https://www.
@memeorandum@universeodon.comJudge orders Greenpeace to pay an expected $345M in connection with oil pipeline protest case (Ashleigh Fields/The Hill)
https://thehill.com/policy/energy-environment/5756476-greenpeace-dakota-access-oil-pipeline/
http://www.memeorandum.com/260226/p54#a260226p54
@adlerweb@social.adlerweb.infoWoho. Endlich ne sinnvolle ffmpeg Pipeline um AV1 per QSV auf ner (integrated) ARC zu fahren. SD-Content mit ~220fps bei quasi keiner Systemlast ist schon sehr nett.
@raiders@darktundra.xyzRaiders reunite Fernando Mendoza with fellow Indiana star in 3-round mock draft https://raiderramble.com/2026/04/10/raiders-reunite-fernando-mendoza-with-fellow-indiana-star-in-3-round-mock-draft/
@benb@osintua.euOrban to block Ukraine aid until Druzhba pipeline is repaired: https://benborges.xyz/2026/03/06/orban-to-block-ukraine-aid.html
@doktrock@toad.social2026 #NorthDakota Reclamation Conference, March 3 - 4, Watford City. Topics include:
#Soil Health and Conservation,
Satellite Spill Detection,
Mine Reclamation,
Delineation Technologies,
Microbial Response in Remediation,
Soil Responses to Pipeline Reclamation, etc. 🧪⚒️
@jake4480@c.imSometimes I watch a ton of flicks and sometimes I watch none (as is evidenced here- I did We Bury the Dead on Feb 4), but I can feel it picking up again. Finally saw Scary Movie 4 and 5 ahead of 6 that comes out in June. Not quite a #Last4Watched, but close. Last 3 watched.
#film
@hex@kolektiva.socialAlso, I haven't yet added captioning. I'm planning to do that later today. Apologies for not posting it in a completely accessible way, thanks for your patience.
Edit:
Updated. It should be more accessible now.
I usually don't add images to my posts. I realized half way through that I had a bunch more to do. I kind of had to power through before I ran out of dopamine, or I'd never actually post it. Thank you for your patience. I'm working on setting up a good OCR pipeline to make this faster in the future.
Thanks again for your patience, and please feel free to let me know if there are ways I could improve for future posts.
@macandi@social.heise.de @primonatura@mstdn.social"Italy targets 16 GWh storage auction under MACSE scheme"
#Italy #Energy #Renewables
@gse@norden.socialIch frage mich echt, wann die EU Ungarn rausschmeisst, die graben Subventionen ab, aber blockieren alles was mit Ukraine zutun hat.
Orban ist Putin sowas von dick Freund und der Kerl tut das ja nicht so heimlich, sondern direkt öffentlich, das ist echt beschissen ..
https://www.tag…
@aardrian@toot.cafeThe TC39 Temporal proposal is coming along. It’s meant to replace JavaScript’s date API:
https://www.igalia.com/2026/03/13/Temporal-Reaches-Stage-4.html
Jason Williams’ talk about this at State of the Browser is now online:
@digitalnaiv@mastodon.social @servelan@newsie.socialEU offers to pay Ukraine to fix oil pipeline at the center of Ukraine-Hungary feud : NPR
https://www.npr.org/2026/03/18/g-s1-114243/eu-offers-to-pay-ukraine-to-fix-oil-pipeline-at-the-center-of-ukraine-hungary-feud
@annsev@troet.cafeDer korrupte Autokrat Victor #Orban droht der #Ukraine damit, Gaslieferungen einzufrieren.
Das müsste man so beantworten, dass auch seitens angrenzender Länder und der EU Energielieferungen u.a. eingefroren werden.
Vielleicht lernt Orban es auf diese Weise, dass er hier nicht ungeschoren den Ganoven g…
@stf@chaos.socialg'damit. why is it that even #ubuntu 25.10 still only has #libsodium v1.0.18? 1.0.20 is even getting stale (actually i just checked v1.0.21 is out since two weeks) and all i need is only 1.0.19, breaks my CI/CD pipeline.
@memeorandum@universeodon.comCalifornia sues Trump administration over allegedly 'unlawful' pipeline restart approval years after oil spill (Brie Stimson/Fox News)
https://www.foxnews.com/politics/california-sues-trump-administration-allegedly-unlawful-pipeline-restart-approval-years-oil-spill
http://www.memeorandum.com/260123/p113#a260123p113
@Techmeme@techhub.socialTwo versions of LiteLLM, an interface for accessing LLMs, have been removed from PyPI after a supply chain attack injected them with credential-stealing code (Thomas Claburn/The Register)
https://www.theregister.com/2026/03/24/trivy_compromise_litellm/
@benb@osintua.euSlovakia's Prime Minister claims he has secret satellite imagery showing Druzhba pipeline not damaged: https://benborges.xyz/2026/03/05/slovakias-prime-minister-claims-he.html
@arXiv_csOS_bot@mastoxiv.pageProphetKV: User-Query-Driven Selective Recomputation for Efficient KV Cache Reuse in Retrieval-Augmented Generation
Shihao Wang, Jiahao Chen, Yanqi Pan, Hao Huang, Yichen Hao, Xiangyu Zou, Wen Xia, Wentao Zhang, Haitao Wang, Junhong Li, Chongyang Qiu, Pengfei Wang
https://arxiv.org/abs/2602.02579 https://arxiv.org/pdf/2602.02579 https://arxiv.org/html/2602.02579
arXiv:2602.02579v1 Announce Type: new
Abstract: The prefill stage of long-context Retrieval-Augmented Generation (RAG) is severely bottlenecked by computational overhead. To mitigate this, recent methods assemble pre-calculated KV caches of retrieved RAG documents (by a user query) and reprocess selected tokens to recover cross-attention between these pre-calculated KV caches. However, we identify a fundamental "crowding-out effect" in current token selection criteria: globally salient but user-query-irrelevant tokens saturate the limited recomputation budget, displacing the tokens truly essential for answering the user query and degrading inference accuracy.
We propose ProphetKV, a user-query-driven KV Cache reuse method for RAG scenarios. ProphetKV dynamically prioritizes tokens based on their semantic relevance to the user query and employs a dual-stage recomputation pipeline to fuse layer-wise attention metrics into a high-utility set. By ensuring the recomputation budget is dedicated to bridging the informational gap between retrieved context and the user query, ProphetKV achieves high-fidelity attention recovery with minimal overhead. Our extensive evaluation results show that ProphetKV retains 96%-101% of full-prefill accuracy with only a 20% recomputation ratio, while achieving accuracy improvements of 8.8%-24.9% on RULER and 18.6%-50.9% on LongBench over the state-of-the-art approaches (e.g., CacheBlend, EPIC, and KVShare).
toXiv_bot_toot
@arXiv_csGR_bot@mastoxiv.pageOFERA: Blendshape-driven 3D Gaussian Control for Occluded Facial Expression to Realistic Avatars in VR
Seokhwan Yang, Boram Yoon, Seoyoung Kang, Hail Song, Woontack Woo
https://arxiv.org/abs/2602.01748 https://arxiv.org/pdf/2602.01748 https://arxiv.org/html/2602.01748
arXiv:2602.01748v1 Announce Type: new
Abstract: We propose OFERA, a novel framework for real-time expression control of photorealistic Gaussian head avatars for VR headset users. Existing approaches attempt to recover occluded facial expressions using additional sensors or internal cameras, but sensor-based methods increase device weight and discomfort, while camera-based methods raise privacy concerns and suffer from limited access to raw data. To overcome these limitations, we leverage the blendshape signals provided by commercial VR headsets as expression inputs. Our framework consists of three key components: (1) Blendshape Distribution Alignment (BDA), which applies linear regression to align the headset-provided blendshape distribution to a canonical input space; (2) an Expression Parameter Mapper (EPM) that maps the aligned blendshape signals into an expression parameter space for controlling Gaussian head avatars; and (3) a Mapper-integrated Avatar (MiA) that incorporates EPM into the avatar learning process to ensure distributional consistency. Furthermore, OFERA establishes an end-to-end pipeline that senses and maps expressions, updates Gaussian avatars, and renders them in real-time within VR environments. We show that EPM outperforms existing mapping methods on quantitative metrics, and we demonstrate through a user study that the full OFERA framework enhances expression fidelity while preserving avatar realism. By enabling real-time and photorealistic avatar expression control, OFERA significantly improves telepresence in VR communication. A project page is available at https://ysshwan147.github.io/projects/ofera/.
toXiv_bot_toot
@raiders@darktundra.xyzFix for the NFL’s diversity problem? Coaches need to join owners in being more intentional https://www.nytimes.com/athletic/7131147/2026/03/23/nfl-coaches-diversity-owners-network-pipeline/
@arXiv_csCL_bot@mastoxiv.pageTIEG-Youpu Solution for NeurIPS 2022 WikiKG90Mv2-LSC
Feng Nie, Zhixiu Ye, Sifa Xie, Shuang Wu, Xin Yuan, Liang Yao, Jiazhen Peng, Xu Cheng
https://arxiv.org/abs/2603.28512 https://arxiv.org/pdf/2603.28512 https://arxiv.org/html/2603.28512
arXiv:2603.28512v1 Announce Type: new
Abstract: WikiKG90Mv2 in NeurIPS 2022 is a large encyclopedic knowledge graph. Embedding knowledge graphs into continuous vector spaces is important for many practical applications, such as knowledge acquisition, question answering, and recommendation systems. Compared to existing knowledge graphs, WikiKG90Mv2 is a large scale knowledge graph, which is composed of more than 90 millions of entities. Both efficiency and accuracy should be considered when building graph embedding models for knowledge graph at scale. To this end, we follow the retrieve then re-rank pipeline, and make novel modifications in both retrieval and re-ranking stage. Specifically, we propose a priority infilling retrieval model to obtain candidates that are structurally and semantically similar. Then we propose an ensemble based re-ranking model with neighbor enhanced representations to produce final link prediction results among retrieved candidates. Experimental results show that our proposed method outperforms existing baseline methods and improves MRR of validation set from 0.2342 to 0.2839.
toXiv_bot_toot
@compfu@mograph.socialWe haven't worked with DPX files for years, but the pipeline I built still supports them. I fear that once I remove all the `or ext == ".dpx"` parts in the code a client will pop up who doesn't use EXR files.
#VFXPipeline
@benb@osintua.euZelensky invites Fico to Kyiv as Druzhba pipeline halt fuels regional tensions: https://benborges.xyz/2026/02/28/zelensky-invites-fico-to-kyiv.html
@michabbb@social.vivaldi.net✨ AI enhancement adds explanations, examples & best practices automatically
🔧 MCP integration with 27 tools & fully automated pipeline
✅ 1200 tests, MIT licensed, v2.7.0
https://skillseekersweb.com/
@macandi@social.heise.deProduktvorschau: Diese Hardware plant Apple wohl für 2026
Das neue Jahr läuft – und Apples Pipeline ist gut gefüllt. Es dürfte zu einigen Änderungen im Angebot kommen. Ein Überblick.
https://www.
@davej@dice.campThe House Oversight Committee investigated #Ring’s data-sharing arrangements with #LawEnforcement back in 2020. Ring’s practice of #surveillance on behalf of
@primonatura@mstdn.social"Oil flows again through controversial California pipeline after Trump order"
#US #USA #America #FossilFuels
@servelan@newsie.socialNetflix Documentary ‘Inside the Manosphere’ Exposes a Digital Pipeline to Misogyny - Ms. Magazine
https://msmagazine.com/2026/03/22/inside-the-manosphere-social-media-louis-theroux/
@compfu@mograph.socialNuke bug of the day: Nuke's color pipeline breaks with completely nonsensical errors whenever you add the keyword "default_view_transform:" to your OCIO configuration. That's really weird because it doesn't really do anything color-related except define which value the viewer should be set to initially.
#Nuke
@benb@osintua.euRussia's Transneft cuts oil intake after Ukrainian strike on Druzhba pipeline hub, Reuters reports: https://benborges.xyz/2026/02/24/russias-transneft-cuts-oil-intake.html
@arXiv_csCL_bot@mastoxiv.pageStructural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
Kosei Fushimi, Kazunobu Serizawa, Junya Ikemoto, Kazumune Hashimoto
https://arxiv.org/abs/2603.28426 https://arxiv.org/pdf/2603.28426 https://arxiv.org/html/2603.28426
arXiv:2603.28426v1 Announce Type: new
Abstract: Signal Temporal Logic (STL) is widely used to specify timed and safety-critical tasks for cyber-physical systems, but writing STL formulas directly is difficult for non-expert users. Natural language (NL) provides a convenient interface, yet its inherent structural ambiguity makes one-to-one translation into STL unreliable. In this paper, we propose an \textit{ambiguity-preserving} method for translating NL task descriptions into STL candidate formulas. The key idea is to retain multiple plausible syntactic analyses instead of forcing a single interpretation at the parsing stage. To this end, we develop a three-stage pipeline based on Combinatory Categorial Grammar (CCG): ambiguity-preserving $n$-best parsing, STL-oriented template-based semantic composition, and canonicalization with score aggregation. The proposed method outputs a deduplicated set of STL candidates with plausibility scores, thereby explicitly representing multiple possible formal interpretations of an ambiguous instruction. In contrast to existing one-best NL-to-logic translation methods, the proposed approach is designed to preserve attachment and scope ambiguity. Case studies on representative task descriptions demonstrate that the method generates multiple STL candidates for genuinely ambiguous inputs while collapsing unambiguous or canonically equivalent derivations to a single STL formula.
toXiv_bot_toot
@benb@osintua.euRussia warns of possible Black Sea pipeline sabotage plots, claims threat to peace talks: https://benborges.xyz/2026/02/24/russia-warns-of-possible-black.html
@mgorny@social.treehouse.systemsLast night I had a #nightmare.
I dreamt that I've sent a pull request to a project, and it turned out that the whole CI pipeline is just LLMs dynamically slopping random tests against the PR. And of course these tests couldn't pass, and you could do nothing to make the PR actually pass tests.
#AI #LLM #NoAI #slop
@benb@osintua.euMissile strikes reported across Russia as Belgorod faces blackouts and major oil pipeline hub in Tatarstan damaged: https://benborges.xyz/2026/02/23/missile-strikes-reported-across-russia.html
@arXiv_csCL_bot@mastoxiv.pageEarlySciRev: A Dataset of Early-Stage Scientific Revisions Extracted from LaTeX Writing Traces
L\'eane Jourdan, Julien Aubert-B\'educhaud, Yannis Chupin, Marah Baccari, Florian Boudin
https://arxiv.org/abs/2603.28515 https://arxiv.org/pdf/2603.28515 https://arxiv.org/html/2603.28515
arXiv:2603.28515v1 Announce Type: new
Abstract: Scientific writing is an iterative process that generates rich revision traces, yet publicly available resources typically expose only final or near-final versions of papers. This limits empirical study of revision behaviour and evaluation of large language models (LLMs) for scientific writing. We introduce EarlySciRev, a dataset of early-stage scientific text revisions automatically extracted from arXiv LaTeX source files. Our key observation is that commented-out text in LaTeX often preserves discarded or alternative formulations written by the authors themselves. By aligning commented segments with nearby final text, we extract paragraph-level candidate revision pairs and apply LLM-based filtering to retain genuine revisions. Starting from 1.28M candidate pairs, our pipeline yields 578k validated revision pairs, grounded in authentic early drafting traces. We additionally provide a human-annotated benchmark for revision detection. EarlySciRev complements existing resources focused on late-stage revisions or synthetic rewrites and supports research on scientific writing dynamics, revision modelling, and LLM-assisted editing.
toXiv_bot_toot
@benb@osintua.euEU says it is not pressuring Ukraine to speed Druzhba pipeline repairs: https://benborges.xyz/2026/02/21/eu-says-it-is-not.html
@benb@osintua.euSlovakia’s Fico blames Zelensky for Druzhba pipeline halt, warns of higher costs: https://benborges.xyz/2026/02/19/slovakias-fico-blames-zelensky-for.html
@primonatura@mstdn.social @benb@osintua.euSlovakia declares oil-sector emergency, taps reserves as Druzhba pipeline halts: https://benborges.xyz/2026/02/19/slovakia-declares-oilsector-emergency-taps.html
@benb@osintua.euSlovakia’s Fico threatens to cut power exports to Ukraine over Druzhba pipeline dispute: https://benborges.xyz/2026/02/19/slovakias-fico-threatens-to-cut.html
@benb@osintua.euHungary signs first contracts to import Russian oil via Croatia after Druzhba pipeline halt: https://benborges.xyz/2026/02/19/hungary-signs-first-contracts-to.html
@benb@osintua.euHungary halts diesel shipments to Ukraine until Russian oil flows resume through the Druzhba pipeline: https://benborges.xyz/2026/02/19/hungary-halts-diesel-shipments-to.html
@primonatura@mstdn.social"UK solar hits 21.8 GW"
#UK #UnitedKingdom #SolarPower #Energy
@primonatura@mstdn.social"Ireland adds 1 GW of solar in 2025"
#Ireland #Energy #Renewables #SolarPower
@primonatura@mstdn.social"Latvia deploys 258 MW of PV in 2025"
#Latvia #SolarPower #Energy #Renewables
@primonatura@mstdn.social"Serbia installs 134.3 MW of solar in 2025"
#Serbia #SolarPower #Energy #Renewables
@primonatura@mstdn.social"UK solar deployment hits 22 GW as more large projects commissioned"
#UK #UnitedKingdom #SolarPower #Energy
@hex@kolektiva.socialThere are a lot of takeaways from this:
1. Organizing locally gives you a massive advantage because you will always know your local area better than ICE ever can.
2. Be agile. You can always change tactics faster than a centralized organization.
3. Organize now. The sooner you build your networks, the sooner you can learn.
4. Identify ICE facilities and organize monitoring them directly.
But I think the most interesting one that's not explicitly in there, one that's hinted at the last one, is to go on the offensive. ICE is already afraid. If we all take the anger we have at the murder of #ReneGood, find the local ICE facility that they'll stage from, and bring that anger to #OccupyICE we might be able to just shut the whole thing down preemptively. Completely stop all ICE operations across the US. If they want to fight, they can fight *with everyone, all at once.*
Shut down their ability to operate at all. They have a logistics pipeline. They need cars, they need oil in those cars, they need to be able to move those cars to target areas. They also need money to pay those agents. All of those can be disrupted.
The regime needs your money and labor to maintain the illusion of legitimacy. They chose a bad time because you can hit both of those at once *right now* with a combination of #GeneralStrike and #TaxStrike, and then #BoycottEverything.
The regime is weaker than it's ever been. It's flailing. Their own base is demanding the release of the #EpsteinFiles. Their last gasp attempt to prevent the radical change that's coming is just to ethnically cleanse the US back to the 50's (which is what they always meant by "Make America Great Again"). Trump will do anything to stay in power, even if it means killing everyone on Earth in the process. But Americans can end it now by going on the offensive.
Now is the time.
#USPol
