init1

5 ms·

1.
by init1 25d ago
Repos are owned by an owner. The owner has full control of the repo but it's not like you are being forced to use the Repo. Nobody comes to your house and forces you at gunpoint to delete your forks or forces you not to use alternative
2.
by init1 26d ago
One of the worst articles of all time. AI companies buy old books that would be rotting on a shelf with nobody reading them. They are required by law to destroy the book as part of the scanning process. This book was not being read anyway a
3.
by init1 1mo ago
Ada Spark is better. Embedding proofs into the code that prove absence of runtime errors lets the bot know what your actual intent is and gives it an iterable target that is actually correct.
4.
by init1 5mo ago
I've read it and I agree private properties on classes satisfy the requirement. It does allow you to hide implementation details and I was unaware it was added; though with anything JavaScript you can usually find a way around it. Howe
5.
by init1 5mo ago
See my comment here for an example: https://news.ycombinator.com/item?id=47810686
6.
by init1 5mo ago
> The article claims only Ada has true separation of implementation vs specification (the interface), but as far as I am able to reason, also e.g. JavaScript is perfectly able to define "private" elements (not exported by an ES
7.
by init1 5mo ago
As far as I can tell you cannot create your own bounded Integer/Floating point types in any of the ML languages. That's one example of one of the core Ada type features. Most people have never experienced a type system like Ada an
8.
by init1 5mo ago
In my opinion it has both complicated and terrible syntax that it inherited and extended from c++ and complicated semantics.
9.
by init1 5mo ago
It is not that I cannot remember the symbols - I don't want to; I want the language to plainly explain itself to me. Furthermore every language has it's own set of unique symbols. For new readers to a language you first have to fa
10.
by init1 5mo ago
Verbosity is a feature not a bug. Programming is a human activity and thus should use human language and avoid encoded forms that require decoding to understand. The use of abbreviations should be avoided as it obsfucates the meaning and pu
11.
by init1 8mo ago
Git is an OSS project and is not owned even slightly by Microsoft. Github the website however is. You don't need to replace git.
12.
by init1 10mo ago
I found a project ClippyJS: https://github.com/pi0/clippyjs That adds clippy and all the other agents to a webpage. There is a PR on the repo that adds an example that hooks clippy up to a local ollama agent: https:&#
13.
by init1 10mo ago
What useless drivel. If you already have property rights then you have the right to own and operate computers. The main thrust of the law is directly self contradictory. "Government actions that restrict the ability to privately own or
14.
by init1 11mo ago
Big agree. Overly terse and symbolic languages feel very cryptic and ugly to me as well.
15.
by init1 1y ago
You're in luck. Try Ada (it's great BTW)
16.
by init1 1y ago
You can generate bindings using a gcc -c -fdump-ada-spec <header.h>. They typically work well enough without needing additional tweaks but If it's more involved you can ask Claude to make a shell script that generates bindings fo
17.
by init1 1y ago
What exactly is a "type-related disadvantage"? As far as I'm aware, Ada has a much more expressive type system and not by a hair. By miles. Being able to define custom bounds checked ordinals, being able to index arrays with
18.
by init1 1y ago
I've never come across any range restricting constructions in C++ projects in the wild before. It truly is a shame, I think it's something more programmers should be aware of and use. Eliminating all bounds checking and passing th
19.
by init1 1y ago
Instead of just thinking about the proof in your mind or putting it in comments you can actually embed pre/post conditions and compile time proofs in actual code using ADA SPARK. You use Pre and Post aspects for subprograms and pragma
20.
by init1 1y ago
All these years and Ada is still the undisputed and unmatched master of type safety.
21.
by init1 2y ago
I wanted to look at the code in more detail and it looks like the author didn't link it anywhere. Luckily it wasn't difficult to find: https://github.com/AdaDoom3/Neo.SIMD Looks like the author pulled it from