Pinned toot

Domain (business) logic is related to your type system usage. As a programmer, the less you use your type system, the more you have to keep the domain logic in your head. The domain logic in your head is like the global state: opaque, ever-changing and informal, i.e., something to minimise and avoid as much as possible. If there is a requirement to acquire a big global state before you delve into the code, you know the type system is used sparingly.

signing up to a private messaging app with your phone number be like:

I'm excited to announce that this year I will be participating virtually (hey, it's the COVID-19 pandemic) at the Oregon Programming Languages Summer School! Here is a sweet welcome video by the lecturers: cs.uoregon.edu/research/summer

This year's topic is Foundations of Programming and Security.

cs.uoregon.edu/research/summer

My browser homepage is about:blank.

My new tab page is also about:blank.

⬜​ :blobreach:
A delicious blank void, full of potential.

As other misguidance when it comes to how long something will take you, VIM Tutor informed me it will me take me 20-30 minutes to go through the tutorial. To read a 970-line tutorial file alone without trying out to use Vim would take longer than that. The whole tutorial will likely take me a few hours in total instead.

Show thread

If you want to use the VIM Tutor to learn how to use VIM in GNU/Linux (Buster), you have to install both of these packages: vim-gui-common and vim-runtime. Having only vim-runtime installed will give you an empty buffer when you run 'vimtutor'.

Is it just Croatia or does it take 2-3 months in other countries too to get a workstation computer from local stores? I'm looking for something like an 8+ core CPU, 64 GB of RAM, two SSD discs with ~500 GB of space.

Perhaps it's going to be faster to order it online from abroad and have it shipped.

Blog: The Instagram ads Facebook won't show you -
signal.org/blog/the-instagram-

Signal cleverly revealed what data on you owns and then Facebook blocked Signal's ad account.

I'm quite happy how a combination of `Control.Monad.when` and `Polysemy.Error.note` allowed me to flatten the heavily nested code layout: framagit.org/mdimjasevic/conne

Worth noting is that there is no cheating like using partial functions; every possibility of failure is communicated via error types.

Stack Overflow watching your keystrokes: "Once we set up a system to react every time someone typed Command+C [...]"
~
stackoverflow.blog/2021/04/19/
I've disliked proprietary software, including proprietary JavaScript running on my machine in a web browser.

A tip for : if you want to open external web links from other applications in Firefox in a private browsing mode by default, open "about:config" in a Firefox tab and set to true the following option:

browser.privatebrowsing.autostart

« Exploiting vulnerabilities in #Cellebrite UFED and Physical Analyzer from an app's perspective » signal.org/blog/cellebrite-vul via @signalapp

I write about algebraic effects (in ) as a means to break down software into manageable units that can then be composed back: dimjasevic.net/marko/2021/04/0

I find the IO monad too powerful to work with.

Show older
La Quadrature du Net - Mastodon - Media Fédéré

Mamot.fr est une serveur Mastodon francophone, géré par La Quadrature du Net.