aiono

9 ms·

61.
by aiono 2y ago
I am browsing from Europe and I don't get why I need to allow necessary cookies just to see the homepage.
62.
by aiono 2y ago
I find the ideas of Baudrillard really accurate in describing some parts of modern life, but to be honest I feel like he just saying random stuff when I tried to read one of his book. It's so metaphorical and abstract it's very di
63.
by aiono 2y ago
I am surprised that it didn't get any attention here. I have skimmed the paper, and it seems that they got 1.6x faster with Rust rewrite that is more or less the same code. Both versions are sequential code. And then changed Rust to be
64.
by aiono 2y ago
> And that's not really a knock on Lean - it seems to have some of the better documentation out of the alternatives. It looks scary but actually all those concepts are really simple and probably things you are already familiar with.
65.
by aiono 2y ago
When I was little I was doing this on carpet patterns because they suddenly become 3D. It was very fun. But I never realized it could be used for this purpose. There is also one other similar funny ability I have: Vibrating my eyes. I can w
66.
by aiono 2y ago
I doubt that although I agree that it's much more useful when cost of a failure is higher. For example I work in a lab that formalizes requirements and we have real customers that pay us for formalization because they find it useful. S
67.
by aiono 2y ago
> Get back to me when the formal methods actually generate high quality code that cannot deviate from the spec That would be useful but there is a fundamental issue: code is too specific. İn formal specification you usually don't sp
68.
by aiono 2y ago
Yeah I wasn't going to post it if it was shared before. But I am happy that some are happy that it's reposted.
69.
by aiono 2y ago
It's been a while since I worked on those systems, but you usually decide on some rules that you refine over time. So they are purely logical decisions that you can formalize. I don't see why it would be hard to specify. I don&#x2
70.
by aiono 2y ago
I think it's more formalisability than requiring upfront design. For example you may have an insurance claim automation system which you can't design upfront because most insurance providers have unspecified behaviour. But that do
71.
by aiono 2y ago
Thanks, I couldn't find it via Google search on this website for some reason.
72.
Formal Methods: Just Good Engineering Practice? (2024)(brooker.co.za)
211 points by aiono 2y ago|133 comments
73.
Are delayed issues harder to resolve?(link.springer.com)
2 points by aiono 2y ago|1 comments
74.
by aiono 2y ago
I found this article interesting because it shows empirical analysis against the commonly held belief that "errors are more costly the later it's discovered in the software development process" including myself.
75.
by aiono 2y ago
> variable renaming definitely conveys a semantic change I didn't say it doesn't. Renaming is a change and you see it but you don't need to see it in every place that refers to that variable. For them there is simply no se
76.
by aiono 2y ago
Plain Text diffing has some obvious drawbacks: 1. If you rearrange your functions you will see a lot of additions and deletions while semantically there is no change in the program. It's just noise. 2. If you rename a variable you don&
77.
by aiono 2y ago
Where is this data from?
78.
by aiono 2y ago
> Why do people think someone else should pay their medical bills? Health is something you can influence but that you don't have total control. I prefer the world where if I am the unfortunate person at least the society will help m
79.
by aiono 2y ago
Nix UX really sucks I agree with that. But it has a very robust core model and is reproducible from the bottom up. Tools like asdf, renv etc. just provide you some binaries. If you need some system libraries installed they don't help w
80.
by aiono 2y ago
I agree with that. But that can be attemped to be solved by wrapping Nix with a better UX instead of building something from scratch.
81.
by aiono 2y ago
Did you try https://devenv.sh/ ? It uses Nix under the hood but with an improved DX experience. I haven't used it myself personally since I find Nix good enough but I am curious if you would still choose mise over deven
82.
by aiono 2y ago
This is already a solved problem with Nix shell (except the task runner part). I don't understand why there are any other alternatives still being developed. Nix supports more packages than any other solution, it's battle tested a
83.
by aiono 2y ago
I don't know what's the point of the post is. Safe unions require compiler work? Sure who objects to that?
84.
by aiono 2y ago
I don't think this is a good idea. Because zero value changes when you reorder the fields.
85.
by aiono 2y ago
Meaning of union and enum changes based on which programming language terminology you use. Enum of Rust is tagged union of C with compiler support. Enum in C is just basic enum of Rust without any fields. The list goes on like this.
86.
by aiono 2y ago
I checked the code. The code validates that values are within the range https://github.com/rusiaaman/color-parser-py/blob/ec739c80ba... but the library it wraps already does validation and a lot more checks (
87.
by aiono 2y ago
Can you link to the source where they state that they want to be profitable in 2029? I am curious.
88.
by aiono 2y ago
> Usually, those functions and parameters should have been there. There is a huge leap here. What is your argument for it?
89.
by aiono 2y ago
But this way you don't track what you handled in type level it's only available in runtime. So you are back to untracked errors.
90.
by aiono 2y ago
enum program_state { X_W, Y_X_W, Z, W, Z_W, Z_X_W, } You only have these 6 options. And in this case you can easily use a SAT solver to generate the cases for you so that you don't have to write them b

More ›