rictic

7 ms·

61.
by rictic 2y ago
The json-schema-to-ts npm package has a FromSchema type operator that converts the type of a json schema directly to the type of the values it describes. Zod and TypeBox are good options for users, but for the reference implementation I thi
62.
by rictic 2y ago
I just want to say kudos for the design of the protocol. Seems inspired by https://langserver.org/ in all the right ways. Reading through it is a delight, there's so many tasteful little decisions. One bit of construct
63.
by rictic 2y ago
I'm putting increasing probability on the idea that there's something in our modern environment that's disrupting the GLP-1 metabolism (or a related system), these drugs are counteracting that effect. When it was just appetit
64.
by rictic 2y ago
It is way easier to get someone to click a link than to get them to download and run your app.
65.
by rictic 2y ago
I'm optimistic that improved proof search using modern AI can make working with dependent type systems much more productive and practical. A future programmer may be spending more time formally describing the invariants of the system.
66.
by rictic 2y ago
It's true that there are valid programs which don't type check in the same way that for any mathematical system there are truths which can't be proven. In practice though, almost any program you'd want to write can be ty
67.
by rictic 2y ago
I've never worked with a group that tested each of their rebased commits, and the rebase workflow definitely doesn't make that the default. It's possible, the options are there in the flow, but they're inconvenient and o
68.
by rictic 2y ago
Memory errors can be exploited by a clever adversary to control your process in a variety of unpleasant ways, see: https://en.wikipedia.org/wiki/Memory_safety#Types_of_memory_...
69.
by rictic 2y ago
Sure it looks nice, but it's a fake history. After a rebase you have commits where no one's ever run the tests, no author ever intended to get the repo into that state. Hell, most likely no one knows if the code even compiles. It&
70.
by rictic 2y ago
Related work: Functional Enumeration of Algebraic Data Types - https://mengwangoxf.github.io/Papers/Haskell12.pdf It's quite efficient, able to generate the 10^100th element in ~a second on 2013 hardware. It also
71.
by rictic 2y ago
Yeah, some of the bigger models won't work, but there are a bunch that will.
72.
by rictic 2y ago
Thanks for making this app! I've been using it for the past week or so. I've played around with some open source stuff but for some reason it's been enough hassle that I haven't stuck with it. The "this conversation
73.
by rictic 3y ago
Worth being aware that deeply nested trees are quite inefficient on modern hardware, where CPUs can execute many instructions in the time it takes for a single cache miss. There are techniques to ameliorate this somewhat, e.g. B-trees, but
74.
by rictic 3y ago
I don't miss all the variants of DVI. DVI-D, DVI-I, DVI-A, single-link, dual-link. But people would just see the cable and think, "ah, I know this, it's a DVI cable"
75.
by rictic 3y ago
"I didn't delete your files, I moved them from the bucket where they aren't deleted to the bucket where they are deleted, and then according to my own policies, I deleted them. This change is mandatory." It's a poli
76.
by rictic 3y ago
Have you benchmarked the overhead of awaiting? I believe that in doing so you yield to the microtask queue and then your function has to be scheduled and run again. You could compare await yieldOrContinue('user-visible')
77.
by rictic 3y ago
You've got me curious, how did the developer's misunderstanding of forms cost millions? Was it submitting duplicate orders? Blocking submission of valid orders causing lost business? I think it's an error to bring that up her
78.
by rictic 3y ago
Epistemic status: just some guy, override this if you get specialist info. Lenders are going to take this into account. I imagine that commercial real estate lenders are realists though, and expect their debtors to exercise their right to w
79.
by rictic 3y ago
A random sampling of things GPT-4 has helped me with lately: Where are the dates in whole foods? (A: with nuts, not fruits and veggies) How can I steam bao without a steamer basket? (A: saucepan, 1" water, balled up aluminum foil, plat
80.
by rictic 3y ago
If you're asking "Could another company make a much better version of their products?" then the answer is a fairly clear yes, it could happen to OpenAI. They have an unknown number of proprietary advancements that give their
81.
by rictic 3y ago
Yeah, Jevons Paradox suggests that 10xing efficiency of training and inference would increase demand for GPUs.
82.
by rictic 3y ago
Carmack doesn't seem to believe that ASI will be dangerous, while it's currently looking like Ilya is breaking with Sam over this.
83.
by rictic 3y ago
Are there stats on what proportion of Deck use is piracy? I have a Deck, half my friends have Decks, none of them have mentioned piracy as a use case that I can recall. A 40 year old with a twenty year back catalog of Steam titles gives me
84.
by rictic 3y ago
Turning an airline receipt pdf into a well structured function call is very nice.
85.
by rictic 3y ago
Yeah, tools can add support for them, but they're fundamentally a whole-program-optimization in a build chain that's 99.9% file-by-file. Supporting const enums will, by necessity, greatly reduce the maximum performance that toolch
86.
by rictic 3y ago
This is definitely the dream of the Lit team, that Lit itself gets smaller and smaller as the platform gets more capable. For example, the DOM Parts proposed spec would let us drop a lot of the most complicated code in lit-html.
87.
by rictic 3y ago
Lit was originally written by a group of engineers at Google, and most of the main team is still at Google working on Lit either full time or part time, though there's increasing contributions and governance from outside Google.
88.
by rictic 3y ago
This is, uh, a pretty confused set of things to say. Shadow DOM is implemented in every browser. Now that we've dropped IE11, Lit doesn't need any polyfills in any of our supported browsers. Lit is javascript, and would greatly be
89.
by rictic 3y ago
There are thousands of Lit elements in google's internal repo, and new products are launching with Lit regularly. One of the recent ones I really like is Google Maps' API built on Lit and web components. Makes it super easy to dro
90.
by rictic 3y ago
How would the API do that without more overhead than the check that GP is suggesting?

More ›