ochoa

Do you write anywhere online about your workflow setup using AppleScript? It sounds interesting. I’d like to configure my macOS experience more.

Hacklang also has something like type guards called type refinement [0].

I'm still kinda new to the idea of using conditional branches to inform static type checkers but it sounds like it's an idea that has been thought about in some depth [1][2][3] (i.e. doesn't sound like it was jimmy-rigged to match common JS patterns).

I personally love type refinement. Hacklang's type refinement was the first time it clicked that statically typed languages could _actually help_ you write code instead of get in the way.

[0] https://docs.hhvm.com/hack/types/type-refinement

[1] https://sites.cs.ucsb.edu/~benh/research/papers/kashyap13typ...

[2] Type refinements (page 23) https://drops.dagstuhl.de/opus/volltexte/2018/9219/pdf/LIPIc...

[3] Occurrence Typing (section 8.5) http://soft.vub.ac.be/Publications/2019/vub-soft-phd-19-02.p...

Off topic: what did you use to create your terminal gif's?

Dumb question: why doesn't the value being a number tell us it's suppose to be a number?

This might be part of the problem

http://duckduckgo.com/?q=duck+duck+go+says+it%27s+getting+sh...

https://www.google.com/#q=duck+duck+go+says+its+getting+shut...

Being able to zoom in on the track's waveform would be nice too.

Having algorithms that learn is nothing new. Steamrollers (neural networks, genetic algorithms, etc.) have been learning from their mistakes for a long time. I think chubot (http://news.ycombinator.com/item?id=2217740) explained best the problem Chomsky seems to have with Watson.