robryk @robryk@qoto.org
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work on weird ML (we'll see how it goes), am somewhat literal minded and have approximate knowledge of random things. I like when statements have truth values, and when things can be described simply (which is not exactly the same as shortly) and yet have interesting properties.
I live in the largest city of Switzerland (and yet have cow and sheep pastures and a swimmable lake within a few hundred meters of my place :)). I speak Polish, English, German, and can understand simple Swiss German and French.
If in doubt, please err on the side of being direct with me. I very much appreciate when people tell me that I'm being inaccurate. I think that satisfying people's curiosity is the most important thing I could be doing (and usually enjoy doing it). I am normally terse in my writing and would appreciate requests to verbosify.
I appreciate it if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
I've reported a "your bug creation ACL is broken" bug (via some creative means) multiple times at work. :)
@delroth Where do people who work on it (e.g. add buildings) stand while doing so, so that they don't damage the model?
@tek Also, in a different way, transactions are not resistant to censorship by a sufficiently large fraction of mining pool/stake pool/set of nodes that do consensus. I suspect something along these lines is a necessary property in a system that doesn't treat any nodes specially.
Before looking at the photos I thought this was something along the lines of the Swift Rifle (https://www.youtube.com/watch?v=ZvCJoGyiqbw)...
@freemo What is baby talk? I thought it referred to the way people modify pronunciation (and continue to speak using standard grammar, obviously using rather simple words) when speaking to young children.
What's roughly the variance of energy expenditure depending on whether one is actively thinking or not?
Two other IMO important properties of this setup is that insurances are required to offer basically the same thing: they have some leeway in requiring one to jump through some hoops before visiting a doctor, but then there is no concept of a "network" of doctors, nor can insurances have any exclusions for preexisting conditions (I gather that post ObamaCare this is also true in the USA?).
/* either of you: please feel very free to tell me to butt out */
If you're thinking about a temporary situation, then covering accessible pieces of south side elevation with aluminum foil might be helpful.
Even if wet bulb temperature outside is high, it might still be lower than the temperature of e.g. the roof, so if water is available in large quantities one could try evaporating it off the roof.
I wonder if there's an easy and relatively quick way to increase heat capacity of a building (filling something with water? I can't think of a way to get enough volume that can be filled with water to make that reasonably effective).
How much does gas infrastructure depend on the power grid?
@vivtek @nickspacek @futurebird
Also: Is it enough for the compressor itself to reliably start (as in, not stall)?
@Dianora@octodon.social It has advantages though: it's easier to clean and the interface is liquidproof.
OT: I'm amused by the hashtag, because it has a completely different meaning in German (bathroom design).
Re testing: why isn't nix-shell strictly better?
Re lack of home-manager: well, you can always add your stuff to `environment.systemPackages`~~~
But what does falling for it consist of? The company can choose to act according to worse terms or not; they can't divine whether a given user has fallen for that and act differently in that case.
(I'm thinking of a difference in terms that allows the company to e.g. use user's data for something; perhaps I'm not seeing the kind of difference you meant?)
That sounds like an undesirable situation for the company though: regular users see only the terms that can be understood to be worse than the terms they could actually argue in court they are getting. So, the company gets loss of business due to user-unfriendly terms _and_ the user-unfriendliness is probably unenforceable. (IOW, isn't this unforced self-generated negative PR?)
> If it's not in the ToS, it's not binding.
I wouldn't be sure. The standard legal theory is that intent of the parties when entering the contract trumps its letter (e.g. if the letter of the contract contains a typo that changes its meaning, and it can be shown that both parties intended to enter a contract without that typo, the contract without the typo can be enforced). The blogpost can be very strong evidence of intent.
That said, arguing that in front of a court will be risky and costly, regardless of whether it's actually correct.
@freemo
A simple example I could easily find: https://doc.rust-lang.org/std/clone/trait.Clone.html
(That might not satisfy the "in action" part, but I guess is a reasonable pointer and I couldn't quickly come up with a better example; people don't write that much Rust in functional style.)
Rust traits (~interfaces) bypass this problem by having the ability to refer to the type that implements this interface in prototypes of required functions (so you can say that an interface requires e.g. a function `append_element` that returns the same type as the the type that implements this interface).
Naturally, that can only work in languages where you cannot inherit from anything other than interfaces. (It still works for interfaces inheriting from other interfaces, though.)
@_dm What is this a quote from (if it is one)?
Why would one ever want to use `nix-env` on NixOS? It causes a lot of confusion for new people when they realize that what needs updating is not only channels of their user, and channels of root, but also nix-env-installed packages. Even once you resolve that confusion, you are still stuck with one more independently updated thing that you need to update in sync (due to graphics drivers), so the promise of easy rollbacks is a bit further away (because one needs to roll back one more thing and remember to do that).
@foone That's actually done! I have a waterproof mp3 player that has exactly one connector: you can connect either headphones, or a USB cable there.
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work on weird ML (we'll see how it goes), am somewhat literal minded and have approximate knowledge of random things. I like when statements have truth values, and when things can be described simply (which is not exactly the same as shortly) and yet have interesting properties.
I live in the largest city of Switzerland (and yet have cow and sheep pastures and a swimmable lake within a few hundred meters of my place :)). I speak Polish, English, German, and can understand simple Swiss German and French.
If in doubt, please err on the side of being direct with me. I very much appreciate when people tell me that I'm being inaccurate. I think that satisfying people's curiosity is the most important thing I could be doing (and usually enjoy doing it). I am normally terse in my writing and would appreciate requests to verbosify.
I appreciate it if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
