dfabulich

6 ms·

31.
by dfabulich 3mo ago
This is much, much simpler than you think it is. Passkeys are just passwords that require a password manager. If you lose your passkey, you'll reset your passkey the same way you reset your password, probably with a "forgot my pas
32.
by dfabulich 3mo ago
https://diff.wikimedia.org/2025/10/17/new-user-trends-on-wik...
33.
by dfabulich 3mo ago
Wikipedia's traffic (and donations) are collapsing. https://diff.wikimedia.org/2025/10/17/new-user-trends-on-wik... People don't like to think of it this way, but Wikipedia is funded by ads. Except,
34.
by dfabulich 3mo ago
The graph proves the cause of their decline was AI, and not aggressive question moderation. Ask yourself: in what year did it become difficult to ask questions on Stack Overflow? 2014? 2016? 2018? 2020? Aggressive question-closing was part
35.
Chrome is prototyping HTML client-side includes
3 points by dfabulich 3mo ago|0 comments
36.
by dfabulich 3mo ago
https://sqlite.org/flextypegood.html explains why this isn't the default (and probably will never be the default). > rigid type enforcement can successfully prevent the customer name (text) from being inserted into
37.
by dfabulich 3mo ago
This blog post further undermines my trust in Jarred. He makes it sound like Claude did a fantastic Rust rewrite, and "the work continues." But when the Rust port merged to main, the state of the code was very, very bad. There wer
38.
by dfabulich 3mo ago
The inherent property of software is that the only way to be sure your software works on a particular platform is to test on that platform. There is not a baseline target subset of HTML/CSS that reaches 100% coverage that can be static
39.
by dfabulich 3mo ago
Read carefully. There's a big difference between developing a database and developing an app that uses a database. If you're developing a database, you should use property-based tests to ensure that your database behaves as expect
40.
by dfabulich 3mo ago
Don't forget RFC 5321! But the RFCs are ignored in practice by all popular mail servers. There are email addresses that work in practice that don't comply with the RFCs, and there are email addresses that the RFCs permit that don&
41.
by dfabulich 3mo ago
> "No crashes/panics/uncaught exceptions" should be worth it. Surprisingly, no. Property-based testing and formal validation make it easy to spend tons of time and money "preventing" bugs that would never
42.
by dfabulich 3mo ago
The rules of email validation are not remotely well defined! Syntactic email validation is an impossibly hard problem. https://www.netmeister.org/blog/email.html IMO the industry consensus is never to "validate&qu
43.
by dfabulich 3mo ago
Formal verification is a siren song. The siren sings, "bug-free code is possible in principle!" But it's a trap. Even with LLMs, bug-free code is impractical. I argued that property-based testing is mostly unhelpful for e-com
44.
by dfabulich 3mo ago
Formal verification is still too limited to be useful for most app developers. The article gives an example of an e-commerce platform using it to prove the correctness of managing refunds, but then acknowledges: > As of today, the forma
45.
You can export/import passkeys now, but only on iOS(danfabulich.medium.com)
3 points by dfabulich 3mo ago|0 comments
46.
by dfabulich 4mo ago
The platform webviews are significantly older/worse than typical web browser versions, especially on macOS and Linux. On macOS, the only way to upgrade your WebView is to upgrade your OS, which requires rebooting. Lots of people just d
47.
by dfabulich 4mo ago
Others in this thread disagree with you! But, if they're good enough for Safari, then you'll find they're exactly as good in Chrome. https://chromewebstore.google.com/detail/adguard-adblocker/b...
48.
by dfabulich 4mo ago
Safari has never supported MV2 uBlock Origin. Chrome with uBlock Lite is exactly the same as Safari with uBlock Lite.
49.
by dfabulich 4mo ago
One couldn't, because you'd need to standardize a JS-less DOM, which requires one to persuade Apple, Google, Microsoft, and Mozilla to agree on a new standard for a JS-less DOM API. The DOM API is currently defined as a JS API,
50.
by dfabulich 4mo ago
It's the last line of the abstract. > As a consequence of this succinctness, we show that basic verification problems for transformers, such as emptiness and equivalence, are provably intractable: specifically, EXPSPACE-complete.
51.
by dfabulich 4mo ago
The last line of the abstract has the most important takeaway. > As a consequence of this succinctness, we show that basic verification problems for transformers, such as emptiness and equivalence, are provably intractable: specifically,
52.
by dfabulich 5mo ago
Declarative partial updating "sets the stage for client-side includes." https://github.com/WICG/declarative-partial-updates The linked article suggests a potential syntax: <template for="footer&qu
53.
by dfabulich 5mo ago
 Some replaced text Which, by the HTML standard, will automatically close the `` as the `` closes.
54.
by dfabulich 5mo ago
When you have questions like this, the best places to check are the "standards positions" Github repositories for Mozilla and WebKit. https://github.com/mozilla/standards-positions/issues/1369 Mozil
55.
by dfabulich 5mo ago
The WICG explainers do a somewhat better job than this article. https://github.com/WICG/declarative-partial-updates https://github.com/WICG/declarative-partial-updates/blob/mai...
56.
by dfabulich 5mo ago
The new element syntax is needed to signify DOM ranges that may cross the boundaries of HTML element trees. Some <?start name="hl"?>text to replace<?end name="hl"?
57.
by dfabulich 5mo ago
I made a very small and highly defensible claim. You argued that this article (by David Oks) is an example of "how Westerners idealize Japan." I argued that this article does not idealize Japan, and that, if you interpreted Oks&#x
58.
by dfabulich 5mo ago
What article were you reading? This article isn't idealizing Japanese companies, and specifically discusses the drawbacks of the Japanese approach, including zombie companies. The article's thesis statement isn't "the Ja
59.
by dfabulich 5mo ago
Rovelli writes, "I fail to make sense of the claim that there is such an “explanatory gap.”" Carlos Rovelli has failed to understand the arguments for dualism, and is proudly sure that they must be nonsense. If there's ever t
60.
by dfabulich 6mo ago
> In an ideal world, LLMs would take all of the basic RTFM style questions, and leave SO for the harder, but still general enough to be applicable to others-questions. I think the deeper question is how SO would get paid for that. Histor

More ›