Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Diogo Cordeiro (diogo@loadaverage.org), page 23

  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 Repeated by diogo

    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. Invalid filename.
      fthomas/refined
      from GitHub
      Simple refinement types for Scala. Contribute to fthomas/refined development by creating an account on GitHub.
  2. endless bummer (alana@the.giant.horse)'s status on Saturday, 05-Jan-2019 13:40:56 EST endless bummer endless bummer

    i’ve changed my position. math is cool

    In conversation Saturday, 05-Jan-2019 13:40:56 EST from the.giant.horse permalink Repeated by diogo
  3. Nate Cull (natecull@mastodon.social)'s status on Monday, 28-May-2018 19:05:12 EDT Nate Cull Nate Cull

    Protip:

    When designing a user interface, imagine some old woman using it, say Margaret Hamilton, and she's clicking your app's buttons and saying to you, as old people do,

    "Young whippersnapper, when I was your age, I sent 24 people to the ACTUAL MOON with my software in 4K of RAM and here I am clicking your button and it takes ten seconds to load a 50 megabyte video ad and then it crashes

    I'm not even ANGRY with you, I'm just disappointed."

    In conversation Monday, 28-May-2018 19:05:12 EDT from mastodon.social permalink Repeated by diogo
  4. Bart Groeneveld (bartg95@mastodon.host)'s status on Saturday, 05-Jan-2019 10:31:35 EST Bart Groeneveld Bart Groeneveld

    Tip: if you play 0 A.D., use the "Delenda Est" mod.
    Although the version number of the mod indicates very early development, it is actually more developed the vanilla game.

    In conversation Saturday, 05-Jan-2019 10:31:35 EST from mastodon.host permalink Repeated by diogo
  5. amos ↘️ java's crypt 💀 (fasterthanlime@mstdn.io)'s status on Friday, 04-Jan-2019 11:59:17 EST amos ↘️ java's crypt 💀 amos ↘️ java's crypt 💀

    ⁣

    In conversation Friday, 04-Jan-2019 11:59:17 EST from mstdn.io permalink Repeated by diogo
  6. Diogo Cordeiro (diogo@loadaverage.org)'s status on Friday, 04-Jan-2019 17:45:58 EST Diogo Cordeiro Diogo Cordeiro
    in reply to
    • Federated Republic of Sean
    • Diogo Cordeiro
    @freakazoid I think this might be worth checking: http://www.sparkleshare.org/
    In conversation Friday, 04-Jan-2019 17:45:58 EST from loadaverage.org permalink
  7. ☆ Dmitri ☭ (yogthos@mastodon.social)'s status on Thursday, 03-Jan-2019 19:39:04 EST ☆ Dmitri ☭ ☆ Dmitri ☭

    these conditions are unacceptable!

    In conversation Thursday, 03-Jan-2019 19:39:04 EST from mastodon.social permalink Repeated by diogo
  8. The F-Droid observatory (fdroidlurker@fosstodon.org)'s status on Thursday, 03-Jan-2019 19:08:50 EST The F-Droid observatory The F-Droid observatory

    AnBox

    👍Cheers to Android running inside Linux somewhat natively. Although its still in its buggy stages I think there is a bright future for FOSS, #fdroid and Linux when this project matures.

    It means more entertainment apps for Linux (games and stuff). It means more value for the #fdroid project as well.
    ---

    running anbox and android apps on ubuntu 16.04

    https://www.youtube.com/watch?v=R5PbJuh1h6Q

    In conversation Thursday, 03-Jan-2019 19:08:50 EST from fosstodon.org permalink Repeated by diogo
  9. The Wireless Witch of the West (diodelass@cybre.space)'s status on Thursday, 03-Jan-2019 12:53:29 EST The Wireless Witch of the West The Wireless Witch of the West

    I'm not buying any device that restricts its operation to Approved accessories. If this means that I'm not going to buy any commercially-available smartphone, tablet, or laptop within a few years, then so fucking be it.
    This is one of the many places where I'm drawing the line.

    In conversation Thursday, 03-Jan-2019 12:53:29 EST from cybre.space permalink Repeated by diogo
  10. Harris Kenny (harriskenny@mastodon.social)'s status on Thursday, 03-Jan-2019 21:17:05 EST Harris Kenny Harris Kenny
    • pixelfed
    • itch.io

    I discovered @pixelfed (photo sharing) and @itchio (game marketplace) today 👋

    It feels like a new internet is emerging, I'm hopeful for both of these projects!

    In conversation Thursday, 03-Jan-2019 21:17:05 EST from mastodon.social permalink Repeated by diogo
  11. Nemo Rathwald (nemorathwald@boardgames.social)'s status on Thursday, 03-Jan-2019 16:30:46 EST Nemo Rathwald Nemo Rathwald

    A BACKER HAS RECEIVED MY GAME!!!!!!! That's it! I'm calling Overworld a published game now! https://beta-static.photobucket.com/images/d8/demondude777/1/dde4f902-f178-4551-95c6-c667db29667e-original.jpg?width=1920&height=1080&fit=bounds%27

    In conversation Thursday, 03-Jan-2019 16:30:46 EST from boardgames.social permalink Repeated by diogo
  12. ar.al🌻 (aral@mastodon.ar.al)'s status on Thursday, 03-Jan-2019 14:55:51 EST ar.al🌻 ar.al🌻

    DRM is never in the interests of individuals. I’m lookin’ at you, USB-C.

    In conversation Thursday, 03-Jan-2019 14:55:51 EST from mastodon.ar.al permalink Repeated by diogo
  13. Christian Lawson-Perfect (christianp@mathstodon.xyz)'s status on Thursday, 03-Jan-2019 09:22:11 EST Christian Lawson-Perfect Christian Lawson-Perfect
    • ColinTheMathmo

    @ColinTheMathmo Firefox no longer has a built-in feed reader: https://www.theregister.co.uk/2018/10/13/mozilla_firefox_kills_rss/
    This addon looks like it does something similar to the old display: https://addons.mozilla.org/en-US/firefox/addon/rsspreview/

    In conversation Thursday, 03-Jan-2019 09:22:11 EST from mathstodon.xyz permalink Repeated by diogo

    Attachments

    1. Invalid filename.
      Your RSS is grass: Mozilla euthanizes feed reader, Atom code in Firefox browser, claims it's old and unloved
      The Live bookmarks, preview features, that is
    2. Invalid filename.
      RSSPreview – Get this Extension for 🦊 Firefox (en-US)
      Download RSSPreview for Firefox. Preview RSS feeds in browser
  14. Miterion (miterion@social.troll.academy)'s status on Thursday, 03-Jan-2019 13:51:40 EST Miterion Miterion
    • Drew DeVault

    @sir For everybody too lazy to Google
    https://git-scm.com/book/en/v2/Git-Internals-Plumbing-and-Porcelain

    In conversation Thursday, 03-Jan-2019 13:51:40 EST from social.troll.academy permalink Repeated by diogo
  15. Strypey (strypey@mastodon.nzoss.nz)'s status on Thursday, 03-Jan-2019 14:18:54 EST Strypey Strypey

    Have any of your passwords been compromised in a known data breach? Here's a site that lets you know (thanks #DreamWidth crew for the tip):
    https://haveibeenpwned.com/

    In conversation Thursday, 03-Jan-2019 14:18:54 EST from mastodon.nzoss.nz permalink Repeated by diogo

    Attachments

    1. Invalid filename.
      Have I Been Pwned: Check if your email has been compromised in a data breach
      Have I Been Pwned allows you to search across multiple data breaches to see if your email address has been compromised.
  16. Diogo Cordeiro (diogo@loadaverage.org)'s status on Thursday, 03-Jan-2019 19:19:08 EST Diogo Cordeiro Diogo Cordeiro
    • Federated Republic of Sean
    > Nextcloud doesn't support bidirectional sync on Android
    If by bidirectional sync you mean syncing files from smartphone to computer and vice versa? If so, Netcloud Android client supports uploading files from smartphone to server automatically on new additions (but that's it, it doesn't detect syncing of edits, deletes, etc. - it is specially useful for new photos and video).

    > Nextcloud vs Git
    I believe that if you manage to automate Git properly you might have a better outcome... But I'm not sure of how easy that task will be... Nextcloud has been quite competent dealing with conflicts so far and offers a very good UX. I'm able to rapidly and easily access my lecture notes on my phone, share files and directories with and without password and to quickly share calendars and text notes and screenshots.
    All that could be accomplished with Git (but the calendar, but given that there are good floss webdav self hosted servers around that wouldn't be a serious issue). You could set a gitea server and share with and without password both files and directories; you would also have gists; and you would be able to access and update data from everywhere. All this with an inferior UX tho.
    Nextcloud is like having your own self hosted dropbox with steroids, which I've found to be quite sufficient for my needs.

    Therefore, I believe it is a matter of how willing you are to go through the process of developing a Nextcloud alternative, how much you need from what Nexcloud can offer and how friendly git would be as a backend to serve that purpose - I guess that if there are no git based solutions around then there probably is some issue that I'm not thinking of.

    >>But if Nextcloud is that great ("a dropbox with steroids") why do you think that "if you manage to automate Git properly you might have a better outcome"?
    Because sometimes nextcloud mess things up like, a directory you've deleted shows up again with no reason, or files get duplicated in two different locations (because of previous moves) and that's quite boring :( I've been able to live with that tho and I've been quite happy, but that's something that I think Git wouldn't be doing (precisely because of atomic updates). Another issue with Nextcloud (that I think Git would have too [not sure because I only have used Git for small code files so far]) is large pdfs and videos which frequently result in network problems during uploads. Nextcloud struggles a bit with large amounts of data.

    >> Tech details
    My network connection is 100Mbps down / 10Mbps up - uploading to nextcloud is fairly fast (specially small files e.e), downloading is crazily slow (specially large files, it's very usable for small pdfs and so).

    I hope this helps and please keep me updated as I am a "self hoster" myself and thus I'm naturally interested :)
    In conversation Thursday, 03-Jan-2019 19:19:08 EST from loadaverage.org permalink
  17. bee (9m252yda@kitty.town)'s status on Thursday, 03-Jan-2019 12:02:22 EST bee bee

    i'm not a professional hacker or anything but one of my skills is helping people be more anonymous online and some of us need all the help we can get

    so if fascism is on the rise in your country i think i can help you with tips to stay safer, although my work alone won't suffice. if you think i can do anything for you, hit me up!

    boosts welcome

    In conversation Thursday, 03-Jan-2019 12:02:22 EST from kitty.town permalink Repeated by diogo
  • After
  • Before
  • 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.