← Feed

Posts

• Post #4384695

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

• Post #4362699

  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

• Post #4187987

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

• Post #4172405

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

• Post #4157853

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

• Post #4093500

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

• Post #4078655

  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*

• Post #4004056

  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 ?

• Post #3937634

  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.

• Post #3892433

  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.

• Post #3620151

  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.

• Post #3420318

  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.

• Post #3417528

  what is a transpiler. wrong answers only

• Post #3397030

  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.

• Post #3395424

  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

• Post #3133867

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

• Post #3026533

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

• Post #2677641

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

• Post #2606742

• Post #2571065

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

• Post #2536679

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

• Post #2521290

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

• Post #2511845

  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)

• Post #2442505

  remember to KICK (Keep It Complicated, Knave).

• Post #2361449

  the only reason we think fish can't speak is because fish abide by a system of mutual exclusion that prevents more than one fish in the sea from talking at the same time, also known as the global interpreter lock (GIL).

• Post #2361448

  oh no ... a company that we bought some materials from years ago sent an email to all of its clients to inform them that they will be sending invoices via email from now on. they sent one email to: all of their clients. ... we have now received one accidental reply-all follow-up email from one of the other clients. i pray there will be no more.

• Post #2195254

  infinite natural number glitch

• Post #2111901

  - come across a small problem during game development - "i know i'll write a compiler, then i'll never have to deal with this problem again!" - the problem goes away forever because you are no longer working on the game

• Post #2106689

  in piano arithmetic, numbers can be piano or forte, unlike harpsichord arithmetic

• Post #1933089

  "C doesn't have iterators--" https://godbolt.org/z/8348j44fv