skydhash

24 ms·

571.
by skydhash 4mo ago
> All software developed by people suffers from this issue. And that’s pretty much where you are wrong. Take any long running open source project and you can see the craftsmanship that goes into it. It may not be perfect, but hacks are c
572.
by skydhash 4mo ago
> The point is, if road engineers changed their process and materials, They do those in labs, and then studies are made to prove that it can replace the current composition. They do not invent those on the spot and let the drivers QA the
573.
by skydhash 4mo ago
> I see constant scepticism and doubt that LLMs can build anything useful, and whenever provided with examples, the goalposts just move. > I see people telling us that they cannot write decent production code, and this is just wrong.
574.
by skydhash 4mo ago
The thing is that a lot of code rely on multiple layers of abstractions with their own correctness and failure states. And then you overlay the domain correctness and failure cases on top of that. But all of those correctness are imaginary.
575.
by skydhash 4mo ago
I’ve seen this pattern again and again, and I don’t bother replying. There’s also the “strong statement, and when you contradict it, they point out some particular circumstances that no one cares about”.
576.
by skydhash 4mo ago
Then redesign the architecture. No need to go for a full rewrite as it can be done progressively. One thing I’ve seen is that people can be afraid to delete code, even if it’s not used anywhere.
577.
by skydhash 4mo ago
> You will never get the chance of "customers requesting changes" if you never ship. Why does good code imply never shipping? Managers and Developers have different thresholds for “good enough to release”. The former are not th
578.
by skydhash 4mo ago
I’ve never seen code that is unimportant. It’s either being used or not. If it’s boilerplate, it can be abstracted away. There are domains that are riskier than others (debug logging vs crypto for auth), but sometimes bugs in a somewhat saf
579.
by skydhash 4mo ago
It’s not about pristine software. Customers expect something that works. But changes will then be requested and the expectation is that the software will continue working. It’s hard to do that with janky code. If you have a good architectur
580.
by skydhash 4mo ago
You can prototype UX with a tools like balsamiq or taking photos of paper sketches with paper-to-app application. No need for code to share an idea. Especially from business to engineering or vice-versa. Product Managers coding is like Deve
581.
by skydhash 4mo ago
Programming is for humans first. Cleanness and code quality is judged according to that.
582.
by skydhash 4mo ago
I’ve cleaned up after outsourced code and it has a different flavor to AI rockstar code. In the former, you can see that the developer only care about the current ticket. After every merge, it’s a flurry of bug fixes, because they always br
583.
by skydhash 4mo ago
For every query and commands. I don’t use a DE, so pretty much everything is cli based. I use xterm and it’s bound to mod4+Return for me.
584.
by skydhash 4mo ago
> I want to know how my now very distant old friends (ie from high school) and relatives are doing YMMV, but I got all of these through words of mouth (and WhatsApp status updates). I think it’s ok to be estranged from a friend or a rela
585.
by skydhash 4mo ago
Most of my time these days is learning about domains, not technical skills. I keep programming books around for references, but the books I read most are books that go deep into some domain, either technical like operating systems or networ
586.
by skydhash 4mo ago
As someone that was raised in a small town, the feed was very shallow compared to my actual interactions with friends. It was great for status updates (especially for friends in foreign countries), but messenger was way more popular than th
587.
by skydhash 4mo ago
I got into soccer late (watching it, as I was playing it all the time as kid). The best aspect is that it can be incredibly hard to score and a goal requires good team coordination and individual skills, which must be better than those of t
588.
by skydhash 4mo ago
It’s all about contracts. It’s fine to define assumptions and build software on top of those. It’s also fine to break those and adjust the software. The trap is trying to steer towards a universal solution (Yagni is the cure there) or tryin
589.
by skydhash 4mo ago
That’s why most people that says LLM doesn’t work. It’s not that it can’t produce a good output once in a while, it’s that you can’t guarantee it. Or reduce the risks of a bad output. It’s a chaotic element and the cost of being alert enoug
590.
by skydhash 4mo ago
Does it need to be the same OS? Most consumer device are in the low 16GB range for memory with some outliers in the 64 and 128 GB. 32 cores are still in the realm of specialized devices. Yes, we’re not the one paying for Linux development,
591.
by skydhash 4mo ago
I’m using Emacs and various cli tools and while threads are nice to have, they can easily ramp up the complexity of a program beyond what is necessary. I much prefer the boilerplate of setting up a thread pool and tasks queue, rather than d
592.
by skydhash 4mo ago
I quite like the idea. I’m using OpenBSD on an oldish laptop, and fork-exec is expensive enough that it conflicts with the usb subsystem. Isochronous transfers have a 1ms realtime requirement and it seem that the fork-exec system calls hold
593.
by skydhash 4mo ago
In terms of content, there’s not much pros. But we are physical creatures and the physicality of a book can be an (pleasurable?) experience in itself.
594.
by skydhash 4mo ago
They do, but a physical book has a presence that digital books lack. Like weight, cover material, print quality. I can learn from digital books fine and read novels on an ereader. But a physical book anchor your memory like no other.
595.
by skydhash 4mo ago
Correctness is based on axioms and rules. You need to define your axioms and rules first before you can determine correctness. If you’re talking about matrix multiplication, I can use mathematical rules and axioms and proves formally that t
596.
by skydhash 4mo ago
That’s because it does not encode words or keywords or anything like that. It encodes their relationships. A formal language like a programming language are pretty compact. There’s not much variation between the C-like languages. Just like
597.
by skydhash 4mo ago
It’s not unknown because that’s what the model computes. It’s matrix multiplication just like shaders.
598.
by skydhash 4mo ago
Childhood only lasts 13 to 15 years where I am. By the time you’re in high school, you can be expected to be responsible in some matters. By 22 you have 7 years of experience in making decisions for yourself.
599.
by skydhash 4mo ago
I had to learn maths early (not chinese or asian) and also a bunch of scary stories to make me behave. I would have been glad to learn about fairies.
600.
by skydhash 5mo ago
Why does linear regression works? Why does computer works? Because it's about math and the encoding information. If we can encode words as numbers, then why can't we encode their order as a relation? It's just that neural net

More ›