@lanodan @drewdevault Same, but will also add “and as long as nobody tries to use it when teaching”. I had this one teacher for Haskell… You could say it looked pretty, but you could not say what to type on your computer…
Notices by LEdoian (ledoian@pleroma.ledoian.cz), page 3
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Friday, 10-Nov-2023 19:29:50 JST LEdoian
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 07-Nov-2023 23:20:47 JST LEdoian
@selfisekai @nullenvk Wait, they want to create more timezones in Europe? I don’t think people actually care about having the sun synced to the clock, so my proposal would be exactly the opposite: unify the time across Europe to a single offset, possibly with local variations of when shifts in work should start.
I am a timezone rebel, so I would pick UTC for the EU-wide timezone, if it were up to me.
I didn’t yet read the article carefully yet (Polish will be a bit hard), but those figures had English captions…
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 04-Nov-2023 10:01:14 JST LEdoian
@lanodan @Moon I think we just got stuck on some minor misunderstanding. Moon said that all Turing machines are equivalent at computation. You remarked that for memory-constrained programs that is not the case, and the Turing machine does not exist IRL. And to that I argued that there are only finite computers IRL, therefore equivalent to finite-state machines, finite automata, regular expressions…, which are also all equivalent at computation :-)
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 04-Nov-2023 09:51:23 JST LEdoian
@lanodan @Moon For finite-state machines, regular languages are sufficient. And it can be argued that a memory-constrained computer is a finite-state machine (a state is the immediate contents of registers, memories, drives, &c; inputs are clocks and I/Os. The number of states is finite (though absurdly large) and the state change is well-defined for any input).
So it theoretically should be possible to create an actually-regular expression describing a “computation” of a computer (but not an unbounded Turing machine).
(TIL: there seems to be a convention that “regular expressions” are expressions describing regular languages, and “regexes” are the patterns used in programming languages, regular or not.)
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 14:10:12 JST LEdoian
@lanodan @icedquinn I might not have finished it, really. But it was nice :-) (Also, quite hard, because I decided that I will just read the English original and not a version in a language I can speak fluently, at that age).
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 14:07:09 JST LEdoian
@lanodan Oh, right, I almost forgot about Flatland! But I only tried to explain that to my classmates (usually on the train), not the teachers. Few of them were actually interested :-) And that was around 13yo :-)
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 13:58:50 JST LEdoian
@lanodan It does! But the minds around me were not ready :-D
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 13:57:54 JST LEdoian
@lanodan Reminds me of that one time when the Physics teacher explained some basic mechanics, it seemed unplausible to me, so I brought some wooden blocks (for toddlers) and disproved her the next class. And demanded explanation, ofc :-)
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 13:53:57 JST LEdoian
@lanodan I think I used to invent weird units like “kilometer per hour per second” for acceleration. And probably many other optimisations, sometimes without me even realising that was not a common way to do stuff.
I am aware of at least one Math teacher who very explicitly told me that I should not pay attention in order not to break her class :-D
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 05:03:27 JST LEdoian
@lanodan @foxhkron UTC ftw for the whole Europe. Would solve changes to/from DST, jet lags when travelling across the EU as well as simplify time conversions to other timezones. And nobody really cares whether they have lunch at 12:00 solar or 13:00 solar, or really any-other-time solar, as long as it is close to the mid-day (because that is what is happening with DST and with CE(S)T in Spain and such).
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Wednesday, 01-Nov-2023 09:16:29 JST LEdoian
@lanodan @hj Is seeing animals rare? I got quite used to seeing hares in various parts of Prague (where there is green around) especially at night, and I’d say ducks and nutrias are common in parks or around the river. (Also: hedgehogs, squirrels, pigeons, …)
But this probably depends on the part of the city. I often route myself through parks.
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Wednesday, 25-Oct-2023 03:16:51 JST LEdoian
@lanodan @hj @Moon I think the comparison might be actually undefined, since there is no sequence point in that expression, so it is possible that the RHS is evaluated before LHS, thus resulting in true. (Or house fire, given it is UB…)
One of the favourite gotchas of C… I only remember: when pre-/postincrementing, do not do anything clever like reusing the variable. And I had to check the standard to be at least slightly confident in what I write here.
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:38:59 JST LEdoian
@lain I started learning programming by copying from random youtube tutorial, then by asking stupid questions on programmer forums, where I was recomended a nice book…
Unfortunately, back then I only knew there is some “C” language, so I searched youtube for “c programming tutorial” iirc. Bad starting decision.
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:11:41 JST LEdoian
@lanodan > dbus-using software
e.g. systemd? Big fun… (Will not probably kill PID 1, but stuff like systemctl might stop working)
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:11:39 JST LEdoian
@lanodan sry, forgot to read other replies… Also, tried it, somehow it survives, not sure how yet.
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:10:52 JST LEdoian
@lanodan work-from-home covid moment
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Monday, 23-Oct-2023 12:07:31 JST LEdoian
@lanodan @coolboymew swap ‘t’ and ‘d’ and read backward :-)
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 21-Oct-2023 13:10:03 JST LEdoian
@lanodan Yeah, it looks like it is Jinja2… which eagerly tries to stringify everything without looking at types. Errors like this are bound to happen (and hard to spot, because Jinja IIRC does not tell you)…
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 21-Oct-2023 12:08:11 JST LEdoian
@lanodan I guess this is more like I ♥ <?php print_badly($random_json) ?>. The data does not seem to belong anywhere on the page (too structured for humans) :-)
-
Embed this notice
LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 19-Oct-2023 09:36:36 JST LEdoian
@lanodan @PurpCat @Moon @takao @tsugumi I do not yet know, how big can of worms is weird usage of RJ-45 ports, but those are also common I think.
I am almost sure one of our network switches has a mgmt console on RJ-45 port, with an adapter to RS-232/DE-9 attached, only to it being immediately converted to USB to attach it to a “normal” machine…