GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by LEdoian (ledoian@pleroma.ledoian.cz), page 3

  1. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Friday, 10-Nov-2023 19:29:50 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:
    • Drew DeVault

    @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…

    In conversation Friday, 10-Nov-2023 19:29:50 JST from pleroma.ledoian.cz permalink
  2. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 07-Nov-2023 23:20:47 JST LEdoian LEdoian
    in reply to
    • lauren n. liberda
    • nullenvk

    @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…

    In conversation Tuesday, 07-Nov-2023 23:20:47 JST from pleroma.ledoian.cz permalink
  3. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 04-Nov-2023 10:01:14 JST LEdoian LEdoian
    in reply to
    • Sexy Moon
    • Haelwenn /элвэн/ :triskell:

    @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 :-)

    In conversation Saturday, 04-Nov-2023 10:01:14 JST from gnusocial.jp permalink
  4. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 04-Nov-2023 09:51:23 JST LEdoian LEdoian
    in reply to
    • Sexy Moon
    • Haelwenn /элвэн/ :triskell:

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

    In conversation Saturday, 04-Nov-2023 09:51:23 JST from gnusocial.jp permalink
  5. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 14:10:12 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:
    • iced depresso

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

    In conversation Thursday, 02-Nov-2023 14:10:12 JST from gnusocial.jp permalink
  6. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 14:07:09 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:

    @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 :-)

    In conversation Thursday, 02-Nov-2023 14:07:09 JST from gnusocial.jp permalink
  7. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 13:58:50 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:

    @lanodan It does! But the minds around me were not ready :-D

    In conversation Thursday, 02-Nov-2023 13:58:50 JST from gnusocial.jp permalink
  8. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 13:57:54 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:
    • 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 :-)

    In conversation Thursday, 02-Nov-2023 13:57:54 JST from pleroma.ledoian.cz permalink
  9. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 13:53:57 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:

    @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

    In conversation Thursday, 02-Nov-2023 13:53:57 JST from gnusocial.jp permalink
  10. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 02-Nov-2023 05:03:27 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:
    • Toromino #Team9€

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

    In conversation Thursday, 02-Nov-2023 05:03:27 JST from pleroma.ledoian.cz permalink
  11. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Wednesday, 01-Nov-2023 09:16:29 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:
    • narcolepsy and alcoholism :flag:

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

    In conversation Wednesday, 01-Nov-2023 09:16:29 JST from pleroma.ledoian.cz permalink
  12. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Wednesday, 25-Oct-2023 03:16:51 JST LEdoian LEdoian
    in reply to
    • Sexy Moon
    • Haelwenn /элвэн/ :triskell:
    • narcolepsy and alcoholism :flag:

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

    In conversation Wednesday, 25-Oct-2023 03:16:51 JST from pleroma.ledoian.cz permalink
  13. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:38:59 JST LEdoian LEdoian
    in reply to
    • lainy

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

    In conversation Tuesday, 24-Oct-2023 10:38:59 JST from pleroma.ledoian.cz permalink
  14. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:11:41 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:

    @lanodan > dbus-using software

    e.g. systemd? Big fun… (Will not probably kill PID 1, but stuff like systemctl might stop working)

    In conversation Tuesday, 24-Oct-2023 10:11:41 JST from gnusocial.jp permalink
  15. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:11:39 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:
    • LEdoian

    @lanodan sry, forgot to read other replies… Also, tried it, somehow it survives, not sure how yet.

    In conversation Tuesday, 24-Oct-2023 10:11:39 JST from pleroma.ledoian.cz permalink
  16. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Tuesday, 24-Oct-2023 10:10:52 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:

    @lanodan work-from-home covid moment

    In conversation Tuesday, 24-Oct-2023 10:10:52 JST from gnusocial.jp permalink
  17. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Monday, 23-Oct-2023 12:07:31 JST LEdoian LEdoian
    in reply to
    • cool_boy_mew
    • Haelwenn /элвэн/ :triskell:

    @lanodan @coolboymew swap ‘t’ and ‘d’ and read backward :-)

    In conversation Monday, 23-Oct-2023 12:07:31 JST from pleroma.ledoian.cz permalink
  18. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 21-Oct-2023 13:10:03 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:

    @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)…

    In conversation Saturday, 21-Oct-2023 13:10:03 JST from gnusocial.jp permalink
  19. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Saturday, 21-Oct-2023 12:08:11 JST LEdoian LEdoian
    in reply to
    • Haelwenn /элвэн/ :triskell:

    @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) :-)

    In conversation Saturday, 21-Oct-2023 12:08:11 JST from gnusocial.jp permalink
  20. Embed this notice
    LEdoian (ledoian@pleroma.ledoian.cz)'s status on Thursday, 19-Oct-2023 09:36:36 JST LEdoian LEdoian
    in reply to
    • Sexy Moon
    • Haelwenn /элвэн/ :triskell:
    • 海
    • :segasaturn:
    • Pawlicker

    @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…

    In conversation Thursday, 19-Oct-2023 09:36:36 JST from pleroma.ledoian.cz permalink
  • After
  • Before

User actions

    LEdoian

    LEdoian

    LEdoian here. I break/(ab)use computers. If there is a weird command I can run to break something, I will gladly run it.(I especially like git, systemd and fd.o standards.)Proud admin of my #Pleroma instance and sysadmin in general. I also know some stuff about computer networks.Grammatical gender: Masculine (He/His)Account is locked to deter bots and weird corporate accounts. I accept follows from random people if their account seems to be marginally legit (=human-like), I just don't want to be scraped (except for the public posts maybe).

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          152393
          Member since
          22 Jul 2023
          Notices
          81
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.