My experience of the pandemic so far:
- first five months in full remote work: no problem at all
- a month of partial office work: results are in, I'm infected


It's now possible to write real code in KAP. I've implemented the 2D pretty-printer in KAP itself, and the main code that implemented the formatting is 4 lines of code (compared to at least 100 in Kotlin).

I think @snowyfox wanted to see what the final code looks like (well, this is the compressed version, the real one has comments).

Here's example output from the formatter:

output:prettyPrint 2 2 ⍴ 1 12 123 (2 2 ⍴ ⍳4)
┃ 1 12┃
┃123 ┏━━━┓┃
┃ ┃0 1┃┃
┃ ┃2 3┃┃
┃ ┗━━━┛┃

And here is the code that does the formatting:

∇ wrapBox (v) {
w ← (⍴v)[1]
{((⊂"┏") , (w ⍴ ⊂"━") , ⊂"┓"),[0]⍵,[0](⊂"┗") , (w ⍴ ⊂"━") , ⊂"┛"} (⊂"┃") , v , ⊂"┃"

∇ render2d (v) {
w ← ((⍴v) ⍴ ⌈/[0] {(⍴⍵)[1]}¨v) {((↑⍴⍵) (⍺-(⍴⍵)[1]) ⍴ (⊂" ")),⍵}¨ v
wrapBox ⊃ ,[0]/ {⍺,(⊂" "),⍵}/ (⍉ (⍴w) ⍴ ⌈/[1] {↑⍴⍵}¨w) {⍵ ,[0] ((⍺-↑⍴⍵) ((⍴⍵)[1])) ⍴ (⊂" ")}¨w

ability to use unicode in TeX is addictive. I don't know whether I'll be able to write \mu as opposed to μ ever again.

Or perhaps it's a ChiWriter deja vu feeling that is so attractive - yes, my 1st maths paper was written in ChiWriter:

I've programmed in C++ at professional capacity at some point of time, so I feel entitled to voice this opinion:

You may cut an infinite number of very sane programming languages from C++ standard, but slapped together they make a horrid mashup of non-orthogonal features which get in a way of each other.

If I had to guess it is because when they were before a choice: solve the problem with contemporary technique A) or B) they always chose both. Add C heritage and voila C++.

lewd lyrics, retrocomputing 

catching up on Freezepop songs and I can't help but figure there's a lot of people on fedi who would get a kick out of their song "Do you like my Wang™" which is ostensibly about someone showing off their Wang Laboratories microcomputer to their admiring crush

At long last, a Lets Encrypt alternative (in that you get free certs via the ACME protocol):

When the euro bank notes were designed, they used European-style bridges which were *non-existing*, not to have to choose between countries.

The Dutch town of Spijkenisse claimed them all for the Netherlands by building them on a waterway. #Europe #Netherlands

Full-List of bots:

The year is 2020, and most people still see no difference between existential and universal quantifier.

git config --global alias.oops 'reset --hard HEAD^'

git oops

Oh god, I'm tempted to take my friend up on the idea of a 200km #cycle on Saturday! He wants to set a new record.

Got a lot of hate for and it was kind of bringing me down

Then I reviewed 20 patches in aerc and remembered how cash money plaintext code reviews are

This shit is great, plaintext 5ever, fuck the haters yo

Oh yes, the heatwave still to arrive tomorrow, with +28, and to cool down to +22 Monday :)

Show thread

sometimes it pays off to go so far North as Tallinn in summer - air temperature 24 degrees Celsius, sea water 23, sunny, we picked raspberries and blueberries in the pine forest on the way to the beach :)

spent about 10 hours preparing a job application... duh

Show more
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!