Shamar @Shamar@qoto.org

Interesting question: What kind of thing is the Curry-Howard correspondence? It's not a theorem, because you usually don't state it formally, right?

You are working with #OpenSource platforms and have ideas that can benefit from EU funding?
Then you should watch this video and participate to the challenge:

https://peertube.opencloud.lu/videos/watch/6c8155f5-81f6-4857-91a2-060f6d5d5d73

I love how the logo for PNG (the image format) is a JPEG: http://www.libpng.org/pub/png/

they even have a FAQ entry about it: "If there's one concept you should take away from this site, it's Use the best tool for the job. In this case, that happens to be JPEG, which, at 76,563 bytes, is almost seven times smaller than the completely lossless PNG version"

which raises the question... why did you pick that image as your logo if it can't be compressed well as a PNG?

Oh boy ​

https://github.com/jech/dht

RT @Loptr_agond1@birdsite.link
Petit rappel :

https://twitter.com/Loptr_agond1/status/1192032747457519617

@Shamar With programming, you're creating for a machine that is (theoretically) predictable. Computers are purely intellectual.

With writing, you are creating for an unpredictable reader. You have to simultaneously target several layers of the reader's mind and personality, on multiple fronts, because not all readers have all of your context. You're attempting to evoke an intellectual *and* emotional reaction.

I didn't make a living until I abandoned "programming is writing."

My #freedombox got here all the way from Bulgaria ! Huzzah I’m excited to start setting it up.

I recently got a message from a webmaster who had no idea their website got their visitors' web browsers to run third-party Javascript from Goggle domains. This is how out of control JS has got. It's time for browser makers to make JS opt-in, so that people who serve it have to justify what it does and why users ought to let it run on their computers. Like they've done with addons, after all JS is just any uglier hack for temporarily adding code to the browser.
#MakeJavascriptOptional

Today I created a test word document with a macro that tries to reverse connect out to a C2 server controlled by me. The idea was to use it to test our firewall's capability to inspect protocols on certain ports.

I was positive that this would fail, but provide us good data for designing alerts.

It did not fail. Full reverse shell with very little indication on our firewalls.

Guess what I'm doing tomorrow? 😓

#infosec #sysadmin

This morning I want to briefly describe Conflict-free Replicated Data Types (CRDTs). Which suggests that if you model your data correctly you can fairly easily implement collaborative editting without involving a centralized server, no matter frequently or infrequently the updates arrive.

I don't know of any practical applications of this technology, but Google did use it's more complicated predecessor "Operational Transforms" in Docs & the late Wave. Please tell me I'm wrong though!

GitLab won't hire people in China and Russia... at https://gitlab.com/gitlab-com/www-gitlab-com/issues/5555 - discuss at https://freepo.st/freepost.cgi/post/Y6SA8OqPXB #freepost

Russia Has ‘Oligarchs,’ the US Has ‘Businessmen’
https://fair.org/home/russia-has-oligarchs-the-us-has-businessmen/

(submitted by ericdanielski)

Every tweet feeds the beast #joinmastodon 😃

Mastodon, PeerTube e le alternative “libere” ai giganti della Rete: Google, Apple, Facebook… https://medium.com/Alternativa_open_source_a/mastodon-peertube-e-le-alternative-libere-ai-giganti-della-rete-google-apple-facebook-f96da298dfaa?source=rss-baf8af9eb919------2

The #google ministry of truth cares about you.
https://www.theglobeandmail.com/business/article-sidewalk-labs-document-reveals-companys-early-plans-for-data/