arialdo

arialdo, 8 days ago to emacs

#emacs as your next #fsharp IDE

https://arialdomartini.github.io/emacs-fsharp

arialdo, 25 days ago to firefox

#Mailchimp dumps #Firefox? Good reason to dump Mailchimp

arialdo, 1 month ago to random

How would you write a test to verify that the function

shuffleList xs

returns the list xs with shuffled items?
Even more generally, how to write tests of functions having to do with randomicity?

arialdo, 1 month ago to random

I love this definition by Eugunia Cheng:

“Pedantry is precision that does not increase clarity“

freemo, 1 month ago to random

Just a reminder... no matter how much you listen or try to genuinely understand them.. this is almost always the outcome when you discuss things with a leftist... Either you agree with them, or they get offended, make personal attacks, and walk.

Every interaction I have with the left leaves me wanting to have less to do with them than the time before, and this is sad since I associate more with left ideals in many cases than right ones.
QT: https://mastodon.social/@libramoon/112124166185113057

arialdo, 2 months ago to random

Just published: Boolean Blindness

https://arialdomartini.github.io/boolean-blindness

"A Prolog programmer is delivering a baby.
The mother asks, “Is it a boy or a girl?”
and the Prolog programmer says: “Yes”."

arialdo, 2 months ago to random

One of the funniest algorithms I stumbled upon. Genius as much as Sleep Sort

https://www.timwarriner.com/carddata/

arialdo, 2 months ago to vim

Now that NeoVim, with Lua, made Vim an extendible platform for applications, what the main reasons why one should prefer #Vim over #Emacs?

Honest and genuine question.

arialdo, 2 months ago to random

I'm surely pedantic, but I think that technical articles should have links that make it clear which source they target.

For example:

BAD
As you can read [here] and [here]

BETTER BUT STILL NOT IDEAL
As you can read about [monads] and [burritos].

BETTER
As you can read in [John Doe's Monads Tutorial] and [Making burritos by Mark Foo]

arialdo, 4 months ago to haskell

f = foldr (flip (const . (+1))) 0

#haskell

arialdo, 4 months ago to haskell

It seems Void is not that uninhabited, after all...

f :: Void -> String
f _ = "WAT??"

f undefined

#haskell

arialdo, 5 months ago to random

Please, don't use medium.com to publish your articles. Please.

arialdo, 6 months ago to rust

I'm playing with #Rust.
So far, I'm more disappointed than excited.

I find it schizophrenic.

It aspires to be a high level language like #Haskell, with traits, immutability, HOF, all the things you expect from a modern language.

All brilliant.

But then, its low-level, system language nature - borrowing, ownership, move, stack, heap, scopes, Box, dyn, size of variables - get in the way, no matter the level of abstraction you are operating, and on top of a C-style oldish syntax.

Nope.

arialdo, 6 months ago to mechanicalkeyboards

#MechanicalKeyboard Vendors search engine. Very well done! #keyboard

https://kbd.news/vendors

fraying, 6 months ago to random

The Andressen manifesto is the gift that keeps giving because it inspires writing like this.

"The techno-optimist tribe gives off the distinct impression of people who have been so ridiculously rich for so long that they’ve just completely lost the plot about how the real world works. To be fair, this is an apt description of most of Silicon Valley."

https://gizmodo.com/marc-andreessen-is-wrong-about-everything-1850934367

arialdo, 7 months ago to random

Never understood how companies continue calling their people "resources" and think this can be appreciated.

arialdo, 7 months ago to random

Current status: writing my first post about monads.

I promised myself to keep it super short. I guess I failed: I'm on Part 5 already.

arialdo, 8 months ago to haskell

In which other languages the function parameter types are specified separately from the function implementation, like in #Haskell!

foo :: String -> String -> Int
foo a b = …

codinghorror, 8 months ago to random

The Olivia Jaimes reboot of Nancy: proof that, despite much evidence to the contrary, life should continue to exist.

devinprater, 8 months ago to emacs

Now this is pretty cool!

Whenever you set the Region, whether with C-SPC (‍set-mark-command‍) or a mouse selection, or implicitly with textual
object mark commands (like M-h (‍mark-paragraph‍)), the Mark’s current location is pushed onto the Mark Ring. The Mark is
also set for you automatically at places where you’ve done “significant” things, like changing text, moving a long way
away in one big jump (there being many ways to do this), the spot where you issued a search command, and the like, and
these locations also go onto the Mark Ring.

Thus a breadcrumb trail of Marks is left for you to find your way back, Theseus-like, to where you’ve been, and provides
a quick way to get back to these previous locations. The way to jump back to the previous Mark location is to give C-SPC
(‍set-mark-command‍) an argument, so C-u C-SPC. It also rotates the Mark Ring, so that a repeated, uninterrupted sequence
of C-u C-SPC commands will take you back in time through your previous Mark locations. The Mark Ring is a circular
structure, so when you hit the end, you’ll circle round to the most recent Mark location again. You’ll notice the
analogies to the operation of the Kill Ring.

https://www2.lib.uchicago.edu/keith/tcl-course/emacs-tutorial.html

#emacs #using-emacs

lexi_lambda, 9 months ago to random

how have I had this account for literally two hours and posted nothing and already have 22 of you following me. what the hell is wrong with you guys

arialdo, 1 year ago to random

I'm finding again working in #fsharp.

F# is a pure joy.

Again, I miss a better support from the IDE, but folks, the language is such a delight... I did not even realize it's 2 A.M.