zvmaz

8 ms·

91.
by zvmaz 3y ago
I can't imagine running another OS other than Linux on my personal machine. You get a sense of control and privacy you won't get from the main other OSes.
92.
by zvmaz 3y ago
I could not stand the first part of the movie Dune. I'm sorry for the fans, but it was amongst the worst movies I have ever (partially) watched. Slow and incomprehensible for me. P.S. I have not read the book.
93.
by zvmaz 3y ago
I understand. One time I wanted to understand what linux CGroups are, this is what I read in the official linux manual: > Control Groups provide a mechanism for aggregating/partitioning sets of tasks, and all their future children,
94.
by zvmaz 3y ago
I haven't read enough xkcd comics to say anything interesting about them, but would you agree that some man pages are hard to parse and don't necessarily help?
95.
by zvmaz 3y ago
> Give me twice as many soldered ports in the same space and I won't have to fiddle around with (let alone buy) a bunch of these adapters. Solution: connect them, leave them connected, don't touch them, and you won't have
96.
by zvmaz 3y ago
"I don't want to remember nothing, nothing, you understand?!" [1] [1] https://www.youtube.com/watch?v=OLv6ycYcpGI
97.
by zvmaz 3y ago
Does it mean that a formally verified piece of software like seL4 can still fail because of a potential "bug" in the hardware?
98.
Our Founder Ate Chicken in 40 Years (and No Animals Died)(speciesunite.com)
2 points by zvmaz 3y ago|0 comments
99.
by zvmaz 3y ago
I don't pretend to have a deep understanding of inner workings of LLMs, but this is a "great" illustration that LLMs are not "truth models" but "statistical models".
100.
by zvmaz 3y ago
> Of course, it really depends on whether you can actually back this up! And in this case Val does, quite clearly. Yes indeed; and reading the article, she does not sound that arrogant: "Many networking experts think they know when
101.
by zvmaz 3y ago
> So you think you understand IP fragmentation? Titles like these sound unnecessarily arrogant to me and are off-putting.
102.
by zvmaz 3y ago
None of which the author of the blog post says, implied, or can be implied from.
103.
by zvmaz 3y ago
> I can’t help but look at it and see immense complexity, because I see behind the simple and intuitive userland, and that makes me run for vim and some nice bare metal where I know what my hardware is doing. But is it humanly possible
104.
by zvmaz 3y ago
Whenever I have to buy a microwave oven, I always choose the ones with the simplest user interface possible: Two knobs, one for the timer, one for the intensity. They have served my parents and myself well.
105.
by zvmaz 3y ago
Yes, I've heard of those. What I wanted to write is "widely used" even at the user level (GUI programs, web applications, etc.). You prompted me to read more about seL4; the white paper is nice [1]. [1] https://sel
106.
by zvmaz 3y ago
> Why does someone need to be able to print a tooltip in the sign in dialog? It’s absurd. I doubt that it was intentional. Although careful deploying systems, I have often a feeling that we must have forgotten something that is triviall
107.
Iris Keyboard Compact Edition(blog.keeb.io)
2 points by zvmaz 3y ago|2 comments
108.
by zvmaz 3y ago
> Am I crazy to think any sort of talented Eng could re-engineer whatever tf this piece of software is in a few weeks or months? Identify Reminds me of people who know little of the field of computing and the efforts involved and think t
109.
by zvmaz 3y ago
I mean it. Both books are free, and PLAI has an interactive tutorial on the language used in the book called SMoL [1] done by one of Shriram's students. The tutorial is not a passive one by any means; it forces you to think and highl
110.
by zvmaz 3y ago
The author is a post-doc advised by Shriram Krishnamurthi [1], the author of Programming Languages: Application and Interpretation (PLAI), and one of the authors of Data-Centric Introduction to Computing (DCIC). I am currently reading both
111.
by zvmaz 3y ago
"I would have more trust in a demonstrably hackable car than in one that is not."
112.
by zvmaz 3y ago
> I don't absolutely, fully buy into OpenBSD is "very secure". Some of its mitigations are good but many do feel a bit arbitrary. Can you explain how "some mitigations feel arbitrary"? A specific example for us
113.
by zvmaz 3y ago
Are you able to switch back and forth between staggered and columnar?
114.
by zvmaz 3y ago
So what do you use Kanata for if you don't mind the question?
115.
by zvmaz 3y ago
I use a Keychron Q11, a split row staggered keyboard. On the laptop, I use Kmonad on linux with home row mods but I think I will switch to Kanata because it seems more compatible with Windows (work OS). I have been using home row mods for
116.
by zvmaz 3y ago
We haven't seen what AGI would look like, yet. If I understood correctly, what we have are statistical language models. I am far from knowledgeable in this domain, so I defer to Chomsky et al. here [1]. [1] https://web.archi
117.
by zvmaz 3y ago
It maybe be irrational, but the absolute arrogance of the author is off-putting and makes me reluctant to use any of his creations (which may be great I don't deny). I may have developed a heuristic that tells me to be very suspicious
118.
by zvmaz 3y ago
You are reading too much into my comment, as others have done. "Curiosity" (note "curiosity", not science) does not go back to Newton, Bacon, Galileo. It's a stupid and shortsighted statement by the author. No need
119.
by zvmaz 3y ago
I remember at the start of the pandemic a tweet by a famous biologist and philosopher about masks and the spread of the disease. He stated confidently that "there is no evidence" that masks slow down the transmission of the virus
120.
by zvmaz 3y ago
> [...] most of the really great discoveries which had ultimately proved to be beneficial to mankind had been made by men and women who were driven not by the desire to be useful but merely the desire to satisfy their curiosity. > &qu

More ›