arialdo

Dysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue

Public Key

npub1ssu2pmyzzwhkurvqv843hrfewtuz2heaua5vjayztapaaequcdwsurvuvu

NIP-05 Address

arialdo_at_mastodon.online@mostr.pub

Profile Code

nprofile1qqsggw9qajpp8tmwpkqxr6cm35uh97p9tu77w6xfwjp97s77uswvxhgqx4wg8

Author Public Key

npub1ssu2pmyzzwhkurvqv843hrfewtuz2heaua5vjayztapaaequcdwsurvuvu

Show more details

Last Notes

2024-09-08 07:05:00

The more I read about #rust and its type system features (type, newtype, traits, enum) the more I see that its good parts all come from #haskell.

2024-09-03 04:52:58

I'm trying to love #Rust. I swear, I'm trying so hard.
So far, it's being a miserable experience.
All the good parts seems to be borrowed from #Haskell. But mixed with a syntax that I find terrible, and a pervasive C-like style.
I swear, I'm doing my best to love it, but so far it's taking the love for programming away from me.

2024-08-12 20:11:49

- reply

@npub1j46…3gm7 the only observation is the use of “99%” to mean “many”. I will never understand why measures are used when they don’t correspond to real measures.

2024-08-12 20:10:01

Illuminating!
A UX designer walks into a Tesla Bar
https://jenson.org/tesla/ by @npub1j46…3gm7

2024-07-25 13:17:54

Very nice and honest read
Vimmer tries #Emacs
https://nates.fun/posts/vimmer-tries-emacs.html #vim

2024-06-15 07:29:43

Very well written!
“What #Emacs got right, or how I wish modern apps were more like a 50 year old text editor”
https://danielde.dev/blog/what-emacs-got-right

2024-06-13 16:22:12

Guide to #Markdown Mode for #Emacs
https://leanpub.com/markdown-mode/
Just stumbled upon a book by the very author of the package.
Could not resist from getting a copy on the spot.

2024-06-10 07:43:52

Haters gonna hate.
I've been heavily downvoted on Reddit for commenting that dynamically typed languages are not "untyped".
Haters gonna hate.

2024-05-31 09:21:26

- reply

@npub17lg…9uux Is it really enabled by default? How to check if it is enabled and running?

2024-05-05 05:18:06

- reply

@npub19y8…wxgj interesting
- how do you call Electric, Electronic Engineers?
- do you have a term for Developers?
- is the habit ofcalling developers “engineers “ confusing also for you?

2024-05-04 18:25:56

“Engineer” has become synonym of “Programmer”.
Just wonder how engineers should call themselves now.

2024-04-23 06:23:05

- reply

@npub12jq…hq6m Uh? What do you mean?

2024-04-23 05:55:15

#Mailchimp dumps #Firefox? Good reason to dump Mailchimp
https://files.mastodon.online/media_attachments/files/112/318/984/337/005/404/original/b85f6fb7c9c24cad.png

2023-08-17 09:01:39

TIL of a testing approach called Concolic Testing, in which "symbolic execution is used in conjunction with an automated theorem prover". Wow.
https://en.wikipedia.org/wiki/Concolic_testing

2023-08-06 09:44:53

- reply

@npub1hg2…k372 @npub18dw…hmfk @npub10aa…fzyl
Another opinion I would like to discuss is: with #lua, a mature, turing complete language, with a rich ecosystem, #neovim bet on being much more extensible and composable. It seems to me it is a direction similar to the one #Emacs took. To me, it's a very good news.
I just wonder if I'm the only one seeing this like that.

2023-08-06 09:33:41

Bram was by far the most prolific contributor to Vim (70x commits compared to 2nd prolific contributor).
https://github.com/vim/vim/graphs/contributors?from=2004-06-13&to=2023-08-05&type=c
With his departure, I wonder if this means the end of #Vim as we know it, with #Neovim taking over as the successor.
What do you think?

2023-06-15 13:15:05

Duplication is the root of all evil.
Or:
Every copy/paste is a lost opportunity for abstraction.

2023-06-09 07:10:55

With support of Protesilaos, I managed to have #Emacs working with #fsharp.
In the next weeks I'm trying to use Emacs as my main IDE. I'm very curious to see where this will take me.
I mean, using 2 of my most loved technologies together, so excited!

2023-05-08 22:32:24

Evil #Emacs users have now the change to be diabolical with Devil
https://github.com/susam/devil

2023-05-06 07:04:57

Protesilaos Stavrou: #Emacs: spontaneous live stream today (2023-05-06) at 11:30 Europe/Athens time
https://protesilaos.com/codelog/2023-05-06-live-stream-general-emacs/