Nostr notes by typeswitch

computers come in three major genders (windows, macos, linux) and ...

2026-10-26T06:21:55Z

computers come in three major genders (windows, macos, linux) and many other less common genders.

the hardware is 99% the same between the genders. the main difference is outward appearance (gender expression), how you interact with them (gender roles), and what forms of institutional coercion they are subject to (the patriarchy)

i've come up with a new versioning system for software, ...

2026-10-20T01:01:40Z

i've come up with a new versioning system for software, it's called cemetery versioning (cemver for short. pronounced the same as semver)

the version numbers have the form X.Y.Z where X, Y, and Z are natural numbers. there is no meaning attached to any of the numbers.

Nostr event nevent1qqst72pdl4ufyj5utp2qu30wgw8lpp4wnt6mf0xkfy5ztnwzc28lhcqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2d4v3au

2026-09-23T20:12:49Z

anybody hiring programmers to program

Nostr event nevent1qqsgzl2njzvsl28edyuatar05hew0pamz6n57959gut2lnqrtfgdltczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2laacxp

2026-09-17T13:40:07Z

hot was invented by big wrong to sell more take

it seems to me that despite its apparent status as the most ...

2026-09-13T08:35:14Z

it seems to me that despite its apparent status as the most important unresolved problem in computer science, the P vs NP problem is not important at all. that an answer either way wouldn't affect anything, unless you believe that the answer will be P=NP and that a positive answer will also lead to the discovery of a fast polynomial time algorithm for SAT ... which are wild beliefs.

i'm glad that computer science is apparently so inconsequential that this is the most important open question 🙃

Nostr event nevent1qqsf9pmnhl3tsgv4up3908m4nxpc8g7ryll3lgkv8630qzlq7rzdn6szyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2v6vsvm

2026-09-11T13:24:58Z

in 2026 the only good programming is offline programming

it's like when someone creates new syntax for C and calls it ...

2026-08-27T20:09:11Z

In reply to nevent1q…jrpc
_________________________

it's like when someone creates new syntax for C and calls it a new programming language

even the US uses the metric system; they just changed the ...

2026-08-27T20:07:51Z

even the US uses the metric system; they just changed the frontend units so they can claim to be doing their own thing

another confusing terminology change from some older texts is ...

2026-08-10T04:21:17Z

In reply to nevent1q…f7a6
_________________________

another confusing terminology change from some older texts is that "module" used to be what they called procedures/functions in some circles at least...

fascinating. do you have a reference?

2026-08-10T04:11:45Z

In reply to nevent1q…s6s5
_________________________

fascinating. do you have a reference?

if you talk to people who visit or immigrate to the US about ...

2026-08-08T06:46:22Z

In reply to nevent1q…jlep
_________________________

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.

they should make complex valued stock markets so that "line ...

2026-08-04T21:45:51Z

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

CPU stands for "C Processing Unit"

2026-07-28T18:39:37Z

In reply to nevent1q…2ywe
_________________________

CPU stands for "C Processing Unit"

they should invent a low level GPU programming language called G, ...

2026-07-28T18:38:29Z

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

as for declarations, forth does let you make your own declaration ...

2026-07-03T02:22:17Z

In reply to nevent1q…yxn2
_________________________

as for declarations, forth does let you make your own declaration words. even has some utilities to make it easier, like CREATE and DOES>

ok. i don't agree. those are declarations. statements in ...

2026-07-03T02:20:54Z

In reply to nevent1q…5eqs
_________________________

ok. i don't agree. those are declarations.

statements in haskell (the do notation ones) are a super useful sublanguage, and i think most languages should learn from haskell. they are distinct from expressions at the type level (because they're part of some effect system, e.g. monads) but are still composable. the best imperative languages imo do distinguish statements and expressions, but they don't do it for effect separation, sadly, and don't make it programmable.

hmm ... I think haskell can. statements are monadic or ...

2026-07-03T00:52:07Z

In reply to nevent1q…jqqd
_________________________

hmm ... I think haskell can. statements are monadic or applicative expressions in a do block. and you can compute new kinds of block statements with BlockArguments too.

i'd also say forth counts. it's not unusual for most of the conditional and looping constructs to be computed from some much more primitive forward and backward [conditional] branches.

but i guess you meant something else that would exclude these examples?

douglas adams's story about the civilization that built a ...

2026-06-25T05:36:04Z

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.

i will start calling it that. instead of "objects with ...

2026-06-24T23:41:15Z

In reply to nevent1q…2jmx
_________________________

i will start calling it that. instead of "objects with vtables". maybe it will catch on.

should be called Church decoding ^^

2026-06-24T23:37:11Z

In reply to nevent1q…tngd
_________________________

should be called Church decoding ^^

ah yeah, you need an x to start with, you're right! likewise ...

2026-06-24T23:30:11Z

In reply to nevent1q…kys6
_________________________

ah yeah, you need an x to start with, you're right!

likewise (∀α. F α → α) isn't the initial F-algebra, (∀α. (F α → α) → α) is the initial F-algebra ... this is Church encoding!

right, the analogous terminal F-coalgebra would be (∃x. x -> ...

2026-06-24T23:18:54Z

In reply to nevent1q…2er9
_________________________

right, the analogous terminal F-coalgebra would be (∃x. x -> F x)

e.g. (∃x. x -> Maybe x) is a final Maybe-coalgebra, and it's isomorphic to the conatural numbers (or is it "the natural conumbers"? :-)

EDIT: as pointed out in the reply, the terminal F-coalgebra is actually (∃x. x * (x -> F x)) ... i forgot the x

we must turn all languages into forth

2026-06-17T14:08:25Z

In reply to nevent1q…0kn7
_________________________

we must turn all languages into forth

pre-preprocessor that lets you ##define multiline macro macros by ...

2026-06-17T14:05:00Z

pre-preprocessor that lets you ##define multiline macro macros by escaping with three backslashes \\\

A feature that would be nice to have in C is some standard way to ...

2026-06-09T17:13:00Z

A feature that would be nice to have in C is some standard way to get the range of an enum. The usual way is to define a FOO_MAX or FOO_COUNT constant yourself but it's always different and sometimes it's inclusive, sometimes exclusive, ... It would be nice if there was a standard.

sure, i can agree there. if it looks like normal infix math then ...

2026-06-06T18:07:38Z

In reply to nevent1q…qgqd
_________________________

sure, i can agree there. if it looks like normal infix math then it should probably follow the same rules.

i think it's kinda cool ... one advantage i could see is that ...

2026-06-06T17:52:55Z

In reply to nevent1q…rejq
_________________________

i think it's kinda cool ... one advantage i could see is that it means fewer parentheses when doing accumulator style calculations. e.g. a chain of multiply , add , multiply, add . . .

they should invent a version of the internet that can only be ...

2026-05-29T18:47:00Z

they should invent a version of the internet that can only be accessed by humans

oh wait, that's called going outside and meeting people in person 😢

Nostr event nevent1qqs9lj0m3fhn0wkqzzlnva7m8gvsjrx3zfs0jn6pwhaw3nq9586tsfszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2jgde8c

2026-05-16T02:54:55Z

just put word sounds together they don't have to mean ...

2026-05-12T23:35:43Z

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

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

2026-05-10T15:47:54Z

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

I think I mostly agree with this except in point 6, saying these ...

2026-05-07T19:31:57Z

In reply to nevent1q…6jut
_________________________

I think I mostly agree with this except in point 6, saying these are "non-isomorphic" only makes sense from an external perspective. Since IST is a conservative extension of ZFC, we could take the point of view that the nonstandard elements were always there in ZFC but we couldn't talk about them.

But if we stick to ZFC meta-theories, we still have the ...

2026-05-07T14:13:37Z

In reply to nevent1q…l0jm
_________________________

But if we stick to ZFC meta-theories, we still have the meta-meta-theoretic idea of a "standard model of PA" as a model that exists across meta-theories, the image of N in V into this version of the meta-theory.

(If we don't do this, the question "is there a model of ZFC set theory where the standard model of PA is different from the initial model of PA" has the answer "no, by definition", which isn't very interesting.)

In both interpretations, 'N in *V is the standard model of ...

2026-05-07T14:00:13Z

In reply to nevent1q…l4fg
_________________________

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

I think the problem is confusing. There are three levels here: ...

2026-05-07T13:50:30Z

In reply to nevent1q…2wvk
_________________________

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

Because you can't take arbitrary external subsets of sets in ...

2026-05-07T12:19:18Z

In reply to nevent1q…gxy0
_________________________

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.

So, admittedly, I left a lot of details out of constructing W and ...

2026-05-06T14:52:13Z

In reply to nevent1q…t6cy
_________________________

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.

But then we can also look at just (the class of) the set of ...

2026-05-06T14:46:33Z

In reply to nevent1q…says
_________________________

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/

This W contains *V by mapping each [(X₀ , X₁ , X₂ , ...)] ...

2026-05-06T14:37:20Z

In reply to nevent1q…m26l
_________________________

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/

Here's the part I'm unsure about. I think we could build ...

2026-05-06T14:35:35Z

In reply to nevent1q…weam
_________________________

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/

So *V isn't the example we want. But we might imagine a ...

2026-05-06T14:33:30Z

In reply to nevent1q…7y0s
_________________________

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/

Now the standard natural numbers N in V give us the class 'N ...

2026-05-06T14:32:12Z

In reply to nevent1q…tptz
_________________________

Now the standard natural numbers N in V give us the class 'N in *V, which contains every standard natural number '0, '1, '2, ... but also contains the class of any sequence of natural numbers, e.g. [(0, 1, 2, 3, ...)], and that's where we get nonstandard natural numbers from.

However. This 'N is actually the initial model of PA in *V, because one property of *V is that it also satisfies every first order property (expressible in the language of set theory) of V.

4/

I.e. [(X₀ , X₁ , X₂ ...)] = [(Y₀ , Y₁ , Y₂ ...)] iff ...

2026-05-06T14:31:00Z

In reply to nevent1q…stkr
_________________________

I.e.

[(X₀ , X₁ , X₂ ...)] = [(Y₀ , Y₁ , Y₂ ...)] iff
{ i : Xᵢ = Yᵢ } ∈ U

and

[(X₀ , X₁ , X₂ ...)] ∈ [(Y₀ , Y₁ , Y₂ ...)] iff
{ i : Xᵢ = Yᵢ } ∈ U

This gives a nonstandard model of ZFC that contains V by mapping each set onto the equivalence class that contains the sequence where that set is every element:

X in V ↦ [(X, X, X, ...)] in *V

Let's call this class 'X.

3/

So let's build a nonstandard model around V that has the ...

2026-05-06T14:30:10Z

In reply to nevent1q…c4p3
_________________________

So let's build a nonstandard model around V that has the property we want.

Let's start with an ultrapower of V with the naturals as index set, and call that *V. This is a nonstandard model of V parametrized by an ultrafilter U over the naturals N, where sets in *V are given by sequences (X₀ , X₁ , X₂ ...) of sets in V, quotiented by pointwise equality in a U-large set of indices, and the ∈ relation is given by pointwise membership in a U-large set of indices.

2/

I'm also not an expert but I'll try to share my intuition ...

2026-05-06T14:28:17Z

In reply to nevent1q…4n66
_________________________

I'm also not an expert but I'll try to share my intuition here and I would be happy if an expert jumps in with a real example and/or debunking.

To make sense of the quote we need a nonstandard model of set theory where the notion of "standard set" makes sense. Presumably, standard sets are sets coming from a standard model of set theory V, which our nonstandard model is built around. So when we say "standard model of PA" we mean the naturals coming from V.

1/

yeah i think IST is an example of what I said. The standard set ...

2026-05-06T11:25:40Z

In reply to nevent1q…9vra
_________________________

yeah i think IST is an example of what I said. The standard set of natural numbers in IST contains nonstandard elements, and the set of standard natural numbers is nonstandard.

losing my mind over the highlighted sentence. in other words. in ...

2026-05-06T01:54:19Z

In reply to nevent1q…37wk
_________________________

losing my mind over the highlighted sentence. in other words. in a nonstandard model of peano arithmetic, you can have "infinite" natural numbers. in some nonstandard model of set theory, the standard model of peano arithmetic has infinite natural numbers, and you need a nonstandard model of peano arithmetic to exclude them.

Nostr event nevent1qqsq0c9sq9wfxldgeryraey2zdgphhl8gmyrhqfunvudymwqa9hqr7gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2za7m2v

2026-05-06T01:47:52Z

infinite natural number glitch

👋 get in the sea 👉 fall through the ground

2026-05-01T19:57:38Z

👋 get in the sea
👉 fall through the ground

Nostr event nevent1qqs9vhhxv9wxja2zma66f5ct8dda3mepe9ndkzpnmz5azzu5rsxmwqqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2n6hzle

2026-04-22T17:47:55Z

the cardinal directions, North, Eorth, Sorth, Worth

Nostr event nevent1qqsgx9fvq4ejh8mxr87m4c96ea9uehdy6cz5ghtxw4s0phxyt3th35czyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y27e5z34

2026-04-07T00:32:47Z

this video could have been twenty years of relevant experience

i understood it ^^ bag is the perfect metaphor imo, even in ...

2026-04-06T23:55:47Z

In reply to nevent1q…sr4x
_________________________

i understood it ^^

bag is the perfect metaphor imo, even in english. i don't think multiset is nearly as good ("multiset" always has me wondering about things like infinite cardinality, since that's a big "set" thing).

gender expression implies the existence of gender normalization ...

2026-01-19T07:31:06Z

gender expression implies the existence of gender normalization by evaluation

a manager can never be held accountable therefore a manager must ...

2026-01-12T01:54:04Z

a manager can never be held accountable

therefore a manager must never make a management decision

None of these things are monads, however, and's ...

2025-12-09T16:22:28Z

In reply to nevent1q…rn3f
_________________________

None of these things are monads, however, and's shortcircuiting is very similar to the sequencing you get with the option/maybe monad, which executes a sequence of commands but shortcircuits as soon as you get a none value.

oh you downloaded your game? oh yeah? have fun. but me, i'm a ...

2025-11-23T17:46:23Z

oh you downloaded your game? oh yeah? have fun. but me, i'm a ludophile, i only play games on vinyl. it's all about that game quality you know. there's just no way to replace this -- *breaks out the 25 vinyl disk collection box for Riven: The Sequel to Myst.*

plato's allegory of the cave is really just a shadow on the ...

2025-11-13T04:27:18Z

plato's allegory of the cave is really just a shadow on the wall cast by the platonic ideal of plato's allegory of the cave

tfw someone asks someone else a question about one of your ...

2025-11-12T17:59:11Z

tfw someone asks someone else a question about one of your favorite subjects and you know you shouldn't jump in, so you don't, but you really want to.

here in metric system no guns land we don't measure bad ...

2025-11-10T16:05:30Z

here in metric system no guns land we don't measure bad language design in footguns, we measure it in metersticks

Nostr event nevent1qqsqfurpaqj2q5px7d6hwpgmyu7hkck63j2hyn2pk7rp4u9tss5nwvszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2awxft9

2025-11-03T14:09:50Z

everyone in PL ignoring forth is such an embarrassment tbh

lambda calculus is easy if you ignore substitution and evaluation ...

2025-10-20T15:13:35Z

In reply to nevent1q…64tt
_________________________

lambda calculus is easy if you ignore substitution and evaluation strategies and . . .

that said, it's referentially transparent which is nice. maybe that's what they mean by "easier to reason about", relative to some other models of computation.

Nostr event nevent1qqs9rmc39rpt3rz7k5p4xx73qtsd337pds2r0jw2d98p5acecxmv9tszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y22qr2er

2025-10-04T03:55:00Z

beware of the rabbit hole to pipeline pipeline

it's only a proton if it comes from the steam deck region of ...

2025-09-24T01:33:39Z

it's only a proton if it comes from the steam deck region of valve corporation, otherwise it's just a sparkling wine

mad respect for y'all, but i prefer to stay on land. i think ...

2025-09-22T15:35:01Z

In reply to nevent1q…70dt
_________________________

mad respect for y'all, but i prefer to stay on land.

i think i have a mixture of fear of the sea, and also, i don't really think i could enjoy the sensory experience of sailing. the wind, the waves, sea water in general, ...

i would like it to always be autumn (which it is now in the ...

2025-09-22T15:26:29Z

i would like it to always be autumn

(which it is now in the northern hemisphere)

the ordinals seem like good candidates: first, secondst, thirdst, ...

2025-09-17T20:37:51Z

In reply to nevent1q…jlf7
_________________________

the ordinals seem like good candidates:
first, secondst, thirdst, fourthst, ...

there shouldst be a double english where they add "st" to ...

2025-09-17T20:36:48Z

there shouldst be a double english where they add "st" to more wordst, not just to whilst

Nostr event nevent1qqsxu33593qu6cq6lfjpw0xxmvcs7f85akmv6eczyceuvat74ena2mszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2shm45m

2025-09-15T14:29:58Z

december implies the existence of hexadecember

it's not a crisis until a straight white cis man dies ...

2025-09-15T05:10:58Z

it's not a crisis until a straight white cis man dies
it's not an epidemic until a straight white man gets lonely
it's not a recession until a rich white man cries
it's not political until a straight white cis man notices

the ones who drive away from omelas but come back every week to ...

2025-09-07T05:06:08Z

In reply to nevent1q…zg9z
_________________________

the ones who drive away from omelas but come back every week to fill their tank

the ones who walk away from the ones who walk away from omelas

2025-09-07T05:03:07Z

In reply to nevent1q…07ln
_________________________

the ones who walk away from the ones who walk away from omelas

the ones who pretend they walked away from omelas

2025-09-07T05:01:56Z

In reply to nevent1q…j7mp
_________________________

the ones who pretend they walked away from omelas

Nostr event nevent1qqspn3pvj8txe54x6taq9vkrskkcqfnyvxtsf9a77eznut84x9a9ktszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2pf3g2q

2025-09-07T04:59:43Z

the ones who stay in omelas because there isn't anywhere else

respectfully ... no thanks

2025-08-28T17:11:40Z

In reply to nevent1q…633z
_________________________

respectfully ... no thanks

for the record, i think return stack manipulation in forth is ...

2025-08-21T18:31:10Z

In reply to nevent1q…v698
_________________________

for the record, i think return stack manipulation in forth is unequivocally a bad idea. not just to emulate expression languages, but in general. it gets a pass only because forth is so spartan & has so few places to put data.

but a modern forth that isn't trying to be so minimal ought to give you access to many data stacks imo.

e.g. in mirth you have as many stacks as you want, with different names. >x pushes on the x stack, >foo pushes on the foo stack, bar> pops from the bar stack, etc

the mixing of local variables, parameters, and return addresses ...

2025-08-21T18:21:01Z

In reply to nevent1q…xxg2
_________________________

the mixing of local variables, parameters, and return addresses all on the same stack causes so many security problems. e.g. https://en.wikipedia.org/wiki/Return-oriented_programming

i can only hope that in time we'll view mixing return addresses and data on the same stack with the same distaste as many other flawed practices ... like zero terminated strings, or storing passwords in plaintext.

the advantage of using separate return and data stacks is that we ...

2025-08-21T18:14:55Z

In reply to nevent1q…fzv9
_________________________

the advantage of using separate return and data stacks is that we can take any code that uses just the data stack and factor it out, e.g.

: add-thirty 30 + ;

is a forth word that adds 30 to the value on top of the data stack. but the corresponding "return stack oriented" version is not 30 >r plus, because calling a word puts the return address on the return stack. you'd have to wrap the definition with a return stack pop (r>) and a push (>r) as so,

: add-thirty r> 30 >r plus >r ;

this isn't a joke btw. we could write words in forth that ...

2025-08-21T18:02:39Z

In reply to nevent1q…m7s3
_________________________

this isn't a joke btw. we could write words in forth that take parameters from the return stack, and doing so turns the forth into an expression language, because you have to invoke everything with the right number of parameters or else it crashes.

e.g.

: plus r> 2r> + >r >r ;

to invoke it i need to pass exactly two parameters on the return stack, e.g.

10 >r 20 >r plus

puts 30 on the return stack. but i can still "nest" these expressions (postfix style) e.g.

10 >r 20 >r plus 30 >r plus

a conventional programming language is just a forth where the ...

2025-08-21T17:57:32Z

a conventional programming language is just a forth where the return stack is also used for parameter passing

"functional programming doesn't have state or class" ...

2025-08-16T01:05:22Z

"functional programming doesn't have state or class"
except all its practicioners work in academia or finance

what i want for software: bring back scripting. give users the ...

2025-08-10T23:15:09Z

what i want for software: bring back scripting. give users the steering wheel and the levers. make all the functionality discoverable & make it fun to automate.

what tech companies want: hide the steering wheel. hide the levers. hide anything that looks like code. replace everything with a chat interface.

uxn also has finite memory so it's a finite state machine, so ...

2025-07-26T16:48:05Z

In reply to nevent1q…vhkq
_________________________

uxn also has finite memory so it's a finite state machine, so uxn is a regular expression;

syntax is when syntax error; semantics is when segmentation fault ...

2025-07-26T16:42:04Z

syntax is when syntax error; semantics is when segmentation fault (core dumped)

Cool monoid alert! The Kuratowski monoid represents all possible ...

2025-07-20T21:33:24Z

Cool monoid alert!

The Kuratowski monoid represents all possible combinations of complement (c) and closure (k) operations on subsets of a topological space. (Note that the interior operation can be given as the composition ckc.) Only 14 possible operations exist.

See: https://en.wikipedia.org/wiki/Kuratowski%27s_closure-complement_problem

This diagram is from the paper:
Schwiebert, Ryan (2017). "The radical-annihilator monoid of a ring". Communications in Algebra. 45 (4): 1601–1617.

did you know the reason we write yen is because the first ...

2025-06-14T04:40:11Z

In reply to nevent1q…vuuf
_________________________

did you know the reason we write yen is because the first japanese-portuguese dictionaries made by missionaries thought the e syllable was ye. to this day the yen is actually pronounced en in japan. anyway. it's also not called japan. anyway...

https://maps.app.goo.gl/seFYdMvSCBDjLP8p7

2025-06-14T04:17:52Z

In reply to nevent1q…y8z8
_________________________

https://maps.app.goo.gl/seFYdMvSCBDjLP8p7

folks have to stop reading the japanese kyo, ryo, ... as two ...

2025-06-14T04:02:40Z

folks have to stop reading the japanese kyo, ryo, ... as two syllables

it's not kee-oh-toe, it's kyo-to

Nostr event nevent1qqsgdtnjetpyul7dk554h3e6hz5wga8j0haa27vpmakl79hhl0mtp0gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2n2pdt9

2025-05-17T17:14:25Z

64 bit integers are big integers, right

LLM-generated code is shit. don't use it. don't accept ...

2025-04-29T21:52:57Z

LLM-generated code is shit. don't use it. don't accept it. don't propagate it. definitely don't generate it.

if the person who submitted code couldn't be bothered to write it, don't review it. blanket rejection is not just appropriate & efficient, it's necessary.

code lives in the minds of its developers, as mental abstractions that provide leverage on the domain. generating code without that mental labor is like building a lever without a fulcrum.

consider a binary variable, i.e. a variable which can hold one of ...

2025-04-10T23:55:29Z

consider a binary variable, i.e. a variable which can hold one of two values. what are those values called?

boole: true, false
c programmer: 0, 1
forth programmer: 0, -1
quantum physicist: 1/2, -1/2

levels of forth -- level 1: stack manipulation words and reverse ...

2025-03-13T07:25:19Z

In reply to nevent1q…r73d
_________________________

levels of forth --

level 1: stack manipulation words and reverse polish notation

level 1.5: using the return stack for temporary storage

level 2 (dark path): control flow via return stack manipulation

level 2 (light path): control flow via control flow words

level 3: metaprogramming with immediate and postpone

level 3.5 (dark path): immediate words that parse the input buffer

level ∞ (dark path): rolling your own string literal word s" that works in both compiler and interpreter mode

modality in forth is a bottomless pit of complexity ... it's ...

2025-03-13T07:14:07Z

modality in forth is a bottomless pit of complexity ... it's funny when forth is treated like the pinnacle of simplicity

you need a function to rebuild with a higher bound. resize :: ...

2025-02-03T17:45:54Z

In reply to nevent1q…yz3p
_________________________

you need a function to rebuild with a higher bound.

resize :: (m:Nat) -> BVec x n -> BVec x (n+m)
resize m [] = []
resize m (x :: xs) = x :: resize m xs

assuming that + is left-recursive

yes data MyList : Nat -> Type -> Type where Nil : MyList n ...

2025-02-03T16:21:51Z

In reply to nevent1q…rz2l
_________________________

yes

data MyList : Nat -> Type -> Type where
Nil : MyList n x
(::) : x -> MyList n x -> MyList (S n) x

division is the most bullshit arithmetic operation i don't ...

2025-01-12T21:12:14Z

division is the most bullshit arithmetic operation

i don't think most programmers have internalized just how bullshit it is

Nostr event nevent1qqs2esf9jpjdqm9kync93nf5ekhzvhyjm6p8pfehwlfawl8fcr8c2tqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2dagw23

2025-01-12T13:06:36Z

Important question for programmers.

you, you come into my home? and try to use my programming ...

2025-01-11T01:57:51Z

you, you come into my home? and try to use my programming language???

that's really brave of you actually, let me know if you have any questions

oop is the app-ification of programming languages (or maybe ...

2025-01-01T16:34:49Z

oop is the app-ification of programming languages

(or maybe it's the other way around ... apps are the oop-ification of programs)

pretending to be a person who isn't pretending to be another ...

2024-12-21T19:43:54Z

pretending to be a person who isn't pretending to be another person -- the impostor paradox

hmm i can't agree wið reddit on this one, i can't help ...

2024-12-18T01:57:39Z

In reply to nevent1q…2eez
_________________________

hmm i can't agree wið reddit on this one, i can't help pronouncing þ as unvoiced 😔