Mastodon Feed: Posts

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
grickle@mstdn.social ("Grickle") wrote:

Evolving tastes. #grickledoodle #evolution #fish #snacks #cartoon #art #drawing #funny #humor

dysfun@treehouse.systems ("gaytabase") wrote:

when i first started doing idris, i found it annoying that e.g. i couldn't define a constructor with the same name as the type, a very common idiom in haskell.

now i have been confused by enough haskell code to understand that even without dependent types there is a point to being precise.

Boosted by soatok@furry.engineer ("Soatok Dreamseeker 🔜 Megaplex"):
DaveMWilburn@infosec.exchange ("Dave Wilburn :donor:") wrote:

Hey gang, we need to talk about the recent presidential memorandum authorizing offensive security operations by the private sector. That's because I care about your safety, the rule of law, and a functioning internet. A lot of folks might be excited about the opportunity to use their hacking skills to take out bad actors and criminals in a way that's safe and legal for them. That's not what this is.

At best, this memo provides you with some limited protection from prosecution by the federal government for what's otherwise criminal activity. That protection is only provided if you follow their rules. And it's only as good as Trump's promises, only as long as he perceives you to be useful to him personally, and possibly only as long as Trump retains power.

It provides you with no protection against prosecution by other jurisdictions. You are not a government actor or a uniformed soldier, so you will have no protections from prosecution under sovereign immunity or as a lawful combatant.

Every one of these actions is likely to be considered a criminal offense in every jurisdiction that your operations impact. That includes direct operations as well as support (e.g., offsec tool building, standing up infrastructure for malware delivery or C2). It includes the jurisdictions that your targets are in, as well as every jurisdiction that your operations travel through and that host your infrastructure. It includes upstream and downstream actions by other operators that you might not be fully aware of, if they can tie you to a criminal conspiracy.

Your identity and your operations will not remain secret. This administration has shown they cannot and will not keep secrets. Our president was charged with criminal violations of the espionage act, and his drunkard of a SECDEF has notoriously leaked classified details of military operations to a reporter, so we know they're not trustworthy with secrets.

We've shown that governments can identify and charge cyberespionage operators since the APT1 indictments in 2014, and in some cases we've even successfully arrested, tried, and imprisoned hackers operating for foreign governments. You should assume that other countries have similar investigative capabilities.

You will be subject to arrest, extradition, trial, and imprisonment every time you set foot abroad for business, vacation, or visiting family, possibly for the rest of your life. You could be subject to international sanctions that might freeze your finances. You'll almost certainly wind up a target for intelligence collection by foreign intelligence services. You could also be considered an unlawful combatant and legitimate target for kinetic and non-kinetic military operations by the military forces of the countries you've pissed off.

You should also consider the unreliability of the Trump regime's designations for targeting. They've routinely designated civilian or even functionally nonexistent organizations as criminal or terrorist organizations. You cannot trust their assurances that the bad guys you're harming are actually bad guys.

Please don't make a dumb decision that ruins your life, especially not for the false promises of the Trump regime.

https://www.whitehouse.gov/presidential-actions/2026/08/expanding-capabilities-to-combat-transnational-cyber-enabled-crime/

#infosec #uspol #cybersecurity

dysfun@treehouse.systems ("gaytabase") wrote:

probably unpopular take: idris should separate ** into two operators so that there's different names for the type and the constructor.

mainly so i can get one type error instead of two when i get it wrong.

cstanhope@social.coop ("Your weary 'net denizen") wrote:

I've never seen "Cowboy Bebop", but I sure am enjoying this soundtrack:

https://www.youtube.com/watch?v=X1-VR%5Fk39lE

andrewnez ("Andrew Nesbitt") wrote:

https://nesbitt.io/2026/08/13/supplier-security-questionnaire.html

Boosted by glyph ("Glyph"):
mhoye@cosocial.ca wrote:

This was my impression as well. Both people on this call are talking like there's somebody in a suit just off camera with one hand pointing at the sign that says "stick to the script" and the other white-knuckling the gun pointed at their careers.

https://mastodon.social/@glyph/117089201745379792

glyph ("Glyph") wrote:

fucking impeccable emulation of a human being. is this a robot or a person? who could even say. truly you can't tell if they're using an LLM, no point in trying to detect it. chefs kiss. no notes

Boosted by andrewnez ("Andrew Nesbitt"):
Floppy@mastodon.me.uk ("James Smith 💾") wrote:

@andrewnez MY EYES

andrewnez ("Andrew Nesbitt") wrote:

Tripped over this cursed bit of software today, look at that massive readme diagram: https://github.com/raydac/mvn-golang

glyph ("Glyph") wrote:

I can't _know_ what is going on in people's hearts, but my read is somewhat more charitable to the people in the video here. It's wild to me that they are people with this much authority who seem helpless, but rather than "callous jerks who don't care what you think" their facial expressions and body language read to *me* as people who have been ordered to implement a harmful idea and are struggling mightily to do it in the least harmful way they can https://toot.majorshouse.com/@majorlinux/117085014811292459

Boosted by fromjason ("fromjason.xyz ❤️ 💻 ✍️ 🥐 🇵🇷"):
BegoniaArizona@montereybay.social ("@BegoniaArizona") wrote:

@fromjason you look strong and wise! I am rooting for you for everything good to show up and show out for you. *from an old auntie *

jscalzi@threads.net ("John Scalzi") wrote:

Like everyone else last night we watched The Large Man On the Spectrum Punches People For Justice show and it did what it says on the tin

fromjason ("fromjason.xyz ❤️ 💻 ✍️ 🥐 🇵🇷") wrote:

Free Puerto Rico.

dysfun@treehouse.systems ("gaytabase") wrote:

i know it's a bit heretical, but what if we just replaced nats with integers and beat the type theory with a stick until it understands at least some arithmetic?

dysfun@treehouse.systems ("gaytabase") wrote:

i think if you accept the modular thing, + and - are actually fair game?

dysfun@treehouse.systems ("gaytabase") wrote:

consider for example that a + b + c (unsigned) overflows and wraps. the result is wrong by MAX_INT, but it's still defined, it's just only unique modulo MAX_INT, breaking soundness, but probably being fine for practical purposes.

dysfun@treehouse.systems ("gaytabase") wrote:

it would completely break soundness, but you know, overflow doesn't break as much of arithmetical reasoning as i'd have thought.

fribbledom ("muesli") wrote:

I'm sorry, but ironing is the epitome of having too much time and too few hobbies.

Boosted by dysfun@treehouse.systems ("gaytabase"):
ShadowJonathan@tech.lgbt ("Summer Jo :v_enby: ☀️:neocat_melt_3:") wrote:

RE: https://vis.social/@infobeautiful/117088774014013912

holy shit lmao

pzmyers@freethought.online ("pzmyers 🕷") wrote:

Minnesota Republicans sure can pick 'em.

https://freethoughtblogs.com/pharyngula/2026/08/13/weve-got-epic-losers-in-this-state/

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
andrewt@mastodon.art ("Andrew 🖌") wrote:

Art tutorial

Attachments:

• video: A drawing tutorial in which I draw a cylinder to anchor the head within, then shaded regions for the eyes and mouth, then add a lid and the cylinder is still there and it’s Count Binface

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
0x4d6165@transfem.social ("0x4d6165 (Julie)") wrote:

idea: game that teaches you tarot card reading

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
0xabad1dea@infosec.exchange ("abadidea") wrote:

so, (barely) reading between the lines of what Twitch's staff said:

1. they were forced by Amazon to add the AI training setting and to make it opt-out, because the overlords know perfectly well there's no reason anyone would ever opt-in

2. the actual Twitch staff who run Twitch do not like this and are of the same mind about it as all of you

3. Taking the time to opt-out, even if you don't really stream, gives them data to take to meetings with their overlords to prove that Twitch users dislike AI and pushing it too hard will drive people from the site.

Settings > Security and Privacy > Training for Generative AI

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
TodePond@mas.to ("Lu wilson") wrote:

all the artists are on instagram
all the nerds are on mastodon
all the business people are on linkedin
all the [—] are on twitter

what does the leave for bluesky?

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
theplaguedoc@glitterkitten.co.uk ("David") wrote:

It's Bin Day.

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
quixoticgeek@v.st ("Quixoticgeek") wrote:

Dear the people of Clacton,

You have an opportunity to something that is indisputably hilarious. Please, we beg of you, bring us hope in this trying time. Elect Count Bin Face.

Boosted by dysfun@treehouse.systems ("gaytabase"):
ShadowJonathan@tech.lgbt ("Summer Jo :v_enby: ☀️:neocat_melt_3:") wrote:

:boosts_ok_gay: On github, don't forget to also block https://github.com/codex, if you've blocked https://github.com/claude

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
captainhanyuu.art@bsky.brid.gy ("Jenn / CaptainHanyuu 💖✨") wrote:

MY DISCO BALL IN THE BEDROOM IS SHOWING ME THE ECLIPSE, HOW COOL IS THAT?!

Boosted by soatok@furry.engineer ("Soatok Dreamseeker 🔜 Megaplex"):
david_chisnall@infosec.exchange ("David Chisnall (*Now with 50% more sarcasm!*)") wrote:

The recording (and transcript, for the sensible people who don't want to listen to me speaking) of my March QCon talk is online!

If you want to understand how CHERI works and the relationship between memory safety and compartmentalisation, and why starting from a programmer model is essential if you want to build useful hardware, here you go!

#CHERI #CHERIoT #QCon #Compartmentalisation #MemorySafety