← Feed

Posts

• View post

  there are exactly eight sides to every political issue. left, right, forward, backward, top, bottom, charm, and strange

• View post

  RE: https://gamedev.lgbt/@typeswitch/117470912830112559 maybe they should have called the new OoT remake "Ocarina of Time 2" because it's on the switch 2

• View post

  operator underloading

• View post

  fizzbuzz, oh like harfbuzz?

• View post

  tfw you have a shower thought so horrendously evil that you're surprised it hasn't already raised hundreds of millions of dollars as a silicon valley startup named after something from Lord of the Rings

• View post

  tfw you just want to move to an isolated lifeless planet and become a chemical engineer who doesn't have to eat or sleep or breathe

• View post

  if you stand on the shoulder of giants wouldn't you still not be able to see as far. wouldn't giants have gigantic eyeballs and therefore have much higher resolution vision so they can see clearly for much farther ...

• View post

  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.

• View post

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

• View post

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

• View post

  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

• View post

  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...

• View post

  they should invent a low level GPU programming language called G, like how we have CPUs and C

• View post

  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...

• View post

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

• View post

  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*

• View post

  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. 1. what's the nonbinary equivalent of mother, father ? 2. what's the nonbinary equivalent of mom, dad ? 3. what's the nonbinary equivalent of mommy, daddy ?

• View post

  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.

• View post

  there once was a lamp that could turn anyone into a woman by merely standing in its light. people came from far and wide to see it, but to their dismay the lamp was rarely lit. for this lamp ran on a special fuel, and that fuel was heavily guarded. it had all been gathered up and stored in a fortress, and that fortress had only one way in or out, through a big iron gate. the only way to get the fuel was to get permission from the person in charge of the gate, the girl light gas keep gate boss.

• View post

  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.

• View post

  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.

• View post

  what is a transpiler. wrong answers only

• View post

  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.

• View post

  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

• View post

  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, q...

• View post

  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/Transpar...

• View post

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

• View post

• View post

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

• View post

  RE: https://infosec.exchange/@0xabad1dea/116573282583168387 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 &quot...