jahewson

11 ms·

211.
by jahewson 2y ago
I like your take and I think it is demonstrated by the fact that JSX is nice and YAML is awful.
212.
by jahewson 2y ago
But he was deluded and believed that his sub was safe. Not sure what your point is.
213.
by jahewson 2y ago
Don’t tell me, if I buy your book I can learn how to do it too?
214.
by jahewson 2y ago
The annoying announcements are due to very a real problem facing the U.K. - what do you think the “it” is that we’re supposed to be spotting? It’s not a herd of unicorns.
215.
by jahewson 2y ago
Oh it’s absurd. When I grew up in Britain we used to joke about America and how they had a sign on everything but the U.K. is now 10x worse. The endless announcements. The sign language video on every single timetable screen (Why? can deaf
216.
by jahewson 2y ago
No this is not the same. The U.K. has taken it to ludicrous levels.
217.
by jahewson 2y ago
Ha ahahahahahah ha.
218.
by jahewson 2y ago
I’m with you but much in-house work relies upon consultants anyway. “Doing things” isn’t a core competency of most modern governments.
219.
by jahewson 2y ago
No, the website itself does not get to declare this. There’s a master list that they have to submit their site to and go through an approval process. But as the article details, the contents of that preliminary list is already disconcerting
220.
by jahewson 2y ago
That wouldn’t work for PDF’s use case of being an arbitrary paper-like format because the various Unicode and OpenType algorithms don’t provide sufficient functionality for rendering arbitrary text: there are no one-size-fits all rules! Th
221.
by jahewson 2y ago
It’s due to poor choices made in the implementation of pdfTeX. For example the TeX engine does not associate the original space characters with the inter-word “glue” that replaces them, so pdfTeX happily omits them. This was fixed a few yea
222.
by jahewson 2y ago
It’s not TTF bytecode, but WASM bytecode. There’s an experimental version of HarfBuzz that can run this.
223.
by jahewson 2y ago
Having built a type checker with Z3 in the past, the simple answer to “does type checking happen to have the same complexity as SMT?” is no. That’s because the “T” in SMT, “theories” can be pretty much anything - they’re essentially plugins
224.
by jahewson 2y ago
There’s no “half”. While the current court has a conservative majority the rulings only fall sharply along those lines around 10% of the time https://www.politico.com/news/magazine/2024/06/02/supreme
225.
by jahewson 2y ago
Yep, some interesting tidbits here https://stackoverflow.com/questions/1083368/whats-the-early-...
226.
by jahewson 2y ago
Nice! There was an exploit in iOS Messages found last year due to code that Apple had under license from Xpdf. I’ve wondered why Apple needed that when they already had PDFKit?
227.
by jahewson 2y ago
Yes, indeed. That’s my point really. Functional programming only delivers its promised benefits in the hands of skilled users. We’re just not used to seeing that given that it’s at a self-selecting crowd. Lambdas, ADTs, immutability - all o
228.
by jahewson 2y ago
Could you criticise US capitalism in the form of a sea shanty?
229.
by jahewson 2y ago
It’s obviously impossible because in such a system the least advantaged would rapidly become the most advantaged, while being incentivised to retain the outward image of remaining the least advantaged.
230.
by jahewson 2y ago
Switch the word “capital” for “status” and you have any human economic system. You’re just describing the human condition.
231.
by jahewson 2y ago
I’m not sure why you’d place the blame on capitalism for this set of problems. If the reward were status or sainthood or whatever else, enough people would still be sufficiently motivated to mistreat each other. That the reward is “profit”
232.
by jahewson 2y ago
Nice!
233.
by jahewson 2y ago
It depends. Often when a suit involves the government or the public interest then there’s a statute in place that awards fees to the winner.
234.
by jahewson 2y ago
I can just imagine someone inside Docker, inc. saying “the name is not important” or over and over again until one day they ship it. They’ll never know what they missed out on.
235.
by jahewson 2y ago
The old office binary formats are basically a FAT file system containing streams of unremarkable records. Knowing what those records do is the hard part!
236.
by jahewson 2y ago
Yeah this work is far away from what a real PDF parser requires. It’s not uncommon for the lengths at the beginning of streams to be wrong or the data to be encoded in a format different from the one claimed. The offset table can also be wr
237.
by jahewson 2y ago
Hiring on potential isn’t a great strategy though. It’s important to compare candidates on something objectively displayed during in the hiring process, rather than some “potential” that’s a figment of one’s imagination.
238.
by jahewson 2y ago
This is a great opportunity for me to cite my new favorite thing: the OHSA Hierarchy of Controls. In the physical workplace, documenting a hazard would be seen as an inadequate control if it can simply be removed. https://makesaf
239.
by jahewson 2y ago
If a similar amount of education can be obtained at a lower price, then it’s not really education that’s being financed but something else. (I would argue that it’s university administrators, shiny buildings and unnecessary facilities).
240.
by jahewson 2y ago
I shall join you and will make it a co-axing.

More ›