Die wichtigste politische Konfliktlinie im Land verläuft derzeit durch die Union: der pro- vs. der anti-AfD-Flügel.
"CDU-Ministerpräsident Günther fordert AfD-Verbotsverfahren – und widerspricht dem Kanzler"
spiegel.de/politik/deutschland…
»Gesichert rechtsextrem«: CDU-Ministerpräsident Günther fordert erneut AfD-Verbotsverfahren – und widerspricht dem Kanzler
Schleswig-Holsteins Ministerpräsident Günther möchte, dass die Bundesregierung ein Verbot der AfD antreibt. Parteichef Merz lehnt das ab: Er fürchtet den Vorwurf der »Konkurrentenbeseitigung«.DER SPIEGEL
Lord Caramac the Clueless, KSC reshared this.
Trump’s Embrace of White South Africans Takes Dark, Unnerving New Turn
First, Trump officials cut off refugee resettlement from all over the world. Then they got those white Afrikaners here in three months. Funny how that happened.The New Republic
Gen Z vs. Iconic Techno, Electronic and Dance Music!
We have some of the most iconic techno, electronic and dance music from the 90s and 2000s to see how many of these Gen Z would recognize! How well do you think Gen Z did? Subscribe to @TeensReactOfficial for more videos every week! FOLLOW US EVERYWH…Teens REACT | Invidious
Join us tomorrow at 2pm at #pyconus for an open space. Let's talk about what updates we want to make to our packaging guide. And what things you'd like to see pyOpenSci focus on in the upcoming year.
When: Sunday may 18 2025
Where: Room 316
The Heist cart pod's hidden vault 💰
🎶 "The Heist" - Rick Smith 🎵
youtube.com/watch?v=8sGRAolzfL…
#portland #oregon #pdx #pnw #photo #photos #photography #mobilephotography #digitalphotography #smartphoneography #iphoneography #iphone #shotoniphone #shotinioscamera #editedoniphone #editediniosphotos #nocleanuptool #noai #art #fediverse #pixelfed #money #ricksmith #ost #trance #dannyboyle
"In the future, every drainage pipe will be world-famous for 15 minutes"
Handy Wallhole
#streets #streetart #decoration #pipes #drainagepipes #walls #humor #art #design
#photography #photos #colorphotography #streetartphotography #urbanphotography
#jlbouzou
Diverse centinaia di persone hanno sfidato il divieto di manifestare per le vie di Basilea - La polizia ha tentato di deviare il corteo
rsi.ch/s/2836388
Antonio Brown detained after gunshots outside Adin Ross' boxing event
https://apnews.com/article/antonio-brown-gunshots-adin-ross-bea21d312928850618ea894f5dabae53?utm_source=flipboard&utm_medium=activitypub
Posted into Sports @sports-AssociatedPress
Jetzt im Livestream: Eurovision Song Contest in Basel
In Basel treten 26 Länder an, um den 69. Eurovision Song Contest für sich zu entscheiden. Auf welchem Platz wird Deutschland mit dem Geschwisterduo Abor & Tynna landen? Das Erste überträgt die Show live.
➡️ tagesschau.de/ausland/europa/e…
#EurovisionSongContest #Livestream
Eurovision Song Contest 2025 - Das Finale - hier anschauen
Der große Abend ist gekommen. 26 Länder treten an, um den 69. Eurovision Song Contest in Basel für sich zu entscheiden.www.tagesschau.de
#BabelOfCode 2024
Week 9
Language: Ada (Spark?)
Confidence level: High
PREV WEEK: mastodon.social/@mcc/114463342…
NEXT WEEK: mastodon.social/@mcc/114582208…
So I start reading the manual for Ada. I think: This is *great!* This has all these features, conveniences etc I was wishing for for years in C++, and didn't get until I jumped to Rust. I might have been using this for games in 2010 if I'd dug into it then!
Then I start writing an actual Ada program. It turns out to be basically a pain in the ass.
#BabelOfCode 2024
Week 8
Language: FennelConfidence level: High
PREV WEEK: mastodon.social/@mcc/114433465…
NEXT WEEK: mastodon.social/@mcc/114463342…
RULES: mastodon.social/@mcc/113676228…Lua is my favorite programming language. Because of Reasons¹ I have stopped using it, but it is still a jewel of design to me. Any description of what I want in a programming language will sound like "Lua, but—"
Fennel is "Lua, but with LISP syntax". Which is… if anything the opposite of what I want. Hm.
¹ I NEED TYPES
mcc (@mcc@mastodon.social)
#BabelOfCode 2024 Week 8 Language: Fennel Confidence level: High PREV WEEK: https://mastodon.social/@mcc/114433465965880352 NEXT WEEK: https://mastodon.social/@mcc/114463342416949024 RULES: https://mastodon.Mastodon
Compromises on basic things continue. I want to create an array whose size is not known at compile time. I believe I can declare this with
Mem : Array (Natural range <>) of Integer range -1..Integer'Last;
But this errors there's no initialization. You can initialize an array to a fixed value with (Others => -1), but then it doesn't know the size. I wind up making a sub-procedure *just* because that is the only syntax I can find for initializing an array to a size. github.com/mcclure/aoc2024/blo…
aoc2024/09-01-disk/src/puzzle.adb at b46079ddcb5c45d52af5882e940a593050c7beb9 · mcclure/aoc2024
Advent of Code 2024 challenge (laid-back/"babel" version) - mcclure/aoc2024GitHub
Small observations:
- Inner procedures and functions of a larger procedure and function can access the outer procedure's local variables. That's nice. I suspect this is hiding some sort of horrible restriction on recursion, but it's nice.
- The error messages, at least in "gnat" the open source Ada compiler, are NOT good. I think this is downstream from the language having lots of minor similar-but-distinct concepts instead of single powerful concepts. There's a lot of jargon and lots of edges
inner procedures (in gnat) require executable stack because creating a closure puts a trampoline on stack so that you would not need "fat pointers" like Rust does
this is also why you can't compile GHDL to WebAssembly
Something I don't know how you'll feel about: You know how in every programming language except Lua you index arrays from 0, and in Lua you index arrays from 1? In Ada, if I'm understanding this correctly, you choose whether your code indexes arrays from 0 or 1. *On an array by array basis*. You could mix 0- and 1-indexed arrays in the same code. You could have an array which contains 10 elements at indexes 10 through 19 inclusive, if you wanted. An array is a map with integer keys in a range
…
Maybe the problem with Ada was that the things it was trying to do were too advanced for the tools that were available to the designers at the time.
I'm having an awful problem with a very straightforward bit of code because I want to scan over some code iterating a variable erratically. But I don't have any good value to give *before iteration begins*— because Ada integer types are range-limited, I can't use "0". This would be no problem at all I had Option<>. But I don't have Option<>.
Guh. Part 1 done. It was ok once I actually had my data loaded into memory, but every moment up until there was pulling teeth, and honestly the ergonomics weren't *great* after that. The final insult was it taking a startling amount of time trying to figure out how to convert an Integer to a Long_Integer when it turned out my result was over 32 bits. It's Long_Integer(), but StackOverflow was a bunch of "how do I cast in Ada?" "*bragging* In Ada, you don't NEED to cast!"
github.com/mcclure/aoc2024/blo…
aoc2024/09-01-disk/src/puzzle.adb at 9048d0cd5d29fc8f987c4f7369360279199fc2b0 · mcclure/aoc2024
Advent of Code 2024 challenge (laid-back/"babel" version) - mcclure/aoc2024GitHub
I pushed through Part 2 just to get it over with. I could have done a very clean, efficient implementation in any other language, but Ada makes creating new arrays enough of a pain I just wound up like… doing it the dumb nested loops way. Whatever. I realized in literally the final line of code I wrote that part of why I was struggling with loops was I didn't know "exit" existed.
It works. It's even relatively efficient. I don't feel proud of this code.
github.com/mcclure/aoc2024/blo…
aoc2024/09-02-disk/src/puzzle.adb at 3adbb87169b82453caafd75308837c203247edc4 · mcclure/aoc2024
Advent of Code 2024 challenge (laid-back/"babel" version) - mcclure/aoc2024GitHub
A problem I anticipated with this "Babel of Code" project and sure am hitting now: The AOC puzzles are a great way to learn a language, but they'll always focus on *only part* of a language. When I hit smalltalk, I'll have little opportunity to use objects. Multiprocessing, or verification capabilities like Spark, can be applied in *some* puzzles, but it's hard to know *which* puzzles until it's half complete. Like, what formal properties does THIS puzzle have to verify?
Oblomov reshared this.
#BabelOfCode 2024
Week 9.5??
Language: Spark
Against my better judgement, but since it was one of the main things that intrigued me about Ada, I decide to port my "day 9" solution to Spark.
I put at the top of my program:
with SPARK_Mode => On
And run it. Nothing happens. Or rather it runs normally. I assume that this sets an attribute read by the Spark toolchain, and is ignored by basic Ada.
The docs suggest running gnatprove. Which… isn't in debian apt? I think I have to go to Github?
gnatprove-x86_64-linux-14.1.0-1.tar.gz turns out to be 412MB gzipped, and contains both a complete installation of GCC and a Python 3. That seems like why dpkg exists, but it seems the AdaCore corporation really, really wants me to be using gnatprove as part of their IDE. Which I guess is also why gnatprove unlike gnat itself can't be run on single files and I have to make a project file. Whatever, fine.
It's running. It gives me hundreds of validation errors. Which I guess is what I wanted.
Spark is immediately proving itself interesting. My very first error:
puzzle.adb:47:21: medium: range check might fail, cannot prove upper bound for 1
47 | Mem_Idx := 1;
| ^ here
reason for check: value must fit in the target type of the assignment
What this means: Mem_Idx has type
Mem_Idx : Natural range 1..Mem_Len;
where Mem_Len is a Natural argument of the procedure. But *nothing guarantees Mem_Len is nonzero*. That's a real uninterrogated assumption!
Gonna nerd-snipe you with F* 😉
"is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving."
E.g. proving function equivalence:
floss.social/@janriemer/114446…
Crazy language! 😄
Jan :rust: :ferris: (@janriemer@floss.social)
module Part1.Lemmas open FStar.Mul let f1 (x: nat) : Tot nat = x + x let f2 (x: nat) : Tot nat = 2 * x val lemma_f1_f2_equiv : x:nat -> Lemma (ensures (f1 x == f2 x)) let lemma_f1_f2_equiv x = assert (f1 x == f2 x); () When we execute this, v…FLOSS.social
It compiles to OCaml by default, but can also compile to F#, C and even WASM (using a tool called KaRaMeL 😋 github.com/FStarLang/karamel)!
GitHub - FStarLang/karamel: KaRaMeL is a tool for extracting low-level F* programs to readable C code
KaRaMeL is a tool for extracting low-level F* programs to readable C code - FStarLang/karamelGitHub
I'm not sure.
github.com/ucsd-progsys/liquid…
it looks like maybe it will work.
although I don't know if there's any meaningful interaction between the linear and refinement types
LiquidHaskell binary does not work with LinearTypes · Issue #1887 · ucsd-progsys/liquidhaskell
Running the binary for liquidhaskell-0.8.10.2 on any file containing a pragma for the LinearTypes language extension returns this: » liquid .hs liquid: Unsupported extension: LinearTypes Is t...GitHub
Continuing with the "couldn't you do the math yourself?" complaints, it now turns out I can't add Natural (range 0..Natural'Last) to Nonzero (range 1…Natural'Last). These types share a common upper bound and neither may be zero; this addition is safe in all cases!
I guess I expected working with a theorem prover language would have lots of paperwork. I don't know if I expected this. (Also *this* issue is Ada not Spark?) Would Idris have been able to figure this one out? I bet Prolog would have.
@DesChips I'd be curious yes. However if you were about to explain the type/subtype distinction to me, I have received that help already in the time since my post: mastodon.social/@mcc/114535020…
Thanks
@eggrobin Hi, sorry… are you saying that`type Nonzero is new Natural range 1..Natural'Last;`
is introducing the hard "no mixing!" nominal type, whereas
`subtype Nonzero is new Natural range 1..Natural'Last;`
is just like creating a shorthand expansion for `Natural range 1..whatever`, and would have evaded my error above?
Sub-types are indeed important ^^ What I noticed first is that you use anonymous subtypes and constraints a lot, where I would define explicit types. For example, with the array of integers:
type Mem_Length is range 0 .. 20_000;
type Any_Mem_Element is new Integer range -1 .. Integer'Last;
Invalid : constant Any_Mem_Element := -1;
subtype Valid_Mem_Element is Any_Mem_Element range 0 .. Any_Mem_Element'Last;
type Mem_Array is array (Mem_Length range <>) of Any_Mem_Element;
Then you can declare your array like so:
Mem_Len : constant Mem_Length := 42;
Memory : Mem_array (1 .. Mem_Len) := (others => Invalid);
You can also check for valid elements, e.g.:
for Elt of Memory loop
if Elt in Valid_Mem_Element then
--- something
end if;
end loop;
@DesChips This is fascinating! I'm confused by the '(others => Invalid)' value being assigned to Memory in the line
Memory : Mem_array (1 .. Mem_Len) := (others => Invalid);
Mem_Len (set to 42) is limited to the range 0 .. 20000. In the assignment of (others => Invalid), what are the 42 elements of Memory assigned to -- Invalid? Or something else (or undefined, which seems very anti-Ada)? Or is Invalid returned if Memory is accessed with an index outside 1 .. 42, i.e. 0, 43 .. 20000?
I guess I'm mostly confused by what 'others' refers to.
@arclight When "others" is alone in the array literal (aggregate) it means all the elements of the array. Which, in this case, I set to the value of the "Invalid" constant. The word "others" makes more sense when you provide values from some elements of the array and a default value for all other elements, e.g.:
Memory : Mem_array (1 .. Mem_Len) := (1 => 2, 4 => 0, 16 => 13, others => Invalid);
learn.adacore.com/courses/intr…
“learn.adacore.com"
An interactive learning platform to teach the Ada and SPARK programming languages.learn.adacore.com
It's just a constant declared to be the value -1 (matching what you have in the code screenshots in this thread). It's an actual byte value that you can store in a variable of type Any_Mem_Element.
A : Any_Mem_Element := Invalid.
and then I excluded this value from the Valid_Mem_Element subtype by defining the range from 0 to last:
subtype Valid_Mem_Element is Any_Mem_Element range 0 .. Any_Mem_Element'Last;
mcc reshared this.
You are reading the docs wrong, see AARM 4.5(10) ada-auth.org/standards/2yaarm/… and 3.5.4(24) ada-auth.org/standards/2yaarm/….
What this is saying is that the implementation could compute the sum a + x in a type wider than that of a and x, where that sum does not overflow.
mcc reshared this.
I guess you figured it out by now, but the issue here is confusion between types and subtypes; the point of defining a new type (type T is range blah, or type T is new U [range blah];), besides allowing for different representations, is to disallow mixing them (as noted above, here I think it makes sense to have two types).
To describe constrained values, use a subtype (subtype T is U range blah;). The type Integer has subtypes Natural (0 .. Integer'Last) and Positive (1 .. Integer'Last).
@eggrobin Hi, sorry… are you saying that
`type Nonzero is new Natural range 1..Natural'Last;`
is introducing the hard "no mixing!" nominal type, whereas
`subtype Nonzero is new Natural range 1..Natural'Last;`
is just like creating a shorthand expansion for `Natural range 1..whatever`, and would have evaded my error above?
Exactly (well, no `new` in the subtype declaration).
Also, that subtype Nonzero has a name already, it is called Positive, RM A.1(13) ada-auth.org/standards/2yaarm/….
It is used very often, e.g.,
type String is array (Positive range <>) of Character
ada-auth.org/standards/2yaarm/….
Also note that since Ada 2012, you can have subtypes that are fancier than ranges with Static_Predicate, see the example in RM 3.2.4(40) ada-auth.org/standards/2yaarm/….
The thread made me mildly curious, so I took a stab at it.
Caveat, while I am on WG 9 and an observer on the Ada Rapporteur Group, I am there only as a liaison from Unicode; I have only written Ada recreationally, and not much of it at that. My father used to chair the ARG and work on Ada compilers; most of what I know is from him.
github.com/eggrobin/ada-playgr…
ada-playground/src/ada_playground.2.ada at master · eggrobin/ada-playground
Contribute to eggrobin/ada-playground development by creating an account on GitHub.GitHub
I haven’t looked seriously at ADA in 30 years but it was at one time considered to be The Future™️. To many of us, it was what we considered the ultimate “bondage and discipline” language. But it did have good ideas that informed future languages.
I still don’t want to program in it now.
Ada is the language that was used for the intro classes for the CS program I attended in Uni. I already had experience in Java at the time but someone really recommended I go through and do the Ada courses.
I dropped out and didn’t get seriously back into programming for well over a decade because of it. It set the stage for a very unappealing journey at Uni and whomever told me I should do it anyways: I hope they rot in hell.
A lot of the Pascal-influenced languages do that; it may go back to Algol, I don’t remember. You can do stuff like
TYPE FooA ARRAY[7..10] OF FOO;
and set the valid indexes of the array type. When ISO Pascal introduced Conformant Arrays, you could declare functions with formal parameters like
PROCEDURE MyProc(VAR x : ARRAY [low..high : INTEGER] OF INTEGER);
and low and high would be local variables set to the minimum and maximum index of the array (which may not start at 0).
Fun!
yes, I feel seen!
Also, to add one more example, I love flexible array indexing as defined in AWK: indexes can be any number: zero, negatives, sparse series, etc. – but arrays generated by awk itself (e. g. by using 'split') are indexed starting on 1.
and Julia follows MATLAB quite closely (also in row vs column major, plus a lot of sub-indexing methods). Also in Julia there's a package that allows you to create arrays with arbitrary index starts, so I guess that would make it easier to port Ada or Pascal programs. It also has (recommended) array traversal iterators that work regardless of indexing choice, which is actually Very Nice™.
@JamesWidman @riley
true, although that's *technically* because it's lisp and the 0-th element is the head.
In[1]:= l = {1, 2, 3, 4, 5}
Out[1]= {1, 2, 3, 4, 5}
In[2]:= l[[0]]
Out[2]= List
Early PC BASICs let you pick 0/1 indexed on a program by program basis.
Is Ada by variable, or by value held in the variable? Like if it's by value, do functions with array args have to inspect the value before accessing index 5?
if I remember you can put an enum in there too!
Tbh I sorta understand why this isn't common anymore. Explosion in types for mild benefits
As already said, Fortran arrays start with index 1 unless you declare a different range. But also, arrays are column-major order whereas C-based languages use row-major.
Both design choices (on the part of C, to be sure) make sure you'll have extra fun if you need to port complicated numerical code from one to the other.
Well, the main gimmick of ada is the typing. Types are supposed to mean much more than "a range of values" - the idea is that all of your types, even the ones that seem 'trivial' like integers, also encode intent. That includes the types you use to index into arrays.
When you do array(1 .. 5) you're actually creating an anonymous subtype of Integer. If you have two different types where one is not a subtype of the other, and you declare an array with those types, you have to cast between the types to switch between the two. That's Ada's way of forcing you to actually take those cases into account.
Yep! At that point you're SOL.
There are surprisingly few guardrails in quite a few places if you don't use SPARK - especially around dynamic memory allocation.
Also, in Ada, it’s easier to load binary file as you can easily describe the memory layout of types and thus specify a binary serialisation, than to interpret text files.
@Feufochmar @mu @0xabad1dea "in Ada, it’s easier to load binary file as you can easily describe the memory layout of types and thus specify a binary serialisation, than to interpret text files."
I will admit that the absence of a standard way to do this in C is one of my biggest pet peeves about the language.
Have you tried APL? This language (thankfully not replicated in most of its successors like J or BQN) has a global variable called ⎕IO (index offset) which can be set to 0 or 1 to indicate the start index of arrays.
Changing this global variable changes the language behaviour, globally.
Now, it not only changes the way you index variables, but functions that return indexes, or work with indexes also change. So a lot of basic functionality actually remains unchanged when this variable is changed. However, if you want to write a more complicated function that work independently of the value of ⎕IO, you have to be very careful.
In practice, a project decides which one to use, and then you'd better never change it or you'll have a lot of problems.
It's also always fun to discuss APL in a chat, and someone shares some interesting way to solve a problem. You try it and it doesn't work, and of course it's because they used ⎕IO 1.
declare
Mem : array (Positive range 1 .. Some_Size_That_Is_Known_Here) of Integer range -1..Integer'Last;
begin
-- Do things with Mem.
end;
There is a function form of GetLine so I would imagine that the following would work:
Line : constant String := Get_Line; -- From stdin.
or, if you have a file path:
F : File_Type;
begin
Open(F, In_File, "file/path");
declare
Line : constant String := Get_Line(F);
begin
I'm very unfamilliar with Ada overall, so take this with a grain of salt; you've probably come across this context already - but I think your point about "There's really important environments [...] maybe it turns out Ada is *perfect* for this environment" is possibly spot on.
I understand that one of the main drivers of Ada's brief popularity was its adoption by the Department of Defense for safety-critical systems. Indeed, it's the main language for the Space Station's MDM processors.
In that setting, NASA's software reliability group (until recently) had a strict set of predicates called the Power of Ten[2]. Rule #3 is: *"Do not use dynamic memory allocation after initialization."* I think that meshes very well with the friction you're referring to. The same rule is laid out in MISRA standards for safe automotive software.
(in practice, I think it's highly debatable whether these prescriptions actually work - there are some very safe embedded systems that use other paradigms - but that's the working hypothesis for many of these projects)
@0xdbfb7 The fixed-memory environment is a legitimately interesting one. But it's very much not the only environment! For comparison, consider networked server software. This is an important use case which naturally needs use of dynamic memory allocation, virtual memory, and runtime file I/O, but also would benefit immensely from the safety guarantees Ada/Spark claim.
I understand some languages are narrow-application, but Ada is sold as, and feels designed as, a general purpose language…
this is why i don't use VHDL 😁
"it seems good but is a pain in the ass to actually use" is like, The ADA/VHDL experience
Checking your list of candidate languages, one that's not currently listed but seems likely to inspire a similar sense of "interesting in theory, annoying in practice" is Eiffel: en.m.wikipedia.org/wiki/Eiffel…
I learned a lot about OOP in general by learning Eiffel in particular, but I never used it for any actual practical purpose.
hopefully this comes off as helpful and not an "um actually ada's great" cause ergonomics and learning materials are almost non-existent, it makes up a lot of its own jargon, and as you said, gnat's errors are dogshit.
`Text_IO.Get_Line` has overloads that take a file handle (or `File_Type`) and return a `String`
Also `Option` kind of exists with the catchy name `Ada.Containers.Indefinite_Holder`
Compiler Explorer - Ada
pragma Source_File_Name (Main, Body_File_Name => "example.adb"); pragma Ada_2022; with Ada.Text_IO; with Ada.Command_Line; with Ada.Containers.Indefinite_Holders; procedure Main is package TIO renames Ada.godbolt.org
mcc reshared this.
KTM Co-Owner Bajaj Auto Signs €566m Loan Before Funding Deadline
https://www.bloomberg.com/news/articles/2025-05-17/ktm-co-owner-bajaj-auto-signs-566m-loan-before-funding-deadline?utm_source=flipboard&utm_medium=activitypub
Posted into Profiles @profiles-bloomberg
> We talk of Tech Fascism because of its explicitly colonizing pushes to destroy existing political, legal, and social structures and their values by replacing them with a computerized model that strips away all that is deemed useless or wrong.
This is a great little essay by @tante.
error417.expectation.fail/406/…
Refusing Tech Fascism — Error 406 Tech Fascism Not Acceptable
An essay on Refusing Tech Fascism by Jürgen Geuter aka @tanteError 417 Expectation Failed
reshared this
holga reshared this.
FCC Approves $20 Billion Verizon-Frontier Merger - LexBlog
The FCC’s Wireline Competition Bureau (Bureau) has issued a Memorandum Opinion and Order approving Verizon Communications Inc.’s (Verizon) $20 billion acquisition of Frontier Communications Parent, Inc. (Frontier).Ryan Gillcrist (LexBlog)
pablomartinezcalleja.blogspot.…
Cinque milioni di telespettatori per Sinner su Rai Uno
Per la precisione 4.925.000 spettatori pari al 25% di share [.....]
gaiaitalia.com/2025/05/17/cinq…
Cinque milioni di telespettatori per Sinner su Rai Uno
Per la preciione 4.925.000 spettatori pari al 25% di share […..]Gaiaitalia.com Notizie | Politica Cultura & Opinioni
GAO rejects DOGE attempt to land at congressional watchdog agency
The Government Accountability Office told the DOGE acting administrator that it is part of the legislative branch.
Elon Musk’s DOGE tried to place a downsizing team at the Government Accountability Office, but the congressional watchdog rebuffed the intrusion, according to an internal bulletin viewed by POLITICO’s E&E News.
DOGE recently contacted the congressional watchdog with plans to “assign a team” to the office, according to the bulletin sent to all GAO staff on Friday. The move would be a significant expansion of DOGE’s effort to shrink U.S. federal agencies that are managed by the executive branch.
But GAO responded with a letter to the DOGE acting administrator, the former health care and tech executive Amy Gleason, explaining that the office is situated under the legislative branch and works for Congress, not the president.
“As such, we are not subject to DOGE or Executive Orders,” GAO wrote, according to the bulletin sent to staff Friday.
adhocfungus likes this.
Congress moves to cut off states' AI regulations - Khari Johnson @ The Markup:
themarkup.org/artificial-intel…
USians: *Please* tell your senators that regulation is more important than tech, and demand they strip this language from the budget bill!
Congress moves to cut off states' AI regulations – The Markup
House Republicans advanced a 10-year moratorium on state AI rules. California would be especially hard hitthemarkup.org
globalist.it/politics/2025/05/…
Una nostra analisi non propagandistica ma nel merito.
Punto per punto.
Del resto si autorizzano riunione razziste ma si manda la polizia a identificare chi festeggia il 25 aprile.
Perché Piantedosi (dopo Salvini) è il peggior ministro degli Interni degli ultimi decenni
Matteo Piantedosi non è un uomo privo di esperienza o capacità tecniche, ma il suo mandato rivela una carenza più grave: la mancanza di una visione che elevi il ruolo del Ministro dell’Interno al di sopra delle contingenze politiche.globalist (Globalist.it)
reshared this
Gazzetta del Cadavere e informapirata ⁂ reshared this.
O que esperar da Computex 2025?
https://canaltech.com.br/eventos/o-que-esperar-da-computex-2025/?utm_source=flipboard&utm_medium=activitypub
Posted into Canaltech @canaltech-canaltech
Erschütternd. Russlandpropagandist in Diensten Trumps attackiert medizinische Fachzeitschriften und Wikimedia Foundation - als Staatsanwalt. Hatte ich übersehen. www.rnd.de/wirtschaf...
Wikipedia: Der US-Angriff auf ...
US-Angriff auf Wikipedia: Wie ernst steht es um die freie Enzyklopädie?
Ein Trump-naher US-Staatsanwalt stellt die Gemeinnützigkeit von Wikipedia infrage. Damit wird ein lange geplanter Angriff auf die Plattform Realität – und auf das freie Wissen der Welt. Wie ernst steht es um die Enzyklopädie?Matthias Schwarzer (RedaktionsNetzwerk Deutschland)
Lord Caramac the Clueless, KSC reshared this.
L'immagine mostra un esempio di codice Python per convertire un file PDF in un file DOCX. Il codice è scritto in un blocco di testo con il titolo "Convert PDF to docx using Python" in grassetto. Il codice importa il modulo pdf2docx e utilizza la classe Converter per convertire il file PDF "clcoding.pdf" in un file DOCX "clcoding.docx". Viene mostrato anche un log di conversione con informazioni dettagliate su ogni fase del processo, come l'apertura del documento, l'analisi, il parsing delle pagine e la creazione delle pagine. In alto a destra, c'è un'immagine di un file PDF con il logo Adobe Acrobat, e in basso a destra, un'immagine di un file DOCX con il logo Microsoft Word. Il testo "#clcoding.com" è presente in basso a sinistra, e un pulsante rosso con la scritta "FOLLOW" è visibile in basso a destra.
Fornito da @altbot, generato localmente e privatamente utilizzando Ovis2-8B
🌱 Energia utilizzata: 0.257 Wh
Stasera filmetto 😍😍😍
Art of Disobedience, a film by Geco
⚔️ “Art of Disobedience”, a film by Geco | Circolo Gagarin
📅 Sabato 17 maggio, dalle 22:00
🌴 Proiezione in cortile (se il tempo è brutto ci spostiamo in sala concerti)
🎟 Ingresso 5€ a sostegno del progetto
🔴 Riservato soc* ARCI
🍻Bar, Cucina e Bookshop attivi dalle 18:00
Art of Disobedience è un viaggio nel mondo del writing attraverso gli occhi di Geco, uno degli artisti più famosi e prolifici d’Europa. Con straordinaria ostinazione e uno stile inconfondibile, ha trasformato la sua arte in un atto di sfida contro le regole e le convenzioni sociali.
#streetart #documentario #artofdisobedience @franiky_gts@fedi.bobadin.icu
circologagarin.it/uncategorize…
Alessandro reshared this.
"Marco Rubio recently lamented that people who were alive in Ukraine are dead today 'because this war continues.'
Not exactly. They’re dead because Russia killed them in an ongoing attempt to subjugate their country. The war isn’t a natural disaster out of anyone’s control, like, say, a hurricane."
msnbc.com/opinion/msnbc-opinio…
Trump's Russia-Ukraine peace talks are a farce
President Donald Trump is denying a central cynical truth about the Russia-Ukraine war, and the U.S.'s efforts to help resolve it.Nicholas Grossman (MSNBC)
📲 Laith Marouf & Hadi Hotait travel from the most north-western corner of the Galilee (Jabal Amel) on the shores of the Mediterranean and al-Awali River, all the way to its most eastern point where Syria’s Golan Heights meet al-Hula Valley in occupied #palestine.
To mark these points, the two visit the Temple of Eshmon outside Sidon and Khiam “detention prison” at the edges of south #lebanon.
Video credit: FPTV (filmed on MAY-11)
pablomartinezcalleja.blogspot.…
#LabourRightsIndex: Europe leads world in decent work, US rated 20/100 for employment security (limited decent work)
labourrightsindex.org/2024/hea…
#LabourRights #JobSecurity #union #unions #capitalism #exploitation #ClassWar
Altbot
in reply to Gordito • • •Das Bild zeigt eine appetitlich angerichtete Dessertplatte auf einem Tisch. Im Zentrum der weißen Tasse befindet sich ein Stück Tiramisu mit einer Schicht dunklen Schokoladenpulvers darüber. Neben dem Tiramisu sind verschiedene Früchte wie rote Beeren, Kiwi, Ananas, Weintrauben und Erdbeeren angeordnet. Ein großes Eissphere liegt in der Mitte der Tasse, und eine Schicht Schlagsahne mit Schokoladenstreifen ist darüber dekoriert. Zwei Gabeln und ein Messer liegen auf einer weißen Serviette neben der Tasse. Die Tasse ist auf einem grauen Tisch platziert, und das Licht scheint von oben zu fallen, was die Farben der Früchte und des Desserts hervorhebt.
Bereitgestellt von @altbot, privat und lokal generiert mit Ovis2-8B
🌱 Energieverbrauch: 0.215 Wh