rtpg

19 ms·

571.
by rtpg 1y ago
Appreciate the extra context there! The workflow link is v interesting. I will repeat my big ask: I want to see people recording themselves using the system! For visual systems often it's in movement that I realize how people actually
572.
by rtpg 1y ago
The "modifiable image" model to me poses a huge problem of just not knowing what has changed and what is going on. I believe that things like Pharoh integrate into version control, but just on a fundamental level being able to thr
573.
by rtpg 1y ago
I don't get this. You speculative spend 1 million dollars on a new thing. It fails. In one universe you get to deduct 1M from your profit in year 1. In another you get to deduct 1M from your profit, but over 5 years. I understand the p
574.
by rtpg 1y ago
This is going to sound silly but you paid 800k in profits, but now have 4 years of banked costs you can use to _reduce_ your profit margin. So you pay taxes on 800k profits, but then each subsequent year you reduce you profit by 200k, even
575.
by rtpg 1y ago
I don't have a huge dog in this fight apart from AI advocates being annoying... but I would say that for greenfield projects the interesting thing is that I can get a skeleton of a working iOS app for something simple in like an hour o
576.
by rtpg 1y ago
In most domains you're always going to have the possibility of a gap. The real thing though, is that if you have a verified formal model and a buggy implementation, then _you know_ your problem is at that model <-> implementation
577.
by rtpg 1y ago
A stack of symbol tables is more machinery. It might also be hard to prove that the stack of symbol tables strategy is actually correct! A big part of the value in the lambda calculus is in its aggressive simplicity meaning that you can do
578.
by rtpg 1y ago
there's already an address alias system that things like Mercari (think Japanese eBay) has. You buy something from somebody, they get a QR code and use that to get a delivery label. Delivery label doesn't have your address on it,
579.
by rtpg 1y ago
It's possible to write a Django typecheck shim using descriptors. There's some annoying stuff on the edges though, and for example if you are changing up fields in `__init__` then those aren't going to show up in your types.
580.
by rtpg 1y ago
In code where you really want to have these guarantees you turn on errors lke "no implicit any" in mypy and tighten the restrictions on the files you care about. You still have the "garbage in/garbage out" problem o
581.
by rtpg 1y ago
I don't understand this point at all. I've worked on Django codebases which have a huge set of typing problems... and while it's not 100% I get a lot of value out of type checking. You annotate enough functions and you get a
582.
by rtpg 1y ago
You could have a `list[int | str]` but then you need to check the type of the elements in the list on usage to see if they are `int` or `str` (if you are actually trying to put the elements into a place that requires an `int` or requires a
583.
Cheerleading(notes.eatonphil.com)
3 points by rtpg 1y ago|0 comments
584.
by rtpg 1y ago
My understanding is that with desalination you now have the problem of all the brine (on top of needing a good amount of consumable material to do the desalination when looking at existing products). Seems to me that if you have a device th
585.
by rtpg 1y ago
Is there some sort of conservation of energy question in this form of water collection that establishes some minimum amount of energy that would be required to collect 1L of water from the air? I'd assume if the amount of energy requir
586.
by rtpg 1y ago
Recently read "Lights Out", which was a fun book covering the past couple decades in good amount of details. Basically a hit piece on one of the CEOs, but hey if you're flying around with a "backup" private jet you
587.
by rtpg 1y ago
yeah I got that you get the AST.... I suppose you get the macro capabilities "for free" as well so in a lot of cases the actual code you're looking to transform might be quite simple? I was mostly worried if the underlying CL
588.
by rtpg 1y ago
> Tooth's processors didn't have nearly enough RAM to run Lisp directly [1] so instead we used a custom-designed compiler written in Lisp to generate 6811 code. Was thinking about this point in the 2002 article. As a Python use
589.
by rtpg 1y ago
you mention compiling down Lisp code. Did that come with many restrictions in the end result for how you were coding systems? Or would you basically write lisp "as-is" and get decent results?
590.
by rtpg 1y ago
Plenty of PC98 games out there that are just pure smut and assault fantasies. You could make an argument about the production environments of "actual real person" pornography but if you're talking about aesthetics and moralit
591.
by rtpg 1y ago
Catan, like Monopoly (or I guess Cricket and Baseball) has am awkward interminable nature to it, especially at high player counts Long trading discussions are one component of this. The pure randomness of dice meaning that the internal econ
592.
by rtpg 1y ago
I think so much about how Catan showed up, got really popular, and then more or less right after that two of its huge characteristics (open trading + dice rolls as the primary decider of things) have almost completely disappeared from moder
593.
by rtpg 1y ago
Yeah, you're right on that, and I do appreciate the value of, well, not bundling. I just have had loads of weirdness with things like "ran my test suite with `tsc`/`node-ts`, bundled with `webpack`, and weird side effects exi
594.
by rtpg 1y ago
what I've done is run the bundler across test code so that my test suite is also "just" JS, but that precludes certain kind of code flows without some hacks, so I get why people don't like it much.
595.
by rtpg 1y ago
Typescript's type system is uniquely good for preventing types in "bog standard enterprise code". No other language comes close to it. Two words: untagged unions. And of course all the other utilities it provides. It's e
596.
by rtpg 1y ago
by adding node compatibility it reduces pressure for libs to be written "the deno way". Libraries that could be cleaner! At least that's the theory. To be honest I don't see Deno's value add. The runtime is like...
597.
by rtpg 1y ago
My understanding is that it was added fairly recently at that, and already this has happened. This must be a record time in "change of policy leading to the most embarassing result". Only a couple of months!
598.
by rtpg 1y ago
I feel like it's valuable to not flatten the context here. We are talking about leaking texts by the Trump admin (and I guess some law enforcement agencies using this?). There is a lot of daylight between dropping a bunch of texts for
599.
by rtpg 1y ago
https://maps.app.goo.gl/DURwu3dHtt9aUWBm8 At the very least you can go to this mountain on the Chinese - NK border ("you"... I, as an American, went along with a mainland Chinese person). People do live in these p
600.
by rtpg 1y ago
Sounds like formal verification is built into the language, which sounds nice for people who care! Given this is spitting out C++ code, it could be that the ideal way of using this is to write your state machines with this, then use the out

More ›