Jonkman Microblog
  • Login
Show Navigation
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Charlag (charlag@birb.site), page 2

  1. Charlag (charlag@birb.site)'s status on Sunday, 27-May-2018 11:10:30 EDT Charlag Charlag

    When you cannot calmly read your timeline because you have nausea from seeing it in development

    (You have it too from my toots I bet)

    In conversation Sunday, 27-May-2018 11:10:30 EDT from birb.site permalink
  2. Charlag (charlag@birb.site)'s status on Tuesday, 22-May-2018 04:43:16 EDT Charlag Charlag
    in reply to
    • Mayel - ghost account

    @mayel I want to hug everyone on SocialCoop because you are so cool and I kinda want to help but I'm pretty happy with my instance and I'm not sure I can take more responsibilities beyond Tusky and I'm terrible sysadmin so I can only wish you all good luck!

    In conversation Tuesday, 22-May-2018 04:43:16 EDT from birb.site permalink
  3. Charlag (charlag@birb.site)'s status on Monday, 21-May-2018 17:49:15 EDT Charlag Charlag
    • josef
    • Vertigo

    @jk @vertigo noone asked me but I guess you will have to get through similar shit but it may work better in the end. Depends on your hardware and distro a_lot (I didn't think it really matters much and I was wrong).
    Source: using Linux as main OS for 8 years with some pauses. It's getting better but I broke everything few months ago again.

    (Forgive me, why did I have to say that, it was useless, is it a disease or something)

    In conversation Monday, 21-May-2018 17:49:15 EDT from birb.site permalink
  4. Charlag (charlag@birb.site)'s status on Thursday, 10-May-2018 19:34:12 EDT Charlag Charlag
    • แทกโนมันซี

    Thanks to @technomancy we now have a separate workflow on Circle CI for building APKs!
    The service itself is great, flexible and easy to set up. Debugging via ssh is a really great feature.

    #tuskydev

    In conversation Thursday, 10-May-2018 19:34:12 EDT from birb.site permalink
  5. Charlag (charlag@birb.site)'s status on Thursday, 10-May-2018 04:04:33 EDT Charlag Charlag

    Can I emphasize one more time how cool Blokada is?
    You don't know it but your phone is *full* of trackers. It's not better than the web. I thought that we don't have any tools to deal with it - after all, it's not a browser. But turns out there are!
    Blokada works as a VPN but locally. It has a blacklist (which you can change) and it just blocks all connections to trackers or ads. It works wonderfully.

    Of course Google wouldn't let it in the Play Store.
    https://f-droid.org/app/org.blokada.alarm

    In conversation Thursday, 10-May-2018 04:04:33 EDT from birb.site permalink
  6. Charlag (charlag@birb.site)'s status on Tuesday, 08-May-2018 08:16:29 EDT Charlag Charlag

    "Conversations with a six-year-old on functional programming"

    https://byorgey.wordpress.com/2018/05/06/conversations-with-a-six-year-old-on-functional-programming/

    #fp #programming

    In conversation Tuesday, 08-May-2018 08:16:29 EDT from birb.site permalink

    Attachments

    1. File without filename could not get a thumbnail source.
      Conversations with a six-year-old on functional programming
      By Brent from blog :: Brent -> [String]

      My six-year-old son walked up to me yesterday. “What are you reading?”

      At the time, I was reading part of Janis Voigtländer’s habilitation thesis. Unsure where to even start, I decided to just answer straightforwardly: “I’m reading a very long story about free theorems.”

      He persisted. “What are free theorems?”

      Never one to shrink from a pedagogical challenge, I thought for a moment, then began: “Do you know what a function is?” He didn’t. “A function is like a machine where you put something in one end and something comes out the other end. For example, maybe you put a number in, and the number that is one bigger comes out. So if you put in three, four comes out, or if you put in six, seven comes out.” This clearly made sense to him, so I continued, “The type of a function machine tells you what kinds of things you put in and what kinds of things come out. So maybe you put a number in and get a number out. Or maybe you put in a list of numbers and get a number out.” He interrupted excitedly, “Or maybe you could put words in??” “Yes, exactly! Maybe you can put words in and get words out. Or maybe there is a function machine where you put other function machines in and get function machines out!” He gasped in astonishment at the idea of putting function machines into function machines.

      “So,” I concluded, “a free theorem is when you can say something that is always true about a function machine if you only know its type, but you don’t know anything about what it does on the inside.” This seemed a bit beyond him (and to be fair, free theorems are only interesting when polymorphism is involved which I definitely didn’t want to go into). But the whole conversation had given me a different idea.

      “Hey, I have a good idea for a game,” I said. “It’s called the function machine game. I will think of a function machine. You tell me things to put into the function machine, and I will tell you what comes out. Then you have to guess what the function machine does.” He immediately liked this game and it has been a huge hit; he wants to play it all the time. We played it while driving to a party yesterday, and we played it this morning while I was in the shower. So far, he has correctly guessed:

      I tried but that was a bit tough for him. I realized that in some cases he may understand intuitively what the function does but have trouble expressing it in words (this was also a problem with ), so we started using the obvious variant where once the guesser thinks they know what the function does, the players switch roles and the person who came up with function specifies some inputs in order to test whether the guesser is able to produce the correct outputs.

      was also surprisingly difficult for him to guess (though he did get it right eventually). I think he was just stuck on the idea of the function doing something arithmetical to the input, and was having trouble coming up with some sort of arithmetic procedure which would result in no matter what you put in! It simply hadn’t occurred to him that the machine might not care about the input. (Interestingly, many students in my functional programming class this semester were also confused by constant functions when we were learning about the lambda calculus; they really wanted to substitute the input somewhere and were upset/confused by the fact that the bound variable did not occur in the body at all!)

      After a few rounds of guessing my functions, he wanted to come up with his own functions for me to guess (as I knew he would). Sometimes his functions are great and sometimes they don’t make sense (usually because his idea of what the function does changes over time, which of course he, in all sincerity, denies), but it’s fun either way. And after he finally understood , he came up with his own function which was something like

      inspired, I think, by his kindergarten class where they were learning about pairs of numbers that added up to .

      Definitely one of my better parenting days.

  7. Charlag (charlag@birb.site)'s status on Tuesday, 01-May-2018 17:27:01 EDT Charlag Charlag

    I feel bad that we as Tusky were not prepared to take new users. We basically have no onboarding flow because we've never expected people to join mastodon through us. People are used to do everything though the apps, though.

    Decade of training people to search things through app stores has huge effect. That's going to be a problem for PWAs too.

    That's a big problem for free software.

    In conversation Tuesday, 01-May-2018 17:27:01 EDT from birb.site permalink
  8. Charlag (charlag@birb.site)'s status on Sunday, 29-Apr-2018 08:06:49 EDT Charlag Charlag

    "...I've always lived cheaply. I live like a student, basically. And I like that, because it means that money is not telling me what to do. I can do what I think is important for me to do. It freed me to do what seemed worth doing. So make a real effort to avoid getting sucked into all the expensive lifestyle habits of typical Americans. Because if you do that, then people with the money will dictate what you do with your life. You won't be able to do what's really important to you."

    Wow RMS

    In conversation Sunday, 29-Apr-2018 08:06:49 EDT from birb.site permalink
  9. Charlag (charlag@birb.site)'s status on Sunday, 29-Apr-2018 05:16:58 EDT Charlag Charlag

    "These Pleroma peop.."
    *slap*

    "These Mastodon pe.."
    *slap*

    "People can be bad regardless of their server software"
    ...
    ...
    "Okay, that's good"

    In conversation Sunday, 29-Apr-2018 05:16:58 EDT from birb.site permalink
  10. Charlag (charlag@birb.site)'s status on Thursday, 26-Apr-2018 04:07:17 EDT Charlag Charlag

    I intend to learn the shit out of PureScript one day and wrote something cool with Hyper

    https://github.com/owickstrom/hyper/blob/master/README.md

    How can you resist a language which has .purs file extension and row polymorphism?

    #fp #purescript

    In conversation Thursday, 26-Apr-2018 04:07:17 EDT from birb.site permalink
  11. Charlag (charlag@birb.site)'s status on Saturday, 21-Apr-2018 09:17:48 EDT Charlag Charlag

    Fediverse folk!
    Don't forget to boost interesting stuff.
    The system relies solely on organic discovery.
    We on small instances depend on boosts quite a lot!

    In conversation Saturday, 21-Apr-2018 09:17:48 EDT from birb.site permalink
  • After
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.