typeswitch

typeswitch, 2 months ago to random

is there ever a good reason to allocate a contiguous buffer in memory that is greater than 4GB ?

asking for a friend

typeswitch, 8 months ago to random

i have no executive function and i must do something

typeswitch, 9 months ago to random

Typeclass/trait coherence feels bad to enforce at the language level. I think I'd prefer to have good ways to work with incoherent instances, rather than requiring everyone to agree on a single ontology. What I want is to put the user in control of behavior, not library authors.

Haskell lets you define orphan instances, but overlapping/ed/able instances are kind of a mess.

I guess ML-style modules are kind of a solution, but they're so clunky... ime.

Idk ... does what I want even exist ???

typeswitch, 8 months ago to random

i believe programming languages should not come with footguns, but if they must, they should hide them behind a "footgun" keyword

typeswitch, 18 days ago to random

C library functions are always like: "SYNOPISIS. This function converts foos into bars depending on the user locale. ARGUMENTS. src and dest pointers must be distinct; it is undefined behavior if they are not QPU-aligned. RETURN VALUE. Returns the number of foos converted. A zero value indicates failure, or that zero foos were converted. A negative value indicates that the final foo was only partially converted (function got tired). Check errno global to find out why."

typeswitch, 10 months ago to random

maybe i should install linux ... 🤔

typeswitch, 9 months ago to random

why does the same word with different stress indicate that it's a verb or a noun in english ...

typeswitch, 9 months ago to random

Story where the hero burns out, goes home, lives with trauma ever after.

typeswitch, 2 months ago to random

if the government just implements UBI starting from tomorrow, without changing anything else, rents will creep up until the UBI amount becomes practically irrelevent, and the goals of UBI will fail. in the end it'll be another transfer of public money to landlords.

we need to implement UBI and establish universal housing and rent controls and tax the shit out of landlords. UBI isn't a magic wand that will solve the problems of late stage capitalism on its own.

typeswitch, 2 months ago to random

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.

typeswitch, 1 year ago to random

Grammar is a kind of illusion. When humans started to communicate, they didn't sit down and come up with rules for how to do it. They just talked, and figured out how to communicate bit by bit. And within each community, habits formed over time, and these habits became patterns that were predictable enough to eventually codify, as grammar. In other words, "ungrammatical" just means "unusual". But if it gets the point across, that is imo more grammatical than a lot of so-called "grammar rules".

typeswitch, 1 month ago to random

is stack allocation (including call frames & locals) just a game of russian roulette ... ?

i can't be the only one who thinks this is weird.

typeswitch, 7 months ago to random

figuring out the fingers on a piano piece is register allocation. it's the same problem.

typeswitch, 15 days ago to random

hot take: garbage collection should be a microarchitectural concern.

typeswitch, 10 months ago to random

i've discovered something even better than messing up the return stack:
using the return address as (a pointer to) a buffer

typeswitch, 9 months ago to random

thinking about separating representation types from reasoning types

typeswitch, 2 months ago to random

mini-announcement: I've decided to publish Yotta.

Yotta is a forth-like language with a very small core. In the beginning, all you can do is:

• emit machine code,
• emit machine code that emits machine code,
• define new words ... that emit machine code

With just those primitives we define an x86-64 assembler, and from there we use that assembler to define most of a forth.

Check it out: https://github.com/typeswitch-dev/yotta/

typeswitch, 8 months ago to random

What does this print?
Any guesses?

(on a 64-bit machine)

typeswitch, 1 year ago to random

blasfémia, blasmacho, blasseilá

typeswitch, 9 months ago to random

thinking about making a cursed programming language

typeswitch, 2 months ago to random

let's just all go back to irc.

yes really.

typeswitch, 3 months ago to random

is there a fediverse github alternative

typeswitch, 5 months ago to random

TIL alfarroba is carob in english.
https://en.wikipedia.org/wiki/Carob

typeswitch, 4 months ago to random

"i'm not five years old anymore" tired cliche, not constructive

"i'm at least six years old" same meaning but confuses listener (positive), constructive

typeswitch, 7 months ago to random

deterministic coin flipping