project for today:
compile Idris 1.3.2 for Guix
use it to compile Idris 2 master
start writing some linear algebra in it to refresh my memory
walk doggo
clean room

ok, well, so far i can't say i.... like... Scheme....? but maybe I just don't like Guile

> a program that forces the laptop’s processor to calculate Pi to 2 million digits of accuracy.

that is a weird choice of words

since when do you have to "force" a CPU to do basic arithmetic?

my Lua take is that compared to similar languages (eg. JS) it has far fewer idiosyncrasies and is more flexible. and a lot of that flexibility is thanks to it being small enough to be comprehensible.

@ekaitz_zarraga just a pile of mess right now but the idea is to create (or find) a playlist description format that only stores metadata and then make things that find the songs based on that metadata
kind of an 8tracks/spotify replacement

"rubber dick debugging" is a very interesting typo to make

is that when you explain a problem to a dildo or is it when you try to fix one?

iptables vs ffmpeg, which one leads to the most arcane command invokations...

> People anthropomorphize computers in the same way, believing that computers are digital brains that somehow “choose” to do one thing or another based on the code they are fed. But learning a few things about how computers work, even at a rudimentary level, takes the homunculus out of the machine.
https://twobithistory.org/2019/03/31/bbc-micro.html

this is imho why I'm too fond of overly friendly UIs whose abstractions obscure what's going on. you should not assume that the computer can think for you.

#Guix 1.0 released!
https://gnu.org/software/guix/blog/2019/gnu-guix-1.0.0-released

#linux #gnu

https://web.mit.edu/~simsong/www/ugh.pdf

oh heccc this is goooood
I've just finished the foreword but I already love this book

#unix

me to whoever I'm talking to: have you accepted our lord and savior Lua into your scripting workflow?

@ekaitz_zarraga yup, same story here

> The code isn't ready for public release.

unless you forgot to delete the .env file with your credit card info from the repo, the code is ready

> but rain, you like Lua, VLC has Lua bindings

well!! imaginary person with that very bad take! i'll have you know that embedded scripting languages are no substitute for composable tools!!

i really hope #blender 2.8 will do away with the flat namespaces and introduce proper hierarchies

i'd like to nominate my new sorting algorithm for wider study and use

it's called "fuckit sort" and it deletes elements until the list is sorted

look pal if you didn't want you elements deleted, why didn't you give me a sorted list?

@ekaitz_zarraga nah, every time i use something that's not a lisp (ie.: pretty much always) i miss not having to deal with weird syntax limitations and rules

like, right now i'm writing a thing in C and wanna indent some nested expressions and realized that it would be much simpler with sexps

@ekaitz_zarraga his hair seems more... organized? mine is chaotic 24/7, this is taken a few hours after a full combing

not sure if and how that will affect whatever language i may or may not build :poender:

"Fighting the borrow checker" or as I like to call it:
The .clone() Wars

#rust

@deshipu @Shamar No.

http://journal.stuffwithstuff.com/2013/07/18/javascript-isnt-scheme/