Dima Pasechnik @dimpase@functional.cafe

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

Yay

Kill your smartphone.

https://killyoursmartphone.com

#KillYourSmartphone

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
}

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++.

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

https://invidious.tube/watch?v=1vx8ukA3Vl0

At long last, a Lets Encrypt alternative (in that you get free certs via the ACME protocol): https://www.buypass.com/ssl/products/acme

Brilliant:
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.
https://twitter.com/page_eco/status/1309490061243604993 #Europe #Netherlands

--
Full-List of bots: https://joejoe.github.io/mastodon

https://news.ycombinator.com/item?id=24022865

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

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.

Jelly's blog – E-ink home display

https://vdwaa.nl/eink-home-display.html

Got a lot of hate for useplaintext.email 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

#DeleteFacebook

New book announced on "Programming Algorithms" in Lisp, under CC-BY-NC-ND license: http://lisp-univ-etc.blogspot.com/2019/07/programming-algorithms-book.html?m=1
#lisp #algorithms