divan

30 ms·

391.
by divan 3y ago
https://divan.dev Top posts: - Rethinking Visual Programming with Go - https://divan.dev/posts/visual_programming_go - Visualizing Concurrency in Go - https://divan.dev/posts/go_concurr
392.
by divan 3y ago
One of the most amazing comments I've seen on HN. Thank you for sharing this!
393.
by divan 3y ago
Shameless plug – I wrote a post with my experiences with EdgeDB last year. It's a bit outdated already, EdgeDB 3.0 launch is happening next week, but I can only add good things to the post so far. My experience with EdgeDB (Jul 26, 202
394.
by divan 3y ago
FancyQL, which he mentions, is, of course, EdgeQL – an insanely good query language of EdgeDB. The truth is EdgeQL is so good that you never want to go back to SQL ever after. It's even a bit depressing when you realize how much time h
395.
by divan 3y ago
https://www.youtube.com/watch?v=VKLGyYXvs6I
396.
by divan 3y ago
I recently tried it on Quest 2 headset. Quite playable in VR!
397.
by divan 3y ago
> you can stare at the mailbox all day but you probably don't want to Yet, it's up to me to decide, not to the mailbox.
398.
by divan 3y ago
That's only if you marked function with "async". Developer who writes code for "eating a donut" supposedly has better knowledge of how I'm supposed to eat it - synchonously or asynchronously. So if they didn&#x
399.
by divan 3y ago
Hmm, is it a post-factum rationalization or it's the original logic behind async/await? Let's mark "heavy" functions with a label, so user has to call them differently not to overload the system? Even if this is an
400.
by divan 3y ago
Can anyone help to orient in the current VR/AR/XR programming landscape in a light of this announcement? My goal is just to learn programming in VR/AR for myself. Assuming this is gonna be a leading XR platform in the coming
401.
by divan 3y ago
> want it or not that's a different implementation, Implementation is the same. In both cases it's the same set of CPU instructions, but async/await languages create artifical division, forcing developer to think othervise
402.
by divan 3y ago
Doesn't matter. You either wait until donut is eaten by others or you don't. Caller is deciding if it's "synchronous" (blocking) action or not. The question is how you translate mental models from real world to the
403.
by divan 3y ago
Doesn't matter, donut was just an abstraction. s/eat a donut/make a network request/ Is "network request" a synchronous or asynchronous activity? It depends whether your code blocks and wait's until respon
404.
by divan 3y ago
It's crazy that the programming community even accepted the concept of async/await as a sane one. Being sync or async is essentially a property of the attention of the caller, not of the action itself. Is "eating a donut&quot
405.
by divan 3y ago
So many promising ideas for Dart 4.0 to adopt :)
406.
by divan 3y ago
> but it should be a priority for everyone It's not black and white, though. There are a lot of people who accept that some levels of sacrificing privacy is an acceptable price for security (i.e. street cameras that allow police to
407.
by divan 3y ago
Great work, thank you for sharing!
408.
by divan 3y ago
Right, but I can come up with an infinite number of examples. Take javelin throw – the essential skill is, well, throwing a javelin. There are many things that can theoretically be measured – distance, height, speed, jiggling, precision, th
409.
by divan 3y ago
Yeah, that's kinda expected. But what I'm more worried about in sports is when metrics(rules) become engrained in that sports culture and start shaping the sport itself. Like, if an athletics high-jump champion has to jump over a
410.
by divan 3y ago
Right. Do you have any good recommendations to read on this matter? Here are a couple of good papers on how metrics distort systems and what can be done to mitigate this. [1] [2]. And then a new post by Cedric Chin on practical examples of
411.
by divan 3y ago
Sports is one of the most fascinating and underexplored examples of Goodhart's law (collapsing correlation between the metric and a goal). One of the most widely known examples of this is a London 2012 badminton scandal, when tournamen
412.
by divan 3y ago
Perhaps my analogy with studing at the party was not perfect. The point was that your friends are here and now, not that someone is making noises and having fun. You're right from the structural/organizational perspective. If you
413.
by divan 3y ago
The problem is that internet is both a library and a public place. You need library for information and for work, and internet delivers here better than anything else - almost any information is available instantly. But unlike library with
414.
by divan 3y ago
How about "cognitive superoptimizer" – find the optimal version of the code for human comprehension? First try - get every permutation, feed to some stable code-oriented LLM, ask to explain code and measure number of words.
415.
by divan 3y ago
factually incorrect / nonsensical output
416.
by divan 3y ago
This will still hallucinate, right? Projects like this for using with your documents datasets are invaluable, but everything I've tried so far is hallucinating, so not practical. What's the state of the art of the LLM without hall
417.
by divan 3y ago
Sorry if my comment did sound dismissive of the idea of No Screens Cafe. It's kinda opposite. I'm doing my own "no screens cafe" regularly. Just today, I left my phone and iPad at home, grabbed some snacks and water, an
418.
by divan 3y ago
> E-book readers are screens, sorry. You’re welcome to read a regular book. We have whole shelves of them. I switched to e-books 12+ years ago, and I can't read regular books anymore. First, I need to find really good light (like di
419.
by divan 3y ago
Why stop at two? Susan Rigetti suggests four times! [1] I've never tried that but I fully agree with her :) and just quietly dream about regaining my focus for reading so I could reread books 4 times. Quote to save people from falling
420.
by divan 3y ago
I used FitXR througout this winter. Fantastic experience, I just wish I had a dedicated room for sweat-inducing activities. I especially liked HIIT training, where you hit glowing spheres and glass that appear in the air. Level and quality

More ›