Dima Pasechnik @dimpase@functional.cafe
SU-AU-NL-DE-NL-SG-UK...
Proud citizen of nowhere (TM)
http://pasechnik.info
Joined Jan 2019
Dima Pasechnik
boosted
COVID19
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
Dima Pasechnik
boosted
Dima Pasechnik
boosted
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: https://en.wikipedia.org/wiki/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.
Dima Pasechnik
boosted
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++.
Dima Pasechnik
boosted
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.
@sir cause you're a dj irl?
https://www.youtube.com/watch?v=0JATrtV9Nyc
a bit of family cycling - weather getting cold..
https://www.strava.com/activities/4115841829/segments/2745003060191370590
Dima Pasechnik
boosted
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
Dima Pasechnik
boosted
The year is 2020, and most people still see no difference between existential and universal quantifier.
SU-AU-NL-DE-NL-SG-UK...
Proud citizen of nowhere (TM)
http://pasechnik.info
Joined Jan 2019
