hofstee's comments

On: How to see bright, vivid images in your mind’s eye...

[hofstee]

You’re practically describing Kim Jung Gi: https://youtu.be/MGbvhyTZXfs

[HellDunkel → hofstee]

Yes, its called a photographic memory and only very few people have it. It cannot be trained.

On: Ray-Ban Meta Smart Glasses

[hofstee]

They are talking about an art project from students at a dutch university and are misinformed. https://youtu.be/D1Thmz61sho

[iammjm → hofstee]

That’s a very uncharitable interpretation of what I wrote. Here is more information on what I actually meant: https://amp.cnn.com/cnn/style/article/protest-design-future-...

On: Stable Audio: Fast Timing-Conditioned Latent Audio...

[hofstee]

https://github.com/google/deepdream

On: The AST Typing Problem

[hofstee]

  data Exp = Num Int
           | Bool Bool
           | Var Var
           | If Exp Exp Exp
           | Lambda Var Exp
           | App Exp Exp

An Expression is either:

- a Number literal, with an Integer value

- a Boolean literal, with a Boolean value

- a Variable declaration, with some identifier

- an If expression (probably), with a condition, taken, and not-taken Expressions

- a Lambda, which substitutes a Variable into an Expression

- an Apply, which is how we chain Expressions and apply the results of one expression onto the next

  data Type = TyInt | TyBool | TyArrow Type Type

Our Types are TypeInt, TypeBool, or a Function (TyArrow) which goes from an input Type to an output Type

On: I Replaced My MacBook Pro with a Raspberry Pi 4 8G...

[hofstee]

I can't even get WiFi working on my Pi 4. I can only resolve IPv6, anything IPv4 fails. I suspect it's a router issue but I have no control over that, so I simply can't use the Pi.

On: Linux Productivity Tools (2019) [pdf]

[hofstee]

Other useful tools include mosh or EternalTerminal to handle either low bandwidth or spotty network when you need to remote into a server, as well as VNC for when you need a GUI on the server but X-forwarding is too slow.

On: Not everyone has an internal monologue

[hofstee]

I don't have images but I can easily play back a song in my head so I think I have sound.

On: When your data doesn’t fit in memory: the basic te...

[hofstee]

If you're streaming in a language like Python, its IO will be doing some degree of chunking behind the scenes. It might be beneficial to do more manually.

On: Developer Preview – EC2 Instances with Programmabl...

[hofstee]

http://www.clash-lang.org/

On: Hack the Kernel – Learn about operating systems on...

[hofstee]

Actually you can find similar versions here. http://csapp.cs.cmu.edu/3e/labs.html