deterministic

14 ms·

151.
by deterministic 4mo ago
> that has revolutionized several areas of computer science That is quite a claim. I will argue that Categorical Databases most definitely haven't. Any areas where it is true?
152.
by deterministic 4mo ago
Typescript is brilliant and should be carefully studied by anybody introducing a type system to a single typed ("untyped") language.
153.
by deterministic 4mo ago
All good points. I have sent a link to this page to the author of the language (Panzerschrek).
154.
by deterministic 4mo ago
I added your language link to HN and there is a lot of interest: https://news.ycombinator.com/item?id=48391838
155.
The Ü Programming Language(github.com)
63 points by deterministic 4mo ago|72 comments
156.
by deterministic 4mo ago
IMHO science, technology, and economics has a much greater impact on history over the long term than any one individual. An obvious example is the invention of the steam engine.
157.
by deterministic 4mo ago
If I understand it correctly, more advanced logics (based around state transitions) doesn't have this problem (TLA+ etc.)
158.
by deterministic 4mo ago
"The whipping will continue until morale improves"
159.
by deterministic 4mo ago
It would be nice to see a "new" language that actually does something truly new and valuable. Almost all "new" languages presented on HN are basically slightly different flavours of languages that have been around for a
160.
by deterministic 4mo ago
The same thing happens because of tools like the Unity/Unreal engine. Lots of low quality barely-more-than-a-demo "games" uploaded to steam. However those games rightly fail to make any decent $ so probably not a problem long
161.
by deterministic 4mo ago
> Non-technical middle managers who have not written a line of code in their lives, now feel that the biggest obstacle between them and greatness has lifted. Or it will turn out we no longer need middle managers because of AI. Side note:
162.
by deterministic 4mo ago
Not my experience at all (30+ years of getting paid to deliver software). Thinking hard (and discussing with experienced colleagues) before writing any code can dramatically speed up your overall delivery time and completely remove whole cl
163.
by deterministic 4mo ago
It doesn't even look like a Ferrari. I am 99.999% sure it will fail.
164.
by deterministic 4mo ago
OK fair enough. That wasn't my intention at all but I can see how it might be interpreted that way. My comment was more a meta comment on the trap a lot of open source developers fall into thinking that the world will fairly reward the
165.
by deterministic 4mo ago
Why is it shocking? It is a well documented fact that people very rarely donate $ to open source project they use daily. And if they do it is typically a very low amount. What is shocking to me is that people give away their work for free a
166.
by deterministic 4mo ago
If down voting please leave an argument why.
167.
by deterministic 4mo ago
OK so let me get this: 1. You chose to give your work away for free. 2. You are complaining that you haven't made money from your work. Is that a fair interpretation of your argument?
168.
by deterministic 4mo ago
If you are being interview by somebody from "HR" and not your potential future boss then it is a massive red flag.
169.
by deterministic 4mo ago
I can't believe that anybody would give an LLM access to production. Always always always assume that your LLM will destroy your production if given the possibility. In other words, always assume the gun is loaded.
170.
by deterministic 4mo ago
You completely missed the point of the article. It's the equivalent of compiling C++ to a Turing machine. Not practical, not optimum, but freaking amazing. Maybe think about it as an art project.
171.
by deterministic 4mo ago
You will most definitely end up in a bad situation if your life is 100% about work. So don't fall into that trap! While working, focus on creating a life outside of work and stop defining yourself as a job title. You are not your work!
172.
by deterministic 4mo ago
I have literally never seen a case where adding category theory improved what the author was trying to explain. If anything, it usually does the opposite.
173.
by deterministic 4mo ago
If you are interested in this I highly recommend studying SeL4. A practical industrial proven correct micro kernel used by billions of devices worldwide.
174.
by deterministic 4mo ago
> there could be something interesting about this I thought so too, spend a bit of time getting deeply into it, and then realised that nope it really isn't that interesting if all you care about is writing good software. There are p
175.
by deterministic 4mo ago
You almost always want your own IR that you can use for high level optimisations and then transform it into the LLVM IR. LLVM at the IR level has no understanding of the semantics of your language and therefore can't do the kind of opt
176.
by deterministic 4mo ago
I use AI heavily. But my #1 productivity tool is still a custom code generator I wrote 15+ years ago. It routinely generates about 90% of the code needed to write a biz application. So using AI to write productivity tools is a great way to
177.
by deterministic 4mo ago
Millions of people risk their lives to move to Europe and Australia.
178.
by deterministic 4mo ago
I always laugh when some inexperienced developer, or an academic who has never built software for real customers, claims that “performance doesn’t matter.” I spend a significant amount of time improving performance for our paying customers
179.
by deterministic 4mo ago
In my experience, a lot of developers (senior or not) are really bad at (1) thinking clearly and (2) communicating clearly. Which is reflected in the software they write. If your thinking is messy, your code will be messy too.
180.
by deterministic 4mo ago
My experience: Don't ever discuss maintenance or technical dept with non-developers (managers etc.) Instead, simply be a professional and fix what is needed, while working on non-developer visible tasks. Don't allow people with

More ›