A very useful resource for understanding the meaning of shell commands and how they work. Entering examples in the search bar and getting accurate explanations is great. Oh, I really wish I had known this sooner. explainshell.com/
WASHINGTON, D.C. – President Trump’s recent Artificial Intelligence (AI) Executive Order shows that this Administration is dedicated to America’s global
The Newton’s clock is actually good for about 15 years. There was a patch to let it reference dates after 2010, and now there’s a new replacement patch for 2025.
As a novelist, George Orwell did not traffic in subtleties, but then neither did the authors of Medieval morality plays. The allegorical Animal Farm performs a similar, if secular, function, giving us unambiguous villainy and clear didactic intent.
Pals! Page from a National Geographic in my collection, 1925. The article is “Collarin' Cape Cod. Experiences on Board a U.S. Navy Destroyer in a Wild Winter Storm” by Lt. H.R. Thurber.
Realistically, that's questions you can only answer by means of statistics, how many injuries, fatalities and so forth over a span of time. Because accidents happen, either way.
This isn't on the FAA: it was an engine fire in an older 737-800 (manufactured before 2001). Either a bird strike or maintenance, nothing to do with air traffic control or the airport.
15 March 1935 | A French Jewish girl, Paulette Wajnryb, was born in Metz.
She arrived at #Auschwitz on 6 November 1942 in a transport of 1,000 Jews deported from Drancy. She was among the 639 people murdered after selection in a gas chamber.
In the eerie depths of space, a legendary relic has resurfaced and is back for a reboot - the G20 "Semiotic" keycap set! Harking back to 2017, this masterpiece, designed by Zslane, draws its inspirations from Ron Cobb’s "Semiotic Standard for All Com…
i want to try to collect up some observations about programming in this mode, and how it differs from usual programming even in languages like Agda, which have much richer interactions than usual
ok, let's continue looking at these issues, but instead asking how we could go from the recursive factorial to a product definition calculationally, without insight
the recursive factorial is
fac n = if n == 1 then 1 else n * fac (n - 1)
https://k…
or by cases, at least. in those situations, you either need to be able to split your equational proof down two paths, or be able to go out to some external not-yet-existing lemma
relatedly, a very common top-down programming move that one finds, especially in literature like SICP, is what the SICP folx call "programming by wishful thinking", whereby you write a function and make use of functions/etc. that don't yet exist
another thing we see is that sometimes you need to define new constructors for something. this also has a kind of By Wishful Thinking mode, where you use the constructor you wish you had, and then go back and add it
all of the Wishful Thinking methods require that the thing being wished is a logical possibility currently
for top level functions, that's fine -- the totality of functions which exist within a program is indeterminate at programming time and is only known at compilation time
but for data types, we usually program in languages that have closed data types, i.e. the syntax for data types doesn't permit an open-endedness to what's in them
this makes sense from a compilation perspective, but not a development perspective
so another thing we kind of would benefit from is the ability to have not-quite-open types
but rather something more like not-yet-fully-defined types. that is, being able to say that this _definition_ isn't yet finished (even tho the type is closed)
same thing goes for functions, actually. we often find ourselves finding partial solutions for a function, so being able to say that a function's definition is partially specified is also useful
but interacting with these partial definitions is usually remote. like, in the quoted thread, adding a new constructor to a type happens during a calculation for a function `f`, where we have to make a decision about how `f` is defined
the wishful thinking about what `f` could be applied to means that there's kind of an automatic obligation to make that constructor exist in the definition for `A`
just like top-down programming wishes obligate us to give definitions for functions
wishful thinking obviously is in conflict with type checking, because normally, referencing something that doesn't exist is a error, and ought to be caught
we wouldn't want to _automatically_ create function stubs, or constructor stubs, or proof stubs, simply bc of those errors
probably a good reference point here would be something similar to how some Lisps in the past have debugging modes where, when an error is encountered, the program shifts into a REPL that lets you fix the error live as the code is running
Although the DoD won't share it, Gen Rogers' Wikipedia page has his Medal of Honor citation. He charged through multiple waves of incoming artillery fire to lead his men to repel an attack, and was seriously wounded TWICE in the process.
"DEI" should not be not a smear, but in this case, DEI my ass.
This racial discrimination also includes 21 MoH recipients from the all Nisei #442nd RCT (Regimental Combat Team, Go for Broke) during WWII. The 442nd had the most MoH recipients for a unit of just 4000 men. Most were #American citizens who had enlisted to "prove" their loyalty to the #US while their friends and family were incarcerated in #concentrationcamps.
If there's a fuss about this (as there should be), the web page will no doubt be restored and they'll no doubt say it was removed by "mistake", even as they go around enthusiastically making the same "mistakes" elsewhere.
@jef @danmcd This could be a URL rewrite setup made as a hack to comply without deleting pages. Modifying the rule that would have looked up the right page to add "dei" to the beginning, causing a 404. This would be easier to reverse later.
@crazyeddie @jef @danmcd Who cares what the exact mechanism was? The fact of the matter is that they tagged non-white medal recipients as "DEI" and disappeared them. That's simply outrageous, un-American bullshit. Period.
@crazyeddie @jef @danmcd The message is pretty clear: Not a white guy? No matter how much you contribute, no matter how much you sacrifice, you're less valuable and will always be suspect.
@crazyeddie @jef @danmcd My parents were both WW II US Army officers who served abroad. It is just as well they’re deceased as they’d be furious at this sort of betrayal.
@jef @danmcd Because it would mean that the people who actually have to upkeep this are taking steps to make it reversible at least. The website could actually be completely intact, this could be done in a reverse proxy.
Being unable to stop it from happening, this would be the next best thing. As soon as whoever needs to get their head out their ass to stop this does, they could put it back.
Sam Sethi said, on bsky: > If the racists [sic] US Govt really want to dishonour their black or female veterans, odd they have not replaced the 404 image
Grabbed image while I could; great JPEG with full details!
Caption: U.S. Marine Corps Cpl. Ava Alegria, a combat photographer [...] , and Sgt. Kevin Cherry, a drill instructor with Lima Company, 3rd Recruit Training Battalion [...] Parris Island, S.C., Dec. 19, 2024. (U.S. Marine Corps Photo by Lance Cpl. Ayden Cassano)
One particular challenge in the barrage of terrible news is distinguishing among the worst harms. Getting distracted and chasing diversions such as geographical names and wiped web sites means less time focusing on the critical. It is difficult to know where to focus, and exhausting. Having lived through Nixon's deceits, the operative phrase that comes to mind is "follow the money." en.wikipedia.org/wiki/Follow_t…
One of the reliable things about Mastodon is that if you mention something you’re bothered by, someone will scold you for failing to be bothered by something they think is worse.
I think it’s much more productive to let people feel things and express their concerns as they see them.
That may have already happened. All the links seemed to work for me but this message was at the top of the page for all the MoH recipients who are Black (that I checked):
"You have accessed part of a historical collection on defense.gov. Some of the information contained within may be outdated and links may not function. Please contact the DOD Webmaster with any questions."
The group that drafted a key blueprint for Donald Trump’s second term convened a meeting in Washington D.C. this week to consider proposals for bulldozing the European Union (EU).
Army Maj. Gen. Charles Calvin Rogers worked for gender and race equality while in the service. But he's perhaps most well-known for his leadership during an intense battle in Vietnam, which earned him
@light A bug - that just happens to insert three random letters that just happen to be the same abbreviation that MAGA uses as shorthand for non-white-dudes, that just happens to manifest itself on pages about non-white-dudes. Sure. Sounds totally like a random bug.
What is the bug in the sociopolitical environment? I.e. how did good faith criticism of DEI (I.e. you can't optimise for two different metrics (such as diversity and merit) at once, you shouldn't discriminate on the basis of skin colour, etc) turn into or provide cover for blatant racism (assuming that's indeed what this is; it seems likely)? Why are people so selfish and irrational
See if the DoD marked some white guys as DEI too: that could happen if they used software to detect a face and a white guy's face was dark enough due to poor lighting to trick the software into classifying him/her as non-white.
It wouldn't surprise me if they didn't think anything through: their 1st priority is to generate those 5 sentences for Musk describing each thing they accomplished in a week.
Is there a writeup of this from a Journalist organization? I've got some maga family members that have recently been on the fence (I know). But recent events have made them doubt their support. This is the sort of story that might knock some sense back into them.
I've got a long held a theory that if a store's cash register says "IBM" on it, that store is a dead man walking. But anyone who's been in a Bay store or tried to buy something from their website recently has to have known this day was coming.
The company announced late on Friday that it has been able to secure only limited financing ‘that will require the full liquidation of the entire business’
I was confused why "landlords" are on the list of reasons that a company older than Canada had to shutter but then I remembered that absolutely bonkers trend starting in the 90s and 2000s where businesses would sell their own real estate to renter companies and then rent the real estate back from those companies because that made Green Line On Graph Go Good Direction, and even as a callow yoot I remember thinking, what the actual fuck are you actually fucking doing, you short-sighted donkeys.
It looks like the end of the #HudsonsBayCompany has been coming for a while:
"In 2006, Jerry Zucker, an American businessman, bought HBC for US$1.1 billion."
The real estate was apparently reorganized under its own holding company:
"It also owns or manages approximately 3.7 million square metres (40 million square feet) of gross leasable real estate through its HBC Properties and Investments business unit."
(Granted, that "or" seems to do some heavy lifting to obfuscate how much it actually "owns" vs. just "manages".)
Despite the rain, despite the government shutting down every form of public transport towards Belgrade, the amount of people on the streets of Belgrade right now is absolutely *insane*.
Today's protest is already being referred to as the biggest protest in Serbian history — and rightfully so.
The people are still pouring in, the peak of the crowd isn't expected until 8pm.
"Protesting university students have led the nationwide anti-graft movement, which started after a concrete canopy collapsed at a train station and killed 15 people in Serbia's north on Nov. 1.
Many in Serbia blamed the crash on rampant government corruption, negligence and disrespect of construction safety regulations."
Large crowds of flag-waving protesters converged after meeting up at several agreed-on protest venues in various parts of Belgrade, which was placed on high alert.
Robert Heinlein was wrong about many things, but about the bald eagle: "the American Eagle eats carrion, never tackles anything its own size, and will soon be extinct".
Playing chicken with my supply of toilet paper again. I learned an important lesson from last time and used a black marker instead of a red marker because the red marker bled into the paper and left red spots that alarmed me at a glance during use
Some company should make a novelty roll like cash register tape that has a warning stripe. Or like the end of the roll turns to Brawny for a sensory notification.
Intro 5/10 This paper circuit project became my all-time favorite for parent-child workshops. It never fails to amaze kids or parents as the result is just fun to use and the build process is easy and straightforward. The idea is quite simple, and you can also repurpose an old PC fan for it. You can check my workshop instructions here: voltpaperscissors.com/spinartr…
This simple DIY art robot spins a paper disc, and you draw circles simply by holding down a pen. Kids can combine different colors and techniques to create an endless array of artworks.
Today's Low Quality Ad is for this Fidget Wireless Computer Mouse. I don't even own a computer (the ditch I live in does not have the physical space for it or internet access), I just got one of these because it's fun to touch. amazon.com/dp/B09Z7BWGBW?ref=t…
Some people have pointed out that I needed internet access to post this. Yes, I am not currently in the ditch. I sometimes leave the ditch to steal wifi from my old neighbor Harold. His wifi password is "Harold". It was not hard to guess.
Tamela Peterson allegedly shared CCTV photos of 5-year-old Thomas Cooper from the fire and included disturbing text messages that were critical of the child.
mcc
in reply to mcc • • •Apparently the last shipped Newton software has a critical bug if the date is allowed to progress past January 2025, so… 1996 it is!
I love how they went to the bother of stuffing the margins of all these intro/setup screens with cute little drawings.
⊥ᵒᵚ⁄Cᵸᵎᶺᵋᶫ∸ᵒᵘ ☑️
in reply to mcc • • •mcc
in reply to ⊥ᵒᵚ⁄Cᵸᵎᶺᵋᶫ∸ᵒᵘ ☑️ • • •Zimmie
in reply to mcc • • •mcc
in reply to Zimmie • • •Zimmie
in reply to mcc • • •Correct.
40hz.org/Pages/newton/patches/…
Patch 712000
40hz.orgErin
in reply to mcc • • •J. Steven York RESISTS
in reply to mcc • • •