imiric

42 ms·

541.
by imiric 1y ago
Coincidentally, I recently stumbled upon a similar library for Go[1]. I haven't used it, or property-based testing, but I can see how it could be useful. [1]: https://github.com/flyingmutant/rapid
542.
by imiric 1y ago
Heh, my sympathies. Have you tried mise[1]? The last thing you probably want is to add another abstraction on top of this mess, but I've had good experiences with it, and it manages Rust, Go, Python, etc. environments very well. IME ge
543.
by imiric 1y ago
This looks very nice! Is there a non-interactive CLI as well? I currently use `bluetoothctl` with a wrapper script and `expect` so that I can quickly fire off `bluetooth.sh <device name substring>`, and it does the tedium of ensuring
544.
by imiric 1y ago
> the real value of Pro is the inspector Ah, yes, a debugging tool. Only professionals need those.
545.
by imiric 1y ago
> And then my next windmill that I'm looking at is variable-sized text in the terminal. So when I'm catting a markdown file, I want to see the headings big. Is this something people actually want? One of the reasons I enjoy usi
546.
by imiric 1y ago
This[1] is an up-to-date fork with sixel support, and a few other patches. IMO it's unfair to compare barebones `st` with fully-featured terminals. The entire point of `st` is for users to apply their own patches to it, which does make
547.
by imiric 1y ago
I mean, sure—in a perfect world bugs would be caught by tests before they're even deployed to production. But few of us have the privilege of working on such codebases, and with people who have that kind of discipline and quality stand
548.
by imiric 1y ago
Well, you're right that reviewing someone else's work isn't new, but interacting with these tools is vastly different from communicating with a coworker. A competent human engineer won't delude you with claims not based
549.
by imiric 1y ago
Exactly. A typical programmer works within unfamiliar domains all the time. It's not just about being familiar with the programming language or tooling. Every project potentially has new challenges you haven't faced before, new AP
550.
by imiric 1y ago
"The Mother of All Demos" was a showcase of an early generation of technology that existed and had a practical purpose. There was never a question if and how the technology would improve. It was only a matter of time and solid eng
551.
by imiric 1y ago
On the one hand, I agree with this. The chat UI is very slow and inefficient. But on the other, given what I know about these tools and how error-prone they are, I simply refuse to give them access to my system, to run commands, or do any a
552.
by imiric 1y ago
> By throwing things over the wall to the AI first, you learn what it can do at the same time as you learn how to structure your requests. Unfortunately, it doesn't quite work out that way. Yes, you will get better at using these to
553.
by imiric 1y ago
> People are free to make their own browser if they want. Some peple are doing that[1]. It's not a matter of desire, but of the amount of effort and resources required to build and maintain the insanity of the modern web stack. &g
554.
by imiric 1y ago
So, instead of a giant corporation with all the resources in the world stepping in and maintaining a core web library, they're deciding to remove a feature because the lone maintainer who has been doing a thankless job for years has de
555.
by imiric 1y ago
Wow, I couldn't disagree more. XSLT is no more "baggage" than HTML itself. Removing it in no way "moves the web forward". And integrating technologies part of the current hype cycle, which very well may disappear in
556.
by imiric 1y ago
How is that different from an Apple device, and, increasingly, one running Windows or Android? The trend is towards locked down devices where a corporation decides what you're allowed to do with it, using excuses like piracy, safety, s
557.
by imiric 1y ago
... Or as I've recently taken to calling it, GNU plus Linux.
558.
by imiric 1y ago
It's hard to take seriously anyone who unironically says "there are two kinds of people". That, and the judgmental humblebrag tone leads me to believe the author is young. I suggest they focus more on learning than writing th
559.
by imiric 1y ago
Right, but I hoped it would work as a standalone Qt app. Yeah, I've used xwinwrap before, but am lost on Wayland. I'll look into windowtolayer, thanks. I'd rather not have to write this myself...
560.
by imiric 1y ago
Ah, sweet! Do you know if this supports any DE (or no DE)? Or is it strictly for KDE Plasma?
561.
by imiric 1y ago
Nice! I won't use this since screensavers are much more interesting when not limited to characters, but this is a neat project. Screensavers are a lost art. I still enjoy them, but at some point we just gave up on them. In the era of C
562.
by imiric 1y ago
> It's not an either-we-ban-guns-or-we-help-mentally-ill-people. Por qué no los dos? Because it's irrational to apply a blanket ban on anything . From drugs, to guns, to foods and beverages, to technology. As history has taugh
563.
by imiric 1y ago
But that's not the issue. The issue is that a kid is talking to a machine without supervision in the first place, and presumably taking advice from it. The main questions are: where are the guardians of this child? What is the family s
564.
by imiric 1y ago
I agree with your concerns, but I think you're overestimating the value of a human intervening in these scenarios. A human can also say the wrong things to push someone in a certain direction. A psychologist, or anyone else for that ma
565.
by imiric 1y ago
For better or worse, this type of writing (and coding, and ...) is here to stay. We can dismiss it on the basis of "slop", but that would be throwing out the baby with the bath water. The reality is that pretty much everyone will
566.
by imiric 1y ago
> But can I comprehend the bigger picture? Can I understand why? Isn't the actual meat buried under piles of non-abstraction? The way you approach this in Go (and I would argue in any other language) is by building small abstraction
567.
by imiric 1y ago
> Thought experiment: if there were an AI everyone had access to that was capable of designing and implementing a business that would crush all competition, how would you make your business succeed? That's an interesting one, but it
568.
by imiric 1y ago
I'll copy what I wrote a few days ago: The fact XHTML didn't gain traction is a mistake we've been paying off for decades. Browser engines could've been simpler; web development tools could've been more robust and p
569.
by imiric 1y ago
> Gen AI may indeed be different and kill off all programming careers overnight, but so far I'm not seeing it Well, we're only ~5 years into the current hype cycle, so it's difficult to predict the long-term impact of the
570.
by imiric 1y ago
> It's still not hard to have more skill than an AI. Eh, today, maybe, and within specific domains. It's far from certain that this will remain true 5 or 10 years from now. The capability of these tools has improved greatly eve

More ›