In cooperation with IEEE Computer Society the event is focused on static analysis, program verification, bug detection, and software maintenance.

In Yekatirinburg! Might attend, if exams allow.

A classic article that makes me wish Go had a proper type system

NT is often touted as a "very advanced" operating system. Why is that? What made NT better than Unix, if anything? And is that still the case?

Also talks about DolDoc, which I'm long interested in.

A wiki on Thinkpads and Linux.

Domestic animals are sensitive to human cues that facilitate inter-specific communication, including cues to emotional state. The eyes are important in signalling emotions, with the act of narrowing the eyes appearing to be associated with positive emotional communication in a range of species. This study examines the communicatory significance of a widely reported cat behaviour that involves eye narrowing, referred to as the slow blink sequence. Slow blink sequences typically involve a series of half-blinks followed by either a prolonged eye narrow or an eye closure. Our first experiment revealed that cat half-blinks and eye narrowing occurred more frequently in response to owners’ slow blink stimuli towards their cats (compared to no owner–cat interaction). In a second experiment, this time where an experimenter provided the slow blink stimulus, cats had a higher propensity to approach the experimenter after a slow blink interaction than when they had adopted a neutral expression. Collectively, our results suggest that slow blink sequences may function as a form of positive emotional communication between cats and humans.

Whenever I explain my research at Google into mobile text editing, I’m usually met with blank stares or a slightly hostile “Everyone can edit text on their phones, right? What’s the problem?”

Decker is a multimedia platform for creating and sharing interactive documents, with sound, images, hypertext, and scripted behavior. It draws strong influence from HyperCard, as well as more modern codeless or “low-code” creative tools like Twine and Bitsy. If Jupyter Notebooks are a digital lab notebook, think of Decker as a stack of sticky notes for spatially organizing your thoughts and making quick prototypes.

It's fun and look pretty. Exports to HTML and to a custom format.

Guillaume Lion visited Low-tech Magazine in Barcelona and turned his experience into a comic for the Belgian magazine Médor.

That's what they call BD?

A self-hosted bookmark + archive manager to store your useful links.

Now and again I go back to looking at the Damn Small Linux website. I never tried it but I absolutely love the idea. It was a desktop OS at only 50 MB, meant to include everything you may need on a daily basis. Of course it had to go with small scale versions for most things, but it packed no less than three different web browsers, two window managers, word processor, spreadsheet editor, pdf reader, and more. Wow!