@typeswitch@gamedev.lgbt

· 1w ago

programming as a medium of communication between programmers. between collaborators, between dependencies and their dependents, between an author and their audience, between an educator and their students, etc even when we say that a program controls the machine, what we are saying is that the programmer is accessing routines left by other programmers working on a different level. communicating asynchronously with past programmers. all programming is communication.

65

4

37

0

typeswitch @typeswitch@gamedev.lgbt

· 3mo ago

Boosted by @trending@homestead.social

douglas adams's story about the civilization that built a giant computer that gave the ultimate answer but nobody knew what the question was so they put all their resources into building an even bigger computer just to figure out the question ... it feels more plausible every day.

860

66

557

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

Replying to

CPU stands for "C Processing Unit"

96

4

44

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

Very nice talk by Alexis King about using types to model values positively, rather than as restrictions. Also about the idea of types as a way to communicate obligations between far away pieces of code, between producers and consumers of the type. So when you change a type, the type checker helps you propagate those obligations throughout your codebase. It's refreshing to hear people talk about types the way I also think about them, and Alexis is a great presenter. https://www.youtube.com/watch?v=0BXuYlNrUmE

57

2

28

0

typeswitch @typeswitch@gamedev.lgbt

· 3mo ago

some people are intrinsically motivated to do an action, meaning they are interested in doing the action for its own sake. others are extrinsically motivated, meaning they are doing it for some kind of outside reward. a lot of games and websites try to use outside rewards to get people to form habits that support the game or website long term. and there are people like me who know these tricks and are turned off by them. we can say these people are extrinsically demotivated.

84

6

33

0

typeswitch @typeswitch@gamedev.lgbt

· 3w ago

if you've played one final fantasy you don't need to play the others, they're all isomorphic in the fantasy category

8

1

0

typeswitch @typeswitch@gamedev.lgbt

· 1mo ago

Boosted by @joe@f.duriansoftware.com

Replying to

@joe@f.duriansoftware.com you'd think they would all coordinate ahead of time to reduce cash register pressure

10

1

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

the ssnake oil iss very good, the sside effectss are ssubtle—barely notisseable at thiss sstage—everyone iss doing it you gotta ingesst the ssnake oil—become the ssnake yess$s what do you mean no ssnakess on thiss plane i have ssickss years$ of ssnoil ekssperienss$ on sspheress and ssimilar ssolidss i'm a ssenior ssnoil sseller ssuch ssukssess ssuch ssunk cosstsssss$$$$$$ *pops*

36

0

7

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

Boosted by @GroupNebula563@mastodon.social

software is like mayonnaise:

weird emulsion that is greater than the sum of its parts.
breaks if you hold it wrong.
homemade tastes better but it doesn't last as long.
store bought has a bunch of extra stuff that has no business being in the sauce.
there are ethical concerns.
the ick.

39

0

27

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

type theorist comes up with a new eliminator for the empty type and registers this invention with the government. call it patently absurd.

32

0

6

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Boosted by @joe@f.duriansoftware.com

100

2

40

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

a lot of confusion people have about types come from the mess that is mutable state in most languages. people conflate subtypes with subsets, which only really works when values are immutable. otherwise e.g. if a nonempty list is a list, and pop is a method on lists, you would be able to pop the last item from a nonempty list and it would still have be a nonempty list! ofc in this case the liskov substitution principle says nonempty lists aren't lists actually. mutability is not intuitive.

26

5

9

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

Replying to

@whitequark@social.treehouse.systems msi files are just repurposed office files -- https://learn.microsoft.com/en-us/openspecs/office_file_formats/ms-oshared/87667163-ea1e-4d67-9eec-47cad74e8030

learn.microsoft.com

[MS-OSHARED]: PIDSI

Specifies the list of properties that can be defined in the Summary Information property set (section 2.3.3.2.1). This set

21

3

7

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

the slop note is a notebook where you write the name of a person or company, and after that they will only produce slop. someone has been using the slop note

15

3

6

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

Replying to

@hacks4pancakes@infosec.exchange if you talk to people who visit or immigrate to the US about unexpected parts of the experience, many do bring up those points ... (another one for me is how in US restaurants they are always trying to get you out of there as quickly as possible.) but i think most people don't realize that reverse culture shock is a thing until they experience it, like you have.

12

0

2

0

typeswitch @typeswitch@gamedev.lgbt

· 3mo ago

Boosted by @joe@f.duriansoftware.com

when you terminate the process by bubbling up through the call stack and leaving from the main function, this is known as a bubblesortie it's generally considered to be much slower than pivoting to a system call, also known as a quicksortie

30

2

7

1

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Boosted by @joe@f.duriansoftware.com

remember to KICK (Keep It Complicated, Knave).

51

2

17

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

RE: @0xabad1dea@infosec.exchange

There's a point here that should be reiterated for anyone doing programming language design, or any text-based user interface: Certain characters that are very easy to type on US keyboards, like [ ] { } \ ` and so on, tend to be much harder to type on any other keyboard.

When I first got into programming, the Portuguese keyboard i used meant the learning curve was even steeper in the beginning.

Remember the anagram "ASCII" doesn't start with "Universal" it starts with "American".

infosec.exchange

abadidea: "Y’all, baby cousin’s keyboard is German. It was U…" - Infosec Exchange

35

18

17

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

a Vector is when it's vertical,
a Hector is when it's horizontal

30

4

13

0

typeswitch @typeswitch@gamedev.lgbt

· 3mo ago

i wish that formal semantics of programming languages were more widely known and appreciated. because it seems everyone has opinions on PL syntax but nobody ever bothers to learn about semantics.

13

4

2

0

typeswitch @typeswitch@gamedev.lgbt

· 1mo ago

Replying to

@Unixbigot@aus.social @hacks4pancakes@infosec.exchange what do you mean. I'm not american and I experienced "reverse culture shock" when i went back home after away for a long time. Nothing american about that. The "reverse" just means it's the opposite direction from the forward culture shock of leaving your home country.

4

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

hi, waves, i'm nonbinary, and a second language speaker of english, and i have a couple of innocent english questions for nonbinary folks. and a third question.

what's the nonbinary equivalent of mother, father ?
what's the nonbinary equivalent of mom, dad ?
what's the nonbinary equivalent of mommy, daddy ?

6

4

0

typeswitch @typeswitch@gamedev.lgbt

· 2mo ago

Boosted by @GroupNebula563@mastodon.social

they should make complex valued stock markets so that "line goes up" needs to be followed by "which up"

4

0

4

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

when game programmers say they sort objects back to front, or front to back, before drawing them, e.g. to get correct alpha blending, or to not rely on a z-buffer for some reason ... i wonder if they know that you can't actually do that, in general. even with convex objects. even with just three triangles. there is no way to sort them. because you can have A overlap B overlap C overlap A. see this helpful illustration from the khronos opengl wiki: https://wikis.khronos.org/opengl/Transparency_Sorting

wikis.khronos.org

10

8

0

typeswitch @typeswitch@gamedev.lgbt

· 1mo ago

Replying to

@Unixbigot@aus.social @iris@neuromatch.social well yeah it is culture shock, but what if you wanna be more specific? like that's what the original post was about, the culture shock of returning.

2

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

just put word sounds together they don't have to mean anything it's 2026

9

2

4

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

we live in capitalism. its power seems inescapable. but then so did the divine right of kings. any human power can be resisted, and changed, by human beings.

(le guin, 2014)

9

0

4

0

typeswitch @typeswitch@gamedev.lgbt

· 3mo ago

what is a transpiler. wrong answers only

4

10

2

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Replying to

@slava@mathstodon.xyz @joe@f.duriansoftware.com oh nice. i have a similar story ... when i was 13 i tried to implement a raytracer in C++ following @jbikker@mastodon.gamedev.place's articles -- they're still up! https://www.flipcode.com/archives/Raytracing_Topics_Techniques-Part_1_Introduction.shtml i remember poring over these articles and the code and i managed to compile my own version. but it was very slow. and i didn't really understand the funny vector math. i thought if i learned how to use SSE i could make it faster, but it was too difficult. & that's how i got sidetracked into learning assembly and osdev.

flipcode.com

flipcode - Raytracing Topics & Techniques

5

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

it's only portable if it could come from the douro valley region of northern portugal, otherwise it's just fortified wineable

5

2

0

typeswitch @typeswitch@gamedev.lgbt

· 1mo ago

Replying to

@Unixbigot@aus.social @iris@neuromatch.social not a bad name ^^

1

0

typeswitch @typeswitch@gamedev.lgbt

· 1mo ago

Replying to

@Unixbigot@aus.social @iris@neuromatch.social @hacks4pancakes@infosec.exchange That's really comparing apples to oranges. If "reverse" is the problem, what word would you use to describe the idea of "culture shock that you (unexpectedly) experience when you return to your home country"?

1

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

piano/forte numbers are a separate concept from slow/fast numbers, but sometimes you can't distinguish these axes; this is known as midi lock

3

1

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

when we say "these two values are morally equivalent" we mean that they might not be literally equivalent but you should pretend they are, and if you don't you are committing a sin. e.g. distinguishing two hash maps based on the order of elements within them. but ... you can confess this sin by declaring it in the type, and passing on the moral buck. just say "pretend these things, which i have immorally distinguished, are actually the same". this is how morality, er, quotient types work.

1

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Replying to

i haven't checked rigorously but i feel like the "safe" set of characters is the latin alphabet, digits, some punctuation . , ! ? : and space. i think / and @ will also be common because of the web and email. i'd love to add ( ) " ' _ - + * ; but i bet some of those aren't available everywhere. on my keyboard Ç is mapped to S because i'm using the dvorak layout. i think the default layout is just not convenient for me, i spend way more time programming or writing in english over portuguese...

1

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Replying to

@dt@mastodon.top yeah i started using the US layout in high school ... and some years later I switched completely to dvorak. I can never look at the actual keyboard again or i forget how to type.

1

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@papalex@mathstodon.xyz @johncarlosbaez@mathstodon.xyz I think the problem is confusing. There are three levels here: Peano Arithmetic (the theory), models of PA which live in ZFC set theory (the metatheory), and models of ZFC set theory which live in some ambient set/class theory (the meta-meta-theory). The "standard model of PA" is both a meta-theoretic idea that is internal to ZFC set theory (usually the initial model), and a meta-meta-theoretic idea that relates different models of set theory (N in V and its images).

1

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@papalex@mathstodon.xyz @johncarlosbaez@mathstodon.xyz In both interpretations, 'N in *V is the standard model of PA. This 'N may look different externally but it looks like N in the ZFC set theory (the meta-theory). Where things get interesting is when we have a separate notion of "standard" set in the meta-theory (i.e. if the meta-theory is IST instead of ZFC), and then a meta-theoretic notion of "standard model" means "the initial model that is standard" as opposed to just "the initial model".

1

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@papalex@mathstodon.xyz @johncarlosbaez@mathstodon.xyz Because you can't take arbitrary external subsets of sets in *V. Every infinite set in *V is going to have nonstandard elements. (You can create internal subsets following the rules of ZFC. E.g. consider a nonstandard natural n. The natural numbers less than n form a set by replacement (clamping N by n-1). But this isn't a (sub)model of PA, and it contains nonstandard numbers (e.g. n-1).) That's why we construct W to let us build more interesting subsets.

1

3

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@johncarlosbaez@mathstodon.xyz @papalex@mathstodon.xyz So, admittedly, I left a lot of details out of constructing W and I'm not sure if it even works as a model of ZFC. But it's what I intuitively think of as a model of internal set theory -- you have your standard sets as ultrapowers, and your "external/arbitrary" nonstandard sets as arbitrary subsets of standard sets. I'd be very curious to look at actually rigorous constructions of models of IST, which should provide the desired example. 9/9, fin.

1

5

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Replying to

@andnull@social.nouveau.community if only there was some kind of annotation you could provide to tell the compiler how to handle equality for certain kinds of data. some system with names ... and associated traits . . . hmm

0

2

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Replying to

@RosaCtrl@social.vivaldi.net do you use the option key to get other characters? i find on a mac i basically never need to switch off dvorak unless i'm typing in japanese. on windows i always have to switch layouts to write in portuguese.

0

1

0

typeswitch @typeswitch@gamedev.lgbt

· 4mo ago

Replying to

now i kinda want to collect some data on keyboard layouts and find out the real list of safe characters. 🤔

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@johncarlosbaez@mathstodon.xyz @papalex@mathstodon.xyz But then we can also look at just (the class of) the set of standard natural numbers in W, [{ (0,0,0,...), (1,1,1,...), (2,2,2,...), ... }]. This is nonstandard because it doesn't come from the standard mapping of a set in V. But it serves as a model of PA in W, and is initial, I think. (You can argue that there is a more direct mapping from V to W, by every set element x to (x,x,x,...), but it doesn't go through *V so we don't get any nonstandard elements in N.) 8/

0

6

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@dramforever@mastodon.social a Watrix is a Matrix that goes Wah!

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@johncarlosbaez@mathstodon.xyz @papalex@mathstodon.xyz So *V isn't the example we want. But we might imagine a nonstandard model that contains *V, but also allows us to take external subsets of the sets in *V, so that we could look at the standard natural numbers without the nonstandard natural numbers sneaking in. 5/

0

9

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@johncarlosbaez@mathstodon.xyz @papalex@mathstodon.xyz This W contains *V by mapping each [(X₀ , X₁ , X₂ , ...)] to (the class of) the set of sequences [ X₀ × X₁ × X₂ × ... ] (up to a U-large set of indices). So that standard N maps to the [ N × N × N × ... ] and therefore contains both standard natural numbers (0,0,0,...), (1,1,1,...), (2,2,2,...), ... and nonstandard natural numbers (0,1,2,...), (1,2,3,...), (0,0,1,1,2,2,...). 7/

0

7

0

typeswitch @typeswitch@gamedev.lgbt

· 5mo ago

Replying to

@johncarlosbaez@mathstodon.xyz @papalex@mathstodon.xyz Here's the part I'm unsure about. I think we could build such a model by transposing the ultrapower construction, so instead of looking at ultrapowers of sets in V, we look at sets of sequences in V, quotiented by U, and build a model out of that. Let's call this model W, and the idea that sets in W are sets of sequences in V, up to equivalence on U-large sets of indices. And ∈ in W is given by ∈ in V, up to equivalence of sequences by U-large sets of indices. 6/

0

8

0