Jonkman Microblog
  • Login
Show Navigation
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Alan Zimmerman (alanz@social.coop), page 5

  1. clacke: inhibited exhausted pixie dream boy ๐Ÿ‡ธ๐Ÿ‡ช๐Ÿ‡ญ๐Ÿ‡ฐ๐Ÿ’™๐Ÿ’› (clacke@libranet.de)'s status on Tuesday, 19-Feb-2019 23:04:18 EST clacke: inhibited exhausted pixie dream boy 🇸🇪🇭🇰💙💛 clacke: inhibited exhausted pixie dream boy ๐Ÿ‡ธ๐Ÿ‡ช๐Ÿ‡ญ๐Ÿ‡ฐ๐Ÿ’™๐Ÿ’›
    linuxrocks.online/@LibertyPaulโ€ฆ


    โ™ฒ @LibertyPaulM@linuxrocks.online: itch.io needs more love from gamers. Including, it pains me to say, the linux gaming community.

    itch.io does everything linux gamers want. A quality open source client, treats devs and players with respect and generally acts as a moral company should. Still it gets ignored.

    Also, this thread shows they have the right business attitude. No need to go all out with "we're gonna compete with Steam and be a big boy killer". That way makes failure inevitable

    twitter.com/fasterthanlime/staโ€ฆ

    In conversation Tuesday, 19-Feb-2019 23:04:18 EST from libranet.de permalink Repeated by alanz
  2. maiki (maiki@mastodon.sdf.org)'s status on Tuesday, 22-Jan-2019 17:04:32 EST maiki maiki

    Hey, great feedback everyone! It is great to hear not just that there are so many options, but there are all stable! I mean, folks act like non-GMail is the wild west, but folks get by on the federated messaging protocol just fine. I'll compile these results soon, as soon as I get a wikibase going. There is a conceptual Docker understanding step before that, but we'll get there!

    In conversation Tuesday, 22-Jan-2019 17:04:32 EST from mastodon.sdf.org permalink Repeated by alanz
  3. Olie (otheb@mastodon.technology)'s status on Tuesday, 22-Jan-2019 15:53:59 EST Olie Olie
    • maiki

    @maiki I've been using protonmail for a while. No complaints. It's an email service that doesn't treat you like shit. You login and it shows you your emails, then you can send emails. What more could you want?

    In conversation Tuesday, 22-Jan-2019 15:53:59 EST from mastodon.technology permalink Repeated by alanz
  4. Cocoron :sunbeam: (cocoron@sunbeam.city)'s status on Tuesday, 22-Jan-2019 05:38:17 EST Cocoron :sunbeam: Cocoron :sunbeam:

    This bricklayer drove a mini digger into a just finished hotel after his bosses didn't pay his wages

    https://www.theguardian.com/uk-news/2019/jan/22/police-seek-digger-driver-who-trashed-brand-new-travelodge

    We stan a proletarian legend

    In conversation Tuesday, 22-Jan-2019 05:38:17 EST from sunbeam.city permalink Repeated by alanz
  5. Amitai Schleier (schmonz@octodon.social)'s status on Tuesday, 22-Jan-2019 14:02:45 EST Amitai Schleier Amitai Schleier

    Next time you think

    โ€œLetโ€™s add a dependency on X.โ€

    try saying instead

    โ€œLetโ€™s agree that someday our application will break because of X.โ€

    What might change for you?

    #XP #DevOps #RiskManagement

    In conversation Tuesday, 22-Jan-2019 14:02:45 EST from octodon.social permalink Repeated by alanz
  6. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Tuesday, 22-Jan-2019 12:52:36 EST Christine Lemmer-Webber Christine Lemmer-Webber
    • Sebastian Lasse

    Want to hack on ActivityPub/fediverse stuff before FOSEM? @sl007 is graciously hosting a hackathon in Vlissingen and fediverse friends are invited to come! I'll be there and hacking on Spritely! https://indieweb.org/2019/Vlissingen

    In conversation Tuesday, 22-Jan-2019 12:52:36 EST from octodon.social permalink Repeated by alanz
  7. F-Droid (fdroidorg@mastodon.technology)'s status on Tuesday, 22-Jan-2019 10:23:04 EST F-Droid F-Droid

    Google somehow changed the license terms of the Android SDK a few days ago. As the licnese hash is programatically checked by the SDK-tools, this means hat unfortunately builds are failing all over the place. (Not just for #fdroid but in peoples CI systems as well.)

    We are looking into it: https://gitlab.com/fdroid/fdroidserver/issues/620

    In conversation Tuesday, 22-Jan-2019 10:23:04 EST from mastodon.technology permalink Repeated by alanz

    Attachments

    1. Build is failing for many apps due to "some licenses have not been accepted" (#620) ยท Issues ยท F-Droid / Server
      from GitLab
      Hey, As the title says. I think it mostly affects app using build tools version 28.0.3. Example from EteSync: https://f-droid.org/wiki/page/com.etesync.syncadapter/lastbuild_50 I think that at the very least someone should manually...
  8. Dustin Wheeler (mskblackbelt@mastodon.cloud)'s status on Tuesday, 22-Jan-2019 09:52:43 EST Dustin Wheeler Dustin Wheeler

    RT @twiecki@twitter.com
    My favorite device in terms of engineering ingenuity is a rice cooker. How does it know the rice is done? It's not a timer because the time varies. It knows that when temp >100C, the water is gone. But not via thermostat, but a freaking magnet that loses strength at >100C. Genius

    In conversation Tuesday, 22-Jan-2019 09:52:43 EST from mastodon.cloud permalink Repeated by alanz
  9. star star baby (xj9@social.sunshinegardens.org)'s status on Tuesday, 22-Jan-2019 09:53:04 EST star star baby star star baby
    > The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program. By ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees that can be obtained by applying formal methods to source programs.

    > The main result of the project is the CompCert C verified compiler, a high-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.


    http://compcert.inria.fr/

    sadly, it isn't libre software

    https://github.com/AbsInt/CompCert/blob/master/LICENSE
    In conversation Tuesday, 22-Jan-2019 09:53:04 EST from social.sunshinegardens.org permalink Repeated by alanz

    Attachments

    1. AbsInt/CompCert
      from GitHub
      The CompCert formally-verified C compiler. Contribute to AbsInt/CompCert development by creating an account on GitHub.
  10. kษœ:สณ :dragnmlem: (chr@cybre.space)'s status on Tuesday, 22-Jan-2019 02:28:57 EST kɜ:ʳ :dragnmlem: kษœ:สณ :dragnmlem:

    in the old times, they used to send out podcasts using very low-wavelength wifi that you could pick up from miles away, and there were dozens of podcasts to choose from that would all run 24/7

    In conversation Tuesday, 22-Jan-2019 02:28:57 EST from cybre.space permalink Repeated by alanz
  11. toby (tobypinder@mastodon.social)'s status on Tuesday, 22-Jan-2019 09:29:04 EST toby toby

    can't have bugs if you don't have code

    In conversation Tuesday, 22-Jan-2019 09:29:04 EST from mastodon.social permalink Repeated by alanz
  12. Orbital Owl (zuph@octodon.social)'s status on Tuesday, 22-Jan-2019 07:50:27 EST Orbital Owl Orbital Owl

    I think a lot about how essential, unfun labor is organized in The Dispossessed and Anarresti society.

    I would really love to duck out of work for a week every month to dig ditches, irrigate fields, build railways, and generally improve society. There's so much work to be done! But of course, we don't value that.

    In conversation Tuesday, 22-Jan-2019 07:50:27 EST from octodon.social permalink Repeated by alanz
  13. @kmicu@mastodon.social (kmicu@mastodon.social)'s status on Thursday, 17-Jan-2019 04:41:36 EST @kmicu@mastodon.social @kmicu@mastodon.social
    • mray

    @mray WIP. Guix started with CLI, then it got TUI, now GUI is WIP but not ready for 1.0. Any help appreciated if you want to see it sooner.
    ใƒฝ(*๏ผพโ–ฝ๏ผพ)๏ผ

    In conversation Thursday, 17-Jan-2019 04:41:36 EST from mastodon.social permalink Repeated by alanz
  14. Wilfred Hughes (wilfredh@mastodon.social)'s status on Monday, 21-Jan-2019 19:26:26 EST Wilfred Hughes Wilfred Hughes

    Rust's dbg! macro (new in 1.32) is delightful. You write dbg!(my_var) and you get a print statement that writes:

    [src/my_file.rs:123] my_var = "value of my_var"

    It's a huge ergonomic help when debugging!

    In conversation Monday, 21-Jan-2019 19:26:26 EST from mastodon.social permalink Repeated by alanz
  15. dial G for gabagool (jimpjorps@knzk.me)'s status on Monday, 21-Jan-2019 11:23:53 EST dial G for gabagool dial G for gabagool

    when I was on twitter it was like being forced to drink sewage out of an open fire hydrant, and now that I am on mastodon I am free to take petite, ladylike sips of sewage at my own leisure

    In conversation Monday, 21-Jan-2019 11:23:53 EST from knzk.me permalink Repeated by alanz
  16. bhaugen (bhaugen@social.coop)'s status on Monday, 21-Jan-2019 10:29:34 EST bhaugen bhaugen
    • ar.al๐ŸŒป
    • Shamar
    • Bob Mottram ๐Ÿ”ง โ˜• โœ…
    • Tlacaelel (thenameless) 7.7

    @Shamar @bob @Tlacaelel @aral

    This is at least the rusty group.
    https://github.com/sunrise-choir

    In conversation Monday, 21-Jan-2019 10:29:34 EST from social.coop permalink Repeated by alanz

    Attachments

    1. Sunrise Choir
      from GitHub
      a team working on a future-proofed, maintainable, and accessible Scuttlebutt implementation - Sunrise Choir
  17. clacke: inhibited exhausted pixie dream boy ๐Ÿ‡ธ๐Ÿ‡ช๐Ÿ‡ญ๐Ÿ‡ฐ๐Ÿ’™๐Ÿ’› (clacke@libranet.de)'s status on Monday, 21-Jan-2019 09:58:40 EST clacke: inhibited exhausted pixie dream boy 🇸🇪🇭🇰💙💛 clacke: inhibited exhausted pixie dream boy ๐Ÿ‡ธ๐Ÿ‡ช๐Ÿ‡ญ๐Ÿ‡ฐ๐Ÿ’™๐Ÿ’›
    If you search for "H:" in the Racket docs, you search for languages, DSLs and general programming languages that can be used in Racket simply by putting "#lang thelanguage" at the top of your file and having the appropriate packages installed. There are 170 languages listed:

    docs.racket-lang.org/search/inโ€ฆ

    There are some languages beyond that that aren't listed for Reasons, but 170 is pretty cool. They include some Scheme dialects and other parenthetical languages, like the Haskell-inspired hackett or the dependently-typed pie but also things like syntactical datalog or JavaScript (!).

    Files in these languages can all be required from the Racket language with a simple `(require collection/path/to/file)` and from the other languages that have such functionality, using whatever syntax they might use for requiring things.
    In conversation Monday, 21-Jan-2019 09:58:40 EST from libranet.de permalink Repeated by alanz
  18. Antanicus (antanicus@mastodon.bida.im)'s status on Monday, 21-Jan-2019 04:45:21 EST Antanicus Antanicus

    Keystone pipline: *spills 210.000 gallons of oil*
    Petrolheads: ...

    Niger delta: *is destroyed by oil extraction*
    Petrolheads: ...

    Pemex pipeline: *kills 85 in explosion*
    Petrolheads: *chirp*

    Electric car: *exists*
    Petrolheads: "BATTERIES ARE POLLUTING! WHERE WILL YOU TAKE ALL THE ENERGY FROM? ELECTRICITY COMES FROM COAL! WHAT ARE YOU GOING TO DO WITH THE DEPLETED BATTERIES? ELECTRIC CARS ARE JUST A HOAX!"

    In conversation Monday, 21-Jan-2019 04:45:21 EST from mastodon.bida.im permalink Repeated by alanz
  19. A kind (of) writer (mareklach@mastodon.xyz)'s status on Monday, 21-Jan-2019 09:11:52 EST A kind (of) writer A kind (of) writer

    Finally this happened!

    #Friendica 2019.01 release now officially supports #activitypub out of the gate.

    https://github.com/friendica/friendica/releases/tag/2019.01

    From their #changelong:

    ''The AP functionality was tested with Hubzilla, #Mastodon, #NextcloudSocial, #Osada, #PeerTube, with #Pixelfed and #Pleroma.''

    Another bunch of users to interact with... a more viable alternative to FB and #Diaspora, because #activitypub (and #zot) is the future of decentralised social net.

    Thank you guys,

    In conversation Monday, 21-Jan-2019 09:11:52 EST from mastodon.xyz permalink Repeated by alanz
  20. switching.social (switchingsocial@mastodon.at)'s status on Monday, 21-Jan-2019 09:10:14 EST switching.social switching.social
    • Tusky
    • Fedilab
    • Subway Tooter
    • Toot!.app
    • JPEG

    There are many #Mastodon apps available, you can see an official listing here:

    https://joinmastodon.org/apps

    You can also follow the app makers on Mastodon:

    Mast - @JPEG

    Mastalab - @tom79

    Subway Tooter (in Japanese) - @SubwayTooter

    Toot! - @tootapp

    Tusky - @Tusky

    #MastoTips

    In conversation Monday, 21-Jan-2019 09:10:14 EST from mastodon.at permalink Repeated by alanz
  • 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.