Pinned post

Introduction: I do not know or understand mastodon, but I am curious to give it a shot. Let's see how this pans out and whether it can lure me from twitterverse.

Edward Snowden just got Russian citizenship. But don't worry, his lawyer says that he's not eligible for being mobilized!

Russian source:

I have complicated feels about this.

On one hand, #Snowden's revelations were a watershed moment in digital security as it applies to everyone using the Internet. Some masks fell off. Some amazing projects (#LetsEncrypt, for example) were directly inspired by them. The outcome is that we know more and might be a bit safer online. 1/?

Following Jurgen Cito's advice (, i'm trying to ease the heavy load of reviewing for , by reading each paper in a different coffee shop (Copenhagen, Warsaw, wherever my schedule takes me this month).

So far it works really well. I learn much more about the Barrista scene in Vesterbro than about software engineering 😂

It seems that i'm too embarrassed to sit in a tiny coffee shop for more than 60-90 minutes. So i focus better and read faster than at home.

Due to recent events, I´d like to ask my fellow Europeans once again to please stop electing fascists.

We´ve tried it. It´s shit.

Kind regards from Germany,

@rysiek It's easier to just click on "font size" than selecting the correct style from the style menu.

And if you want to, say, change the font size of headings? I'm willing to bet that only a small percentage of people in an organisation that uses Word actually knows how to do that.

The image in this post displays its own MD5 hash.

You can download and hash it yourself, and it should still match - 1337e2ef42b9bee8de06a4d223a51337

I think this is the first PNG/MD5 hashquine.

The synthesis of repairs is presented as a graph coloring problem (on control graphs), where the effects for the locking API are colors. We use real historical bugs in the kernel code base to demonstrate the effectiveness the method. Enjoy :D

Thanks to the Independence Research Fund Denmark (DFF) for sponsoring the work.

Show thread

The paper uses effect inference in supervised learning (regression really) to obtain a model of what resources are protected by what locks in a C program. The model is used to select automatically synthesized patches for sequential locking bugs (things like double-lock, access without lock).

Show thread

Patching Locking Bugs Statically with Crayons - the work of Alfredo Carlon
in collaboration with Mahsa Varshosaz, Claire Le Goues, and YT - is now available open access from the TOSEM journal:

RT @signalapp
A request to our community: Signal is blocked in Iran. You can help people in Iran reconnect to Signal by hosting a proxy server. If you’re willing and able, please follow the instructions here: 1/2 #IRanASignalProxy

Is Google Analytics illegal?

Yes, said Austrian, French and Italian Data Protection Authorities and today the Danish DPA agreed! 🇩🇰

Exciting times to be a European, privacy-first web analytics project 🇪🇺

RT @iScienceLuvr
Today, @OpenAI announced Whisper, an automatic speech recognition model. Plus, they released it open-source!

Blog post →
Research paper →
Open-source code and models →

Quick thread about it (1/10) ↓

RT @Rainmaker1973
The story of Dennis Ritchie, the man who invented C, co-created Unix, and is largely regarded as effectively influencing every software system we use on a daily basis. His death was largely ignored, overshadowed by Steve Jobs' death, one week before

A week ago, Dmitri Peskov (Kremlin's spokesperson) claimed that mobilization is out of the question:

Anyone paying any attention knows of course to take any denial by Peskov as a confirmation.

(please boost) job search 

hello! i'm vanta. i have over a decade of experience editing videos, writing, using image editing software, making electronic music, and generally creating things with computers

i need a job! definitely something remote, considering i have asthma and covid is a thing. preferably something part time, but i'd consider full if it wasn't too demanding

i can do just about anything! editing videos, writing stuff, social media, etc.


Show older
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.