skybrian

34 ms·

901.
by skybrian 7mo ago
Could an AI decide to download JavaScript libraries of its choice into a dynamic worker? That wouldn't be as flexible as a full Linux VM but it might be interesting. Edit: I guess not: > If your Dynamic Worker needs TypeScript compi
902.
by skybrian 7mo ago
True, it's never going to be 100%, but at least it's a tractable problem for parents. Enough to change what the culture considers "normal," anyway.
903.
by skybrian 7mo ago
Theoretically we don't actually need proof of age. Websites need to know when the user is attempting to create an account or log in from a child-locked device. Parents need to make sure their kids only have child-locked devices. Vendor
904.
by skybrian 7mo ago
I'm not sure either of us really knows how Curry-Howard works, but my understanding is that it's a compile-time type system thing. In certain proof languages, a function that returns an int proves that an int exists (type is inhab
905.
by skybrian 7mo ago
Proofs are a form of static analysis. Static analysis can find interesting bugs, but how a system behaves isn't purely a property of source code. It won't tell you whether the code will run acceptably in a given environment. For e
906.
by skybrian 7mo ago
It isn't used by anyone besides me, but I wrote a property-testing library for Deno [1] that has a form of "sometimes" assertions (inspired by Antithesis) and uses "internal shrinking" (inspired by Hypothesis). But
907.
by skybrian 7mo ago
One thing you can find pretty quickly with just basic fuzzing on strings is Unicode-related bugs.
908.
by skybrian 7mo ago
Internal domain knowledge can become pretty useless when you switch companies and have to start over, though.
909.
by skybrian 7mo ago
Sure, I like chained method calls too, for simple things. But it gets ridiculous sometimes where people write a ten-stage pipeline in a single expression and then call that "readable."
910.
by skybrian 7mo ago
It sounds interesting but the main selling point doesn’t really reasonate: If you haven’t resolved conflicts then it probably doesn’t compile and of course tests won’t pass, so I don’t see any point in publishing that change? Maybe the comm
911.
by skybrian 7mo ago
There are good ideas in functional languages that other languages have borrowed, but there are bad ideas too: currying, function call syntax without parentheses, Hindley-Milner type inference, and laziness by default (Haskell) are experimen
912.
by skybrian 7mo ago
For pipelines in any language, putting one function call per line often works well. Naming the variables can help readability. It also makes using a debugger easier: let foos = foobinate(a, b, input) let bars = barbakize(c, d, foos)
913.
by skybrian 7mo ago
Too bad about the slave labor though: https://www.washingtonpost.com/world/2026/03/01/byd-slavery-...
914.
by skybrian 7mo ago
If you could grow an oak tree in a week, that would transform the timber industry. It would seem pretty silly to wait two decades for it.
915.
by skybrian 7mo ago
Not which law you mean, but I think there's a distinction between "disallows children under 16 from creating an account" (which apparently requires age verification) and "disallows creating or logging into a social media
916.
by skybrian 7mo ago
The idea is that society should have some common standards for what's inappropriate for children. For example, parents don't want their kids to buy cigarettes, but also, stores don't want to sell them cigarettes. When there&#
917.
by skybrian 7mo ago
Devices with child locks turned on really shouldn't have access to everything on the Internet. A simple protocol could let cooperating websites know when child locks are on, so they don't show inappropriate content. Whitelisting o
918.
by skybrian 7mo ago
Compatibility aside, Url-based imports are a bad idea as soon as you go beyond writing your entire program in a single source file and want to keep imported versions of common dependencies in sync. It's nice for scripts, but a deno.jso
919.
by skybrian 7mo ago
There definitely is a learning curve. Not sure what you're doing. Are you trying to one-shot it? I think a decent place to start is: given a small web app, give it a bug report and ask it what causes the bug.
920.
by skybrian 7mo ago
On the other hand, having "after tax" dollars that you can invest or spend freely is good too. Software engineers who defer capital gains too long may end up with concentrated appreciated assets. Diversifying results in a big tax
921.
by skybrian 7mo ago
Maybe they could charge API users less if they use the same prefix that Claude Code uses? More coding agents using the same prefix results in better caching, reducing costs.
922.
by skybrian 7mo ago
No, you have that backwards. A society is judged by how it treats its least able members. Android devices are primarily for mainstream users, not us. Technically adept users are the minority and we can deal with a few hoops to customize our
923.
by skybrian 7mo ago
I've read that the Japanese electrical grid would be hard to upgrade to charge lots of electric vehicles, and that somewhat explains their enthusiasm for hydrogen.
924.
by skybrian 7mo ago
https://www.ycombinator.com/companies/9-mothers-corporation
925.
by skybrian 7mo ago
What did travel agents do when they made a mistake? I don’t think they reimbursed people?
926.
by skybrian 8mo ago
This sort of lack of imagination is why governments are passing bad laws about social media websites.
927.
by skybrian 8mo ago
I did a bit of research. Looks like the <meta name="rating"> tag is supported by Google's Safe Search. Most adults probably do Google searches with "safe search" turned on (since we don't want porn sites
928.
by skybrian 8mo ago
Another way to prevent a data leak would be for browsers to always fetch both web pages (with or without a child lock header) but obviously that doesn’t do what you want. It seems like what the browser displays is pretty important here an
929.
by skybrian 8mo ago
PICS and its successor (Powder) both appear to be abandoned. “Voluntary content rating” and “Rta marker” must be pretty obscure since I’m not finding a good web page. I think these would be better thought of as attempts to create a web st
930.
by skybrian 8mo ago
If the browser has to do the same thing for adults and children (to avoid detection) then it’s going to be hard to build a system that does different things for adults versus children.

More ›