Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Thufie :: Girl (thufie@cyberia.social)

  1. Thufie :: Girl (thufie@cyberia.social)'s status on Sunday, 06-Jan-2019 04:02:39 EST Thufie :: Girl Thufie :: Girl
    I just discovered the Haskell refinement types library and my life has been changed forever, I've always known I needed something like this but never knew it existed. http://nikita-volkov.github.io/refined/
    A similar library exists for Scala too:
    https://github.com/fthomas/refined/

    Now we can finally safely assume a function is only working on positive integers or a valid formatted string! Type safety is awesome.
    In conversation Sunday, 06-Jan-2019 04:02:39 EST from cyberia.social permalink

    Attachments

    1. File without filename could not get a thumbnail source.
      Announcing the refinement types library
      from Functional programming debugs you
      Have you ever looked for a numeric type with a zero to hundred range to describe percentage? Maybe a zero to one to describe a proper fraction of something? A positive integer (without the zero) to enumerate something? A vector of a specific length? Here that comes and not only with the Haskell refinement types library (on GitHub, on Hackage)!
    2. fthomas/refined
      from GitHub
      Simple refinement types for Scala. Contribute to fthomas/refined development by creating an account on GitHub.
  2. Thufie :: Girl (thufie@cyberia.social)'s status on Saturday, 05-Jan-2019 05:44:26 EST Thufie :: Girl Thufie :: Girl
    Dear Tor user, we need to make sure you are a human. To keep our customers websites secure, we didn't find a better solution than blocking you by getting you stuck in an endless loop of unsolvable captchas. Oh, and of course, we don't give a shit about your need for privacy and anonymity.
    #FuckCloudflare #FuckGoogle
    fuckCloudflare.jpg
    In conversation Saturday, 05-Jan-2019 05:44:26 EST from cyberia.social permalink
  • 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.