codingquark @codingquark@mathstodon.xyz

Hmm, let me find right terms for this.

If you prove non-computability of something, do also prove its nonexistence?

Relax! Just do it!

(Hear the music?)

How well do the new Rust CLI tools play with pipes?

#rust #unix

Goyim philosopher Hushxnau said it best: 'Truth is good.'

If I want to microblog live life updates (kind of high traffic) which masto instance should I register with?

#mastohelp

We have been contacted today.

I would like to become a Systems Programmer. Preferably with hardware orientation. The world is fascinating!

I am torn between reading Constellation Games & watching steins;gate :(

I like "suffering" in cold. That way, I appreciate heaters way more TBH. Also help keeping resistance and strength of fighting up.

"They wrote as free men write."

Woo-hoo! tootsuite will now show a marker for unread toots ^_^

I just completed "Toboggan Trajectory" - Day 3 - Advent of Code 2020 #AdventOfCode https://adventofcode.com/2020/day/3

My cat is extra happy tonight.

I just completed "Password Philosophy" - Day 2 - Advent of Code 2020 #AdventOfCode https://adventofcode.com/2020/day/2

Here's the code: https://gitlab.com/codingquark/adventofcode2020/-/blob/master/day1/part1and2.scm

I just completed "Report Repair" - Day 1 - Advent of Code 2020 #AdventOfCode in #scheme https://adventofcode.com/2020/day/1

Hackers. Created an entire federated system of Mastodon etc just because Twitter etc changed into Not What We Want stuff! Awesome.