Posts by eris@merveilles.town
(DIR) Post #APakwGQOEx6HF3hb96 by eris@merveilles.town
2022-11-14T10:34:31Z
0 likes, 0 repeats
@ignaloidas @cel @virtuallight @gosha the recipe ive been taught always had a nice red without the trick. whuh huh
(DIR) Post #APalRMPg1c76nACFhw by eris@merveilles.town
2022-11-14T10:43:49Z
0 likes, 0 repeats
@ignaloidas @cel @virtuallight @gosha oh no we dont have it like that..thats a weird colour ive never seen any like that
(DIR) Post #APbG3mJJBXUKjwS8um by eris@merveilles.town
2022-11-14T15:48:39Z
0 likes, 0 repeats
the fact that source code is measured in megabytes is terrifying
(DIR) Post #APbHSK3vRpZCK8WcvQ by eris@merveilles.town
2022-11-14T16:42:55Z
0 likes, 0 repeats
@xerz not 'megabyte', _megabytes_
(DIR) Post #APbHfzAFwUu3Z308sy by eris@merveilles.town
2022-11-14T16:46:21Z
0 likes, 0 repeats
@xerz gtk and qt rank in the several megabytes to gigabyte range, and a lot of compilers also do
(DIR) Post #APkEMHj8fNXtu5s4XI by eris@merveilles.town
2022-11-18T22:16:25Z
1 likes, 0 repeats
are there literally no mp3 players witjour a screen and with a half decent battery life
(DIR) Post #APkEMK1I8rFr0yNb6m by eris@merveilles.town
2022-11-18T22:24:04Z
0 likes, 0 repeats
yes im back om this i never found one
(DIR) Post #APkEQD8NgV7iokYA7M by eris@merveilles.town
2022-11-18T22:36:16Z
1 likes, 0 repeats
@cel honey my collection of soundcloud rips as a 10yr old was too big for an ipod shuffle
(DIR) Post #APkEQEjzi8nxnh9iNs by eris@merveilles.town
2022-11-18T22:37:07Z
0 likes, 0 repeats
@cel also i gave mine to a friend *and i dont have a windows or mac computer so cant upload music to it anyway
(DIR) Post #APrzzWhuvMLqXB3vXc by eris@merveilles.town
2022-11-22T18:19:25Z
0 likes, 1 repeats
going to an exchange and asking to invest in soup stock
(DIR) Post #APwL0B0hxBFJCYqIYy by eris@merveilles.town
2022-11-24T20:33:32Z
1 likes, 0 repeats
got a new 2ds xl for about the cost of the replacement parts for my old one... bwuh
(DIR) Post #AQ8pge6ZV2TA7ZGsoy by eris@merveilles.town
2022-11-30T14:54:40Z
0 likes, 0 repeats
reading http://blog.syncpup.com/posts/let-it-crash-under-attack.htmlBut with all that, as Joe Armstrong once jeered, no amount of type checking would catch the following bogus code:```maybe_write() -> {ok, U} = file:open("/path/to/file.txt", [write]), file:close(U), ok = file:write(U, <<"foo">>), ok.```im currently noodling with an idea for a PL where functions can 'consume' their parameters, making them unusable. this example would not work in such a PL; linear typing
(DIR) Post #AQ8q5bRIY1FV5prmPA by eris@merveilles.town
2022-11-30T21:15:19Z
1 likes, 0 repeats
@ukko rust's type system is complex, linearity is simple
(DIR) Post #AQ8q5cul3yPNfUeoxk by eris@merveilles.town
2022-11-30T21:17:14Z
1 likes, 0 repeats
@ukko in a purely linear type system, every value is used at most once, and nothing else
(DIR) Post #AQ8rT9j5Kt1M2wysVc by eris@merveilles.town
2022-11-30T21:33:20Z
1 likes, 0 repeats
@ukko fully linear type systems are unused; you have a property of linearity in functions in greater nonlinear type systems
(DIR) Post #AQ8rTV91hdFWTUHOMK by eris@merveilles.town
2022-11-30T21:33:39Z
1 likes, 0 repeats
@vaartis huh, feels like something vale or cyclone would do
(DIR) Post #AQ8rW3Gbo9CAsl2g76 by eris@merveilles.town
2022-11-30T21:34:09Z
1 likes, 0 repeats
@ukko im not after monads or complicated types
(DIR) Post #AQ8raMQ4XaPbRQWVQu by eris@merveilles.town
2022-11-30T21:35:00Z
1 likes, 0 repeats
@ukko this noodling is part of my idea for an 80% programming language: does things very well 80% of the time
(DIR) Post #AS5pBjGWInkKbu0MW8 by eris@merveilles.town
2023-01-27T09:05:59Z
1 likes, 0 repeats
does anyone know what happened to 'babel', the effort to make a PIE-derived logography 'for all of europe'?
(DIR) Post #ATij8GnDRLYSA8GJjE by eris@merveilles.town
2023-03-17T21:07:10Z
0 likes, 1 repeats
pocket chip just arrived, anyone got any recs on what to do with it?