Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
chubot
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
55 ms
·
631.
▲
by
chubot
3y ago
I believe it's mainly because of the requirements for (1) integration with a single GC (the one in the browser), and (2) zero-copy inter-op with JavaScript strings. If you take them as axioms, those pretty much force you to put strin
632.
▲
by
chubot
3y ago
edit: s/mistake of UTF-8/mistake of UTF-16/
633.
▲
by
chubot
3y ago
It probably won't change soon, but Microsoft (or at least some teams in it) have acknowledged the mistake of UTF-8, AND they have taken some steps toward UTF-8: http://www.oilshell.org/blog/2023/06/surrog
634.
▲
by
chubot
3y ago
Hm interesting, although I've never come across the need for this. I think it arises in a fairly specific set of circumstances - You're running unit tests for a compiled language. Broken code may crash - You also need to start p
635.
▲
by
chubot
3y ago
Actually yeah, this would allow the Dan Ariely defense. He said he got a spreadsheet from a company, and also insisted he didn't doctor the spreadsheet. But he also admits he was the only person who handled the spreadsheet (presumably
636.
▲
by
chubot
3y ago
It's also funny to me that they just use Github and Google docs. It seems like if you were committing massive fraud, you'd want to avoid leaving permanent records of it on someone else's systems. But I think this is generatio
637.
▲
by
chubot
3y ago
It hasn't happened to me in a long time, but when I first started using Debian/Ubuntu I ran into it and was confused Debian does have Conflicts package metadata - https://www.debian.org/doc/debian-policy/
638.
▲
by
chubot
3y ago
Yup exactly, I hated the daemon autostart thing. But it's a small issue compared to the mess I see in the rest of software these days ... Alpine Linux seems interesting too, although right now Debian suits me well. I guess the problem
639.
▲
by
chubot
3y ago
I just switched to Debian this year after ~13 years of Ubuntu, and I really appreciate it It grew on me after a long time. I always thought it was not the most "technically sound" way of doing things i.e. I don't really like
640.
▲
by
chubot
3y ago
Yeah I should have mentioned him too as evidence of the point!
641.
▲
by
chubot
3y ago
If I had to place bets on which lab will invent agi I'd bet against "invent AGI" being a coherent or agreed upon thing, and I'd also bet against the "wake-up" scenario of a system saying "I'm AGI&qu
642.
▲
by
chubot
3y ago
Slight correction: bin/ysh has a few things that ysh:upgrade doesn't catch https://lobste.rs/s/6gycoi/making_hard_things_easy#c_sjfxif Feedback is welcome (especially based on upgrading real scripts)
643.
▲
by
chubot
3y ago
Yes, `set -e` is broken The need to quote everything (default splitting on $IFS) is broken Globbing should be something one has to explicitly ask for By the way OSH runs existing shell scripts and ALSO fixes those 3 pitfalls, and more
644.
▲
by
chubot
3y ago
Why do people get in cabs with crazy cab drivers? There's even a game called "Crazy Taxi" Because they are confident that the cab driver doesn't want to kill HIMSELF. If he behaves recklessly, he'll face consequen
645.
▲
by
chubot
3y ago
No, formal verification knows nothing about the hardware, which is required for the system to function correctly. This is "not even wrong"
646.
▲
by
chubot
3y ago
No, it's not all or nothing. Good engineering is simple, relies on less, and trusts less -- it doesn't require trusting zero. I also addressed the difference in the comment -- this type of software has no end-user / operator
647.
▲
by
chubot
3y ago
This is just my personal opinion, but as a both a programmer and a cyclist, and as someone who saw the OneWheels all over SF -- I just can't trust that any organization will write code well enough to get on one of these things, especi
648.
▲
by
chubot
3y ago
Yes definitely, I also worked there during that time, and agree with the idea that Google didn't get JS. This is DESPITE coming out with 2 of the greatest JS applications ever -- GMail and Google Maps -- which basically started "
649.
▲
by
chubot
3y ago
Exactly, I showed here how we just write plain shell scripts. It gives you "PHP-like productivity", iterating 50 times a minute. Not one iteration every 5 minutes or 50 minutes. https://lobste.rs/s/veoan6&#
650.
▲
Oils 0.18.0 – Progress on All Fronts
(oilshell.org)
2 points
by
chubot
3y ago
|
1 comments
651.
▲
by
chubot
3y ago
I’m eating breakfast, scrolling through HN, eating bob’s Muesli, and someone mentions it :)
652.
▲
by
chubot
3y ago
OK but my point is that should have been apparent at the step 1 validation. Seems like they are onto step 2 or 3, and figured out that step 1 wasn't actually validated -- people didn't want to migrate to Earthly files ??? The blog
653.
▲
by
chubot
3y ago
It was honestly a bit hard for me to understand what happened from this write-up. I read it a few times, and the terms are still bit confusing. Seems like there are at least two separate issues - migration of the CI configuration -- from
654.
▲
by
chubot
3y ago
Yeah exactly, VB dying is sort of the CONVERSE of programmers adopting platforms, not languages - https://old.reddit.com/r/ProgrammingLanguages/comments/sk6w1... - Why is JS popular? Not because it's th
655.
▲
by
chubot
3y ago
Yeah, for compilers, I would like to see a benchmark of small string optimization (which should be a huge win for most workloads) and string interning (also should be huge, not in the post though) A pet peeve is that benchmark suites often
656.
▲
by
chubot
3y ago
If the string contents are only used at the code-gen stage, then I see that as an argument FOR being lazy. On the other hand, the principle of validating your input up front suggests that you should at least recognize the escapes, if not st
657.
▲
by
chubot
3y ago
You can also be lazy about it -- store the quoted string with 1 escape as 3 separate (fixed-size) tokens/spans, and don't actually allocate or decode strings until you need to. In an interpreter there may be many string constants
658.
▲
by
chubot
3y ago
He was strongly advocating callbacks with node.js, which is understandable given the time. But a few years later when he wrote some Go code, he said that's a better model for networked servers (sorry no reference right now, it was in
659.
▲
by
chubot
3y ago
I see where you’re coming from, but fog creek was private the whole time I bet they made a killing from both citydesk and fogbugz There’s no way to know, but if they had nice offices in Manhattan and were self funded in those days, that’s a
660.
▲
by
chubot
3y ago
What’s unclear about it? It’s a closed source product by a for profit company It would be nice if it were open source, but I don’t see anything that’s unclear about the IP.
More ›