Viewing profile — cinnamonheart

One of my favourite quotes on the topic of abstraction comes from Dijkstra, too. > The purpose of abstraction is not to be vague, but to create a new semantic level in which one ca…

Scala has a very wide surface area, and it can be as simple or complex as you want it to be. Written in a certain way, it's that different from writing Python 3 with PEP-484 type a…

This is really neat! Have you considered an ML-like module system, with functors and such? I'd be curious if they could be connected with Erlang's processes somehow :)

Cannabis, although I find it's easy to accidentally dive deep on something I didn't mean to on it -- I find combining it with coffee prevents me from getting too focused on one thi…

GHC was released in 1992 and has a large amount of language options it supports (over 100 now, I think) https://downloads.haskell.org/~ghc/latest/docs/html/users_gu... I don't thin…

Basic HTML Gmail hasn't changed in years and works perfectly fine for all of my needs for gmail: reading and sending emails. I find the current UI to be quite unusable, but at leas…

I think you can just do brew install vim -- --with-override-system-vi --with-python3 To get a vim with python 3 on mac os. You are correct that it defaults to python 2, though.

Anecdote: I recently purchased a laptop which came preinstalled with Windows 10. After trying 6 different Linux distributions -- Ubuntu, Fedora, Mint, Manjaro, Suse, MX Linux -- an…

It's nice to see the work from Type Systems as Macros (also Stephen Chang of NU) continued! Thanks for sharing. http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf

As a long time fan of Gentoo, I felt very at home on FreeBSD, and quite liked how everything in it worked. I remember my frustration was more around software and hardware issues. I…

I emailed RMS during the fiasco a couple months back, in support of him. RMS has always been an inspiration to me, and I've always had a lot of respect for him -- a hero to me, if …

Have you heard of Unison? If not, it may interest you -- it stores code in a syntax tree rather than as text directly. https://www.unisonweb.org/ >Unison is a language in which pro…

I'm seeing a database error, but there's a similar site with 2020 predictions (and onwards): https://futuretimeline.net/21stcentury/2020-2029.htm Most of the 'predictions' have lin…

It depends on the audience and goals for your language. If your language is intended to be a playground for new ideas, like a new type system or semantic model, you may only be con…

>Also, more tangential, but this comment section might attract people who know the answer: any good resources for getting started on type systems more generally? I like Philip Wadl…

We had constant issues with our fridge water dispenser using 'Samsung' water filters bought on Amazon. Out of desperation, I just bought a cheap off-brand one, hoping if it was at …

I worked for Leapforce for a while doing this sort of rating work using Google's guidelines. The guidelines were linked elsewhere in this thread and, at a glance, they are the same…

I do this sometimes, and it still ignores the quoted words in favour of giving me whatever results they want. I'm not sure when it was changed to no longer require quoted words in …

Idris: data EndsWith : Type where EndsWithPeriod : (s: String) -> { auto prf : ("." `Strings.isSuffixOf` s = True) } -> EndsWith s : EndsWith s = EndsWithPeriod "." -- Value of typ…

The logic of bubble sort is so simple that just the description is enough for an implementation. It's a common interview question for the same reason Fizzbuzz is used -- any progra…

Among others, Haskell has bottom, unsafeCoerce, unsafePerformIO, and Data.Dynamic. Even in the dependently typed Agda, you have postulates and pragmas like NON_TERMINATING and NO_P…

> I wouldn't recommend trying to modify DOM elements via CSS or extensions if you can avoid it. You're going to run into some broken web experiences. If I'm resorting to extensions…

RMS made his office his residence for many years, and slept in it. The mattress made sense as it was his home. It was not there for untoward reasons as people seem to be implying.

This attack on Richard Stallman feels much like a witch hunt to me; he's being vilified, and what he's actually said and done is being buried under a bunch of mass hysteria. It's s…

Racket does allow usage of brackets and parentheses interchangeably, as far as I know: > [define [plus i j] [+ i j]] > [plus 1 2] 3