gnramires

11 ms·

31.
by gnramires 1y ago
It's an interesting idea, I've never tried it. It could also be a simple VM running a given OS (with reduced need for hardware support), or an application running interpreted code with the environment UI. Generally the idea is to
32.
by gnramires 1y ago
I also think this kind of idea can be fun speculation, but I think there are better things to have fun that aren't promoting wrong ideas (like literal Science Fiction speculation!). When we can build fun on top, the physics of our real
33.
by gnramires 1y ago
I think we shouldn't[1] be making Operating Systems, per se, but something like Operating Environments. An Operating Environment (OE) would be a new interface, maybe shell and APIs to access file systems, devices, libraries and such --
34.
by gnramires 1y ago
Nice! I wonder if there are studies of Turing completeness for those systems?
35.
by gnramires 1y ago
I didn't get to read it in its entirety. I personally think we can view logic(s) as tools. I think in a way Bayesian/probabilistic/fuzzy logics (and extensions) are more useful or appropriate in a greater setting than binary
36.
by gnramires 1y ago
> The reason it gets reinvented all the time is because while it's often quite straight forward in statically compiled languages it isn't for dynamic languages as finding out what actually is unused is hard (for fine grained co
37.
by gnramires 2y ago
The way I see it: (1) There is kind of a definition of a chair. But it's very long. Like, extremely long, and includes maybe even millions to billions of logical expressions, assuming your definition might need to use visual or geometr
38.
by gnramires 2y ago
> But this is a violation of Hume's Guillotine. You cannot derive "ought" statements from "is" statements. There is only one reality, and science can tell us how it is, but science cannot tell us how it ought to
39.
by gnramires 2y ago
It should be noted: Rand's definition of objectivism doesn't exactly match what you expect from the common sense usage of the word. I think Objectivism fails because at least in part it doesn't establish solid enough foundati
40.
by gnramires 2y ago
You also need to encode the painted areas somehow. They are not only intersections on K shapes, but sometimes exclusions as well (like (A^B)/C). Two ways come to mind: (1) Listing closed curves by vertices. Each vertex of a painted are
41.
by gnramires 2y ago
I've repeatedly made the case for something similar. But I don't think the argument should be "Taking care of yourself, in any case, yields better outcome, even for others, than prioritizing the common good. So the fundamenta
42.
by gnramires 2y ago
I think it's a valid viewpoint (I'm not sure I'd go as far as claiming it is the secret to happiness), but have other interpretations. I think the examples can be cases of "checkbox-ticking", and not considering e
43.
by gnramires 2y ago
Nice! As someone who has never used an espresso machine, I was a bit intimidated by the presentation. I think part of your show should be to teach, even if in a simplified fashion, how to use the machine, so any customer is less intimidated
44.
by gnramires 2y ago
> Restoring some kind of sane not-hyper-polarized political discourse I don't think it's just a systems problem. Sure, systems can help, but education is even more important. Recognizing it's terrible is valuable too (I ho
45.
by gnramires 2y ago
Very touching ;) In buddhism (I'm not a specialist by any means), I think awareness and consciousness is a central concept too. "The light of awareness", "awakening" is seen as holy. I really think that awareness is
46.
by gnramires 2y ago
An undo button would be nice :) (for when I need to backtrack)
47.
by gnramires 2y ago
I really think there are quite a few reforms and new ideas that could help Unixes. Also it's not only about introducing features/new ways, but also the right culture and instruction around the new ways. For example, the Android(&#
48.
by gnramires 2y ago
I've been thinking there should actually be more useful (or at least more interesting? :P) crowd computing stuff. How about something like Superoptimizing (with correctness proofs) open source code?
49.
by gnramires 2y ago
Those 'slat awnings' look like a really good idea! (Less maintenance, air flow, letting a little bit of sunlight through)
50.
by gnramires 2y ago
I am no specialist, but carbon credits seem like they can work to me. The problem is they need to be very carefully analyzed. Here in Brazil there have been cases of people illegally seizing protected forests (far off in Amazon regions) and
51.
by gnramires 2y ago
Yes, but in any case the data is already public, or at least most of it is. I think if we truly desire for privacy of posts then the SWF/Fediverse should be looking at a different access model, and maybe some encryption methods (for ex
52.
by gnramires 2y ago
I don't see why right to be forgotten is fundamentally incompatible with Fediverse (or other social web 4.0, idk the name)? For example, there could be a central server where you publish some credentials along with a request to be forg
53.
by gnramires 2y ago
Perhaps he was observing the layer making sure it had integrity? Oil layers famously have an optical effect (iridescence from interference of reflections). This effect would transition as the layer goes from >= 1 molecule thick to <=
54.
by gnramires 2y ago
We don't need a very strong world government to meet our challenges, I think, including climate change and AI. We can do it with agreements and accords. (I also don't think a world government might be as dystopic as people imply o
55.
by gnramires 2y ago
Having N paddles would be cool as well, perhaps with a cost for paddles getting too close (to avoid trivialities), and optimizing which note each paddle represents/beats, maybe imposing a cost on drastic pitch changes so that each spec
56.
by gnramires 2y ago
I don't know if I would want to live in a digital world without knowing what I'm signing up for. But I know that, today, some games are really captivating, and make me glad of them existing (although I don't want and don&#x27
57.
by gnramires 2y ago
I use Void Linux, and find it reasonably simple :) (the reason I like the distro essentially) Nothing against complex things, if that's your thing though. (usually complex things are made to be 'easier'/more convenient t
58.
by gnramires 2y ago
There are many indigenous tribes in Brazil for example (still surviving in more or less pre-colonial territory). I'm very far from a specialist (and specialists do exist), but I know there are many different attitudes. Some tribes have
59.
by gnramires 2y ago
Debian has 2/3 stages of software deployment that I know of: Unstable, Testing and Stable. By the time it comes to stable it has been quite extensively tested. The exceptions are only security updates which you may want to get very qui
60.
by gnramires 2y ago
Something like spaceflight is subject to chaotic forces and unpredictable interactions, so having that many digits (more than 15 decimal) becomes negligible. (For example, a planetary force will probably vary by that much in ways models don

More ›