aiono

7 ms·

1.
by aiono 4d ago
Because software is rarely done. Also you will likely to write newer programs with the same but improved language that doesn't have the warts in the earlier versions. Isn't it worth paying a small price for the improvement you get
2.
by aiono 2mo ago
First issue it makes killing people easier. We already see it in IDF soldiers feeling less guilty because in the end decision is made by AI-assisted targeting systems. Secondly it automates killing people. Now a soldier doesn't need to
3.
by aiono 5mo ago
Modern culture seems to encourage "hacking" more than cultivating self-discipline.
4.
by aiono 10mo ago
I think treating AI as the best possible field for everyone smart and capable is itself very narrow minded and short sighted. Some people just aren't interested in that field, what's so hard to accept it? World still needs experts
5.
by aiono 10mo ago
Or if everyone depends on another maybe we will not go into a war with each other.
6.
by aiono 11mo ago
> 1. If the code implementing the module API is private, it must all be colocated in one package. If it is public, then anyone can import it, breaking the module boundary. You need a visibility system that can say "this subtree of p
7.
by aiono 1y ago
A lot of criticism of Rust (not denying that there are also a lot useful criticisms of Rust out there) boils down to "it requires me to think/train in a different way than I used to, therefore it's hard" and goes on to h
8.
by aiono 1y ago
In practice yes, so when you try to execute the function that accepts `Void`, that will error out. But there is no reason to not compile it because it will never actually execute. This may sound unpractical but quite the contrary it's
9.
by aiono 1y ago
Void in Haskell is not the same thing as `void` in C, C++, Java or similar languages. If you return `Void` in Haskell, you will get a runtime error but `void` returning functions in C-like languages don't fail. It's not a type tha
10.
by aiono 1y ago
That's the point I tried to make. All my bachelor education there was no single mention of sum types even though we learned about the visitor pattern. Instead of having to model sum types with object hierarchies, the language should pr
11.
by aiono 1y ago
> With Monday’s announcement universal child care will be extended to every family in the state, regardless of income. This amounts to an average annual family savings of $12,000 per child.
12.
by aiono 1y ago
I think you conflate happiness and pleasure. Maintaining a family surely not always pleasant, but for the most people it makes you happier than being alone.
13.
by aiono 1y ago
Do you mean native compilation instead of bundling the jar with a JRE?
14.
Against Single-File Codebases(rugu.dev)
2 points by aiono 1y ago|2 comments
15.
by aiono 1y ago
This hits the nail for my sentiments about the matter. Good that someone who was actually in the business confirm it.
16.
by aiono 1y ago
I think solution is neither. Such apps are now as much as essential as schools, hospitals and public infrastructure. Hence governments should build them with tax money.
17.
by aiono 1y ago
I agree with the last paragraph about doing this yourself. Humans have tendency to take shortcuts while thinking. If you see something resembling what you expect for the end product you will be much less critical of it. The looks/aesth
18.
by aiono 1y ago
While I am AI skeptic especially for use cases like "writing fixes" I am happy to see this because it will be a great evidence whether it's really providing increase in productivity. And it's all out in the open.
19.
by aiono 1y ago
Looks really neat. But it also seems a bit heavyweight (for the client). Is it the case compared to https://readeck.org/en/ ?
20.
by aiono 1y ago
Siemens and Bosch are also not "large startups" because they aren't startups.
21.
by aiono 1y ago
The core problem is media being a for-profit organization. As long as the primary goal is profits it will be focused on extracting as much as attention as possible. It's an insignificant issue that it also ruins our attention, spreads
22.
by aiono 1y ago
> It's a real shame OpenAI didn't succeed with their core and most fundamental mission of being open and improving humanity as a whole You frame it like they sincerely had this mission at all. Which I doubt seriously. Why would
23.
by aiono 1y ago
> The first rule of network transparency is: the network is not transparent. That's precisely why current request model is painful.
24.
by aiono 1y ago
Very cool! This is exactly the topic I will probably be working in my Masters thesis. I am curious if you done anything about linearity and concurrency in the type system. Can one send files across threads for example?
25.
by aiono 1y ago
I am from Turkey and this really concerns me. If we don't protest this in the streets and fight back I am afraid we don't have any kind of law anymore.
26.
by aiono 2y ago
Software is complex and our memory is bottleneck to create software. We can only remember so many things therefore anything that we can make computer to "think" instead of us we have more memory to use for other work. In this case
27.
by aiono 2y ago
Can I pirate books to train myself?
28.
by aiono 2y ago
I like many aspects of Rust's error handling, but I think it still lacks the composability part. Its not straightforward to compose two functions that return different failure sets. One thing you can do is to merge enums for both funct
29.
by aiono 2y ago
In practice people catch runtime exceptions all the time so it's treated more as a recoverable error than a bug. Java let's you recover from runtime exceptions as easy as checked exceptions which blurs the distinction. > And if
30.
by aiono 2y ago
> I see parallels between the debate about typed vs. non-typed errors and the debate of static typing vs. dynamic typing in programming languages. Author of the post here. I also see this parallel in error handling discussions. But seems

More ›