aiono

8 ms·

91.
by aiono 2y ago
What is the alternative? And is it really better than encoding into the data type? Only option I can think of is writing unit tests for each case, which doesn't seem like too much different. And without type encoding you never sure tha
92.
by aiono 2y ago
In this example, is it really the case that all 20 are dependent into each other so you have to combine all of them into a single enum? For the ones that are independent you can keep them as booleans and you should.
93.
by aiono 2y ago
Simple, your compiler/type checker/static analyzer/whatever needs to ensure that any value that is not unused gives an error. But you need some sort of static analysis for that. Without type checking you don't do that of
94.
by aiono 2y ago
For "Errors as values", I agree 100% that it's better then special values or untracked exceptions but I also think that current programming languages lack the features that allow encoding errors as values conveniently. Firstl
95.
by aiono 2y ago
Most of the online services I use can't kill me if they have a bug.
96.
by aiono 2y ago
If you want alias tracking and lifetime checking, yes they are backwards incompatible. They need "viral annotations" if we speak with the C++ committee terminology.
97.
by aiono 2y ago
You frame it like "Rust advocates" try to infiltrate into C++ language decision making and inject safety features into it. That's not the case at all. For years C++ committee simply ignored the need for safety and they didn&#
98.
Algebraic Blindness(github.com)
2 points by aiono 2y ago|1 comments
99.
by aiono 2y ago
Unfortunately the post is just a markdown file in GitHub but I found it worth to read despite the presentation.
100.
by aiono 2y ago
I doubt it would be seen as scandal. They can simply generate training data for these questions just like how they generate for other problems. Only difference is probably pay rate is much higher for this kind training data than most other
101.
A Missing IDE Feature(matklad.github.io)
47 points by aiono 2y ago|52 comments
102.
by aiono 2y ago
For that "AI" this level of investment was not necessary though. What I mean is about companies that develops LLMs for general problem solving. They require huge investment yet their value yield is still very low.
103.
by aiono 2y ago
https://nix.dev/ is pretty good for getting started these days.
104.
by aiono 2y ago
Good to see this. Bitwarden is one of the few companies that I actually like. And even them can dissappoint when profitability requires it seems.
105.
by aiono 2y ago
AI companies are desperately trying to find actual use cases but it seems like there is not that much to justify current investment.
106.
Pinning Nixpkgs Without Channels(blog.aiono.dev)
2 points by aiono 2y ago|0 comments
107.
by aiono 2y ago
A lot of gambling practices are not allowed at least for young people. I agree that exploiting psychology is a gray area because it's hard to draw the line between ethical and unethical. But it's agreed that many practices are ill
108.
by aiono 2y ago
Regarding the attention economy, I believe many practices utilized in today's social media will become crimes in the future due to how they exploit our behavioral structures. I consider myself lucky because I have experienced the times
109.
by aiono 2y ago
So it means that throwing data and computing into LLMs won't make them intelligent as opposed many people claiming that will happen. Also they don't play well with the situations that are not in the dataset since they are just ext
110.
by aiono 2y ago
Looks nice, but what advantage it has over Obsidian or Zettlr? Maybe Obsidian is more expensive but Zettlr is free and also FOSS.
111.
by aiono 2y ago
I chose the second option and I am really happy for it. I already had a server for my Nextcloud instance and adding one more Nginx reverse proxy to it was essentially free. I didn't even use a framework and chose to just use libraries
112.
by aiono 2y ago
Do you really want people who have a lot of power to have serious flaws? Looking back into history it doesn't end up good usually.