Show more

RT @anthonypjshaw
The Zen of Python says "Errors should never pass silently.". Here is a solution for that problem.

I've been using my mathematical perspective to design free and open source sound synthesis and sequencing modules for VCV rack: library.vcvrack.com/?brand=Zet

I wrote a bit of a rant about because I appreciate it.

It's not profound or whatever, just an "I really think this program is cool" post!

muto.ca/b/18-Screen.html

My free online text on differential equations and linear algebra is almost done: d.umn.edu/~mhampton/ODELA/

Why did I just have to add "ok" to my browser's dictionary like it's not 2020

14 hours in an enclosed room with no ventilation and over 1,000 voters

I wore two masks and a face shield and sanitized everything every 15-20 minutes, but I'd bet good money that I caught the 'rona no matter what

Hi, is this Russia? Yes, put YandexBot on the phone.

Hey, listen pal, the rel="nofollow" attribute on links means "don't fucking follow those links". Got it? Okay, thanks!

playing with elm-lang to (perhaps) set up some course material for Intro to Computer Graphics course I'm assigned to teach. Yesterday I learned what a div() is (no, I'm clueless about JS). Learning to draw lines today...

RE: Is a billion-dollar worth of server lying on the ground? 

cerebralab.com/Is_a_billion-do

Re-posting an old fedi post of mine:

So, SourceHut is not hosted in anyone’s cloud. I own all of the hardware outright and colocate most of it in a local datacenter.

I just built a new server for git.sr.ht, and boy is she a beaut. It cost me about $5.5K as a one-time upfront cost, and now I just pay for power, bandwidth, and space, which runs about $650/mo for all of my servers (10+).

Ran back of the napkin numbers with AWS’s price estimator for a server of equivalent specs, and without even considering bandwidth usage it’d cost me almost TEN GRAND PER MONTH to host JUST that server alone on AWS.

AWS is how techbro startups pile up and BURN their investor money.

RE: Is a billion-dollar worth of server lying on the ground? 

@sir

AWS: throwing money at the problem as a service

@MutoShack We're so busy shaving yaks that we don't have time to shave ourselves!

" saves you lots of time!"

Bro Unix users can't even find the time to shave.

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

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@toot.cafe 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: en.wikipedia.org/wiki/ChiWrite

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

invidious.tube/watch?v=1vx8ukA

Show more
Functional Café

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