Oh well. I might be to picky here, but how I see things, determinism cannot be improved or worsened, but achieved or not achieved. Or Partially archieved, when analyzing a system that has both components that are deterministic or non deterministic.
There are times to think in absolutes, and when talking about deterministic behavior of technical systems, this is one of them. Join the sith side, we have cookies, and when we say we have cookies, we do.
Seems like a great opportunity to pitch my (optimistic) vision for the relationship between humans and digital media:
- Assume that we cannot trust anything we see on a screen (or listen on a speaker), *based on how real it looks to us*. I am convinced that perception of realness will not be a usefull heuristic for authenthicity anymore. For voice, we are already there as I see it, with images and videos, this is not far off anymore.
- That means that we should be fundamentally sceptic of digital media, until proven otherwise by other mechanisms
- One such mechanism is: Good, old trust between humans. I know you, you know me, we both are really confident that we are truthfull to each other. (You can also through cryptography into the mix to benefit from that trust more independently from time and space, for example by signing an email or a commit).
=> (Hopefull conclusion:) This might lead to us leaving our lives in a more human way again: Trust needs relationships, and relationships need time spent together and nurture.
=> Two nice sideeffects: A) Many methods of blackmail might cease to exist due to plausibly deniability, since many forms of evidence are digital and could therefore be fake
B) Propaganda by means of digital media might become less effective, too
Oh wow, instant bookmark for my research folder! I build a hardware simulator, and when I focus on setups with multiple GPUs, this will be a valuable resource.
Love the information density, prose and visual style, thanks for the article!
Great tutorial, really enjoyed it! Personally, I think languages that can check very much at compile time in combinations with LLMs have a bright future ahead. Additionally, if one wanted to give Haskell a try, Lean4 might be a good language to check out before, as it is more modern and ticks many of the same boxes (Still has some unique features, and the communities quite a lot).
Small feedback:
- Great flow, explaination, motivation and so on! :)
- Typo: "conext" at the bottom
- If you want to keyword-hack a bit, you could introduce a paragraph or too about the role the relationship of Lean4 with LLMs/AI ;)
This is my first side project I make public, so I am a bit nervous! :D
If you have any feedback regarding:
- privacy first of all (since I feel most unsecure in this area)
- UX/UI
- concepts / pedagogy ideas
- errors/bugs
- anything else...
... please let me know!
Thank you for your time, and happy hacking!(/infering, if you are so inclined) :)
Dan