Darmani

7 ms·

31.
by Darmani 5mo ago
(1) Oh sure, the syntax is easy. Getting it to borrow-check is somewhere between insane and impossible. As I said, I've had friends who are actual Rust experts give up trying. (2) No, it stems from a compiler limitation (imposed in lar
32.
by Darmani 5mo ago
I have heard this reaction from others before. One of the Rust expert friends I consulted with told me "I'm not convinced you're not trying to write Haskell-style code in Rust;" I told him the patterns I was struggling w
33.
by Darmani 5mo ago
Pretty surprising -- I had much the opposite experience. On our last product, we decided to start switching from Typescript to Rust on the backend because we got tired of crashes. I consider that to be one of the greatest technical mistakes
34.
by Darmani 6mo ago
I see where you're coming from. I totally agree that how easy it is for a company to change a codebase depends on the talent it has. But i think you can separate the entire codebase+ecosystem+team codebase from the quality of the code
35.
by Darmani 6mo ago
> Code evolvability is almost entirely subjective Explain how? Code evolvability is one of the extrinsic quality markers ( https://www.pathsensitive.com/2023/07/the-11-aspects-of-good... ). If it's easy to
36.
by Darmani 6mo ago
Fun fact: William Sleator's brother is the famous computer scientist Danny Sleator, inventor of the splay tree.
37.
by Darmani 6mo ago
Okay, I admit I went too hard on that one to fight against the OP. I too get extreme pleasure from condensing a 300-line function into 30 lines of simplicity, even when practical considerations (it has a clean interface and no-one's ev
38.
by Darmani 6mo ago
No-one comes out of the womb caring about code quality. People learn to care about the craft precisely because internal quality -- cohesion, modularity, robustness -- leads to external quality (correctness, speed, evolvability). People
39.
by Darmani 7mo ago
Thanks for the reply Oskar!
40.
by Darmani 7mo ago
Timely! I spent a good chunk of yesterday investigating Bombadil. I'm a huge fan of PBT and a huge fan of temporal logic (though not linear temporal logic) and we're currently trying to level up our QA, so it seemed like a good ma
41.
by Darmani 7mo ago
While the title sounds intriguing, I'd really like examples to explain what this is good for. The Github page has more information, but it's not helpful. "XML instead of JSON" -- okay, why? I thought the consensus was ge
42.
by Darmani 7mo ago
Reading the page, I'm left very confused what this is. Is it a new query language, or a new data format, or both? I think it's both. Am I expected to redo everything in this format? Like, get both my freeform planning notes about
43.
by Darmani 8mo ago
It's not in these notes, but you can do some super cool stuff with the linear algebra of polynomials. Using inner products, you can not only rederive linear regression, but also its polynomial generalizations, and even zany things like
44.
by Darmani 8mo ago
People tend to read articles because the author is able to share insights that would be much harder -- whether in skill, time, or energy -- to come up with themselves. But here you're asking to put the reader to put in more work than y
45.
by Darmani 8mo ago
Two paragraph article here -- there isn't information to distinguish this from the negative placebo (nocebo) effect.
46.
by Darmani 8mo ago
I think this could work well as a blog post. If you're not willing to read the code yourself, maybe you could at least go through the report yourself and point out issues it highlights, show the relevant code, and explain why that&#x2
47.
by Darmani 8mo ago
Sounds interesting. Can you share a link or videos?
48.
by Darmani 10mo ago
I can write a similar article that: most people problems are technical problems. This article hits on a pet peeve of mine. Many companies and individuals can benefit from better processes, communication skills, and training. And also people
49.
by Darmani 11mo ago
I had a quick skim of the link you gave -- it looks to be the same as it was 6 years ago when I experienced this issue. So basically: Generic function F is defined in file A, and has a method definition DEF in file B. File C imports files A
50.
by Darmani 11mo ago
So In Julia, the (+) function is commonly overloaded The [] is as well. For things that have no shared interface. (E.g.: Int64[1][1] contains two calls to the [] generic function, which have no interface in common.) Plenty of definitions of
51.
by Darmani 1y ago
I've worked in about 40 languages and have a Ph. D. in the subject. Every language has problems, some I like, some I'm not fond of There is only one language that I have an active hatred for, and that is Julia. Imagine you try to
52.
by Darmani 1y ago
Au contraire. DreamCoder is a stupendous work. https://dl.acm.org/doi/pdf/10.1145/3453483.3454080
53.
by Darmani 1y ago
I had been thinking about things along those lines. I might do that as a separate site. Perhaps with regular resets, and with something to keep 4chan out.
54.
by Darmani 1y ago
You're absolutely right. https://vibe-coded.lol/#broken-links
55.
by Darmani 1y ago
https://vibe-coded.lol/#about It was actually always there; you just missed it. Claude is so smart that it both predicted this comment and linked to it before you made it.
56.
by Darmani 1y ago
Claude made it. The prompt was Referencing https://news.ycombinator.com/item?id=45624294 , add a joke cookie banner. And that was it. Still happy to take credit.
57.
by Darmani 1y ago
Refresh the page.
58.
by Darmani 1y ago
You're absolutely right. https://vibe-coded.lol/#project-structure
59.
by Darmani 1y ago
Okay, added. https://vibe-coded.lol/#security
60.
by Darmani 1y ago
You can DM me: twitter.com/jimmykoppel Or just search around; my contact info is very easy to find.

More ›