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:

@lthms happened to me recenly, as I was trying to set-up a post-receive hook on a git server, for a push mirror (the mirror basically broke, the master repo suffered a bit of damage...)

re: lewd lyrics, retrocomputing 

@technomancy I programmed a bit on a Wang during my undergrad. No idea how my university in Moscow, USSR, got hold of this machine in 1980, in COCOM years.

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

@sir English "th" sound is perhaps even harder to master, by the way 😃

And in Russian there is a lovely "Ы" sound - half of English translators internet is totally clueless about how to pronounce it...

@sir It took me about 5 years to perfect Dutch (more precisely, Rotterdam dialect - in the South it gets much softer, and almost disappears in Maastricht) "g". It certainly helps that the weather is generally quite wet...

@sir @amiloradovsky functional programming is just common sense to me.

you can get me blocked - and spend your life debugging side effects of imperative sh*t :-)

@sir @amiloradovsky
@sir - do you know what tail recursion is?
I published few papers on computational complexity, in case you doubt I understand the complexity (and yes, I write code, too, a lot of ugly mostlyimperative code, unfortunately :-))

@amiloradovsky @sir Perhaps someone should mail you a copy of SICP book, just like they did to Guido van Rossum recently - he complained (sic!) about it on twitter...

@amiloradovsky @sir abstractions are your only friend in your fight with complexity. A good compiler can reduce the compexity of our abstractions a lot, e.g. tail recursion is a good example of this.

re: complaints, IT et al. 

@amiloradovsky Autotools are useful, although ugly and tricky to get right. Cmake is much worse, IMHO (unless you must generate project files for M$ VS :-( )
Disclaimer: I wrote thousands of lines of autoconf scripts in the past couple of years.

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.

Show more
Functional Café

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