It is still important to declare UTF-8 either in <meta> or Content-Type header, otherwise it will usually default to Windows-1252. Yay compatibility!
Maybe I'm misunderstanding something about how all this works, but can we have any confidence that 13 million lines of AI-generated Lean code are... correct? How have we not merely substituted one verification problem…
The discussion of "FLIP (First, Last, Invert, Play)" would be improved by mentioning the View Transitions API, which is basically there to automate this technique.
Original Win95 did not even install a TCP/IP stack by default. It was an optional extra on the CD-ROM. This changed with OSR2 I believe, when they started bundling IE4.
> Look at any printed media from the last 100 years. I have, and it contradicts your point. The single space is the nearly universal standard in modern print media.
Even the CBC thinks of London, England before London, Ontario.
We are fortunate that this individual's stylistic perspective is out there adding spice and variety to the world. I think, however, that most of us would be ill-advised to emulate it. Orwell's maxim, "never use a long…
I'm confused, this tweet reads like the lead-in or movie-trailer to a story, but where is the actual story?
The map tile backend is in the middle of a multi year effort to migrate from the Flippity Service to the Floopity Service. The FlippityFlooper was believed to have finished the necessary format conversions for all map…
[flagged]
I think you can still go directly to /messages/ and not see the feed.
Why is the whole implementation in header files?
I mean, it's also an attentional commitment for me to remember your idiosyncratic apology-preferences. So I might continue apologizing for replying late to your email, unless you convince me that _everyone_ doesn't like…
My main home PC is a Puget Serenity workstation from 2017. It has been rock solid and outperforms much newer laptops. And it has almost zero fan noise which is a priority for me. Unfortunately it looks like they may…
Tomorrow: modify man pages from kernel space!
Omitting <body> can lead to weird surprises. I once had some JavaScript mysteriously breaking because document.body was null during inline execution. Since then I always write <body> explicitly even though it is…
Shoutout to fava, the beancount GUI frontend: https://beancount.github.io/fava/ I really like its big picture view of the accounts, the search / query interface, and live editing of transactions.
This illustrates the difficulty of maintaining a separation between bugs and discussions: > To be clear, I 100% believe that there is some kind of leak affecting some specific configuration of users In this case it…
This is not a standalone article but a section from Butterick's book, "Typography for Lawyers", which is hosted in full on the website. The book is an opinionated style manual, and many alternatives are described in…
I'm fond of STIX Two, which is very close to Times New Roman but just a little bit nicer, especially the italic.
Once I realized that some people expect and are happy for you to jump in with unprompted thoughts or stories, it became easier for me to be intentional about doing so. I think I'm a lot better now than when I was…
I hate these too, but I'm worried that a ban just incentivizes being more sneaky about it.
Developers have been anthropomorphizing computers for as long as they've been around though. "The compiler thinks my variable isn't declared" "That function wants a null-terminated string" "Teach this code to use a…
If LLMs produce fake citations, why would we trust LLMs to check them?
Wouldn't this fall under Auer deference (agency's interpretation of its own regulation)? There is some uncertainty about whether Auer deference survives after Loper Bright.
It is still important to declare UTF-8 either in <meta> or Content-Type header, otherwise it will usually default to Windows-1252. Yay compatibility!
Maybe I'm misunderstanding something about how all this works, but can we have any confidence that 13 million lines of AI-generated Lean code are... correct? How have we not merely substituted one verification problem…
The discussion of "FLIP (First, Last, Invert, Play)" would be improved by mentioning the View Transitions API, which is basically there to automate this technique.
Original Win95 did not even install a TCP/IP stack by default. It was an optional extra on the CD-ROM. This changed with OSR2 I believe, when they started bundling IE4.
> Look at any printed media from the last 100 years. I have, and it contradicts your point. The single space is the nearly universal standard in modern print media.
Even the CBC thinks of London, England before London, Ontario.
We are fortunate that this individual's stylistic perspective is out there adding spice and variety to the world. I think, however, that most of us would be ill-advised to emulate it. Orwell's maxim, "never use a long…
I'm confused, this tweet reads like the lead-in or movie-trailer to a story, but where is the actual story?
The map tile backend is in the middle of a multi year effort to migrate from the Flippity Service to the Floopity Service. The FlippityFlooper was believed to have finished the necessary format conversions for all map…
[flagged]
I think you can still go directly to /messages/ and not see the feed.
Why is the whole implementation in header files?
I mean, it's also an attentional commitment for me to remember your idiosyncratic apology-preferences. So I might continue apologizing for replying late to your email, unless you convince me that _everyone_ doesn't like…
My main home PC is a Puget Serenity workstation from 2017. It has been rock solid and outperforms much newer laptops. And it has almost zero fan noise which is a priority for me. Unfortunately it looks like they may…
Tomorrow: modify man pages from kernel space!
Omitting <body> can lead to weird surprises. I once had some JavaScript mysteriously breaking because document.body was null during inline execution. Since then I always write <body> explicitly even though it is…
Shoutout to fava, the beancount GUI frontend: https://beancount.github.io/fava/ I really like its big picture view of the accounts, the search / query interface, and live editing of transactions.
This illustrates the difficulty of maintaining a separation between bugs and discussions: > To be clear, I 100% believe that there is some kind of leak affecting some specific configuration of users In this case it…
This is not a standalone article but a section from Butterick's book, "Typography for Lawyers", which is hosted in full on the website. The book is an opinionated style manual, and many alternatives are described in…
I'm fond of STIX Two, which is very close to Times New Roman but just a little bit nicer, especially the italic.
Once I realized that some people expect and are happy for you to jump in with unprompted thoughts or stories, it became easier for me to be intentional about doing so. I think I'm a lot better now than when I was…
I hate these too, but I'm worried that a ban just incentivizes being more sneaky about it.
Developers have been anthropomorphizing computers for as long as they've been around though. "The compiler thinks my variable isn't declared" "That function wants a null-terminated string" "Teach this code to use a…
If LLMs produce fake citations, why would we trust LLMs to check them?
Wouldn't this fall under Auer deference (agency's interpretation of its own regulation)? There is some uncertainty about whether Auer deference survives after Loper Bright.