mjevans

14 ms·

121.
by mjevans 9mo ago
I think the question is, how can humans have verification that the problem statement was correctly encoded into that Lean specification?
122.
by mjevans 9mo ago
Given the utter lack of enforcement on actual nuisances (noise / burning violations, 'eyesore' / private property abuse via trash / abandoned things / unsanctioned business actives in residential zones, petty t
123.
by mjevans 9mo ago
You're sort of making the point though. 'within the historical record' -- No one still makes a big deal about it because it happened long enough ago. There are places that are not widely contested today, generally most of the
124.
by mjevans 9mo ago
The hardest part with bare wireguard is one part _really_ wants to be static, OR you have to re-init stuff and push DNS updates every time it updates.
125.
by mjevans 9mo ago
At some point, all land has been taken either by direct force, or by the threat of force. All land, everywhere. It is NOT a natural right that anyone owns any land, nor that any countries exist. That is something everyone's ancestors
126.
by mjevans 9mo ago
How about a recall and replacement for that defective dashboard with one that doesn't cause distractions and accidents since it has buttons that can be felt even by someone wearing winter gloves?
127.
by mjevans 9mo ago
So it's a higher power DSP style device. Small transformers for flows. Sounds good for audio and maybe tailored video flow processing.
128.
by mjevans 9mo ago
Unix shell script also more or less reached a stable state. It's even optional to target Bash rather than just shell.
129.
by mjevans 9mo ago
A big win for 'normal software' here is to have authentication as a multi-party/agent approval process. Have the client of the insurance company request the automated delivery of certified documents to some other company&#x2
130.
by mjevans 9mo ago
Isn't that what polishing 'the prompt' does? Refine the communication like an editor does for a publication? Only in this case it's instructions for how to get a transformer to mine an existing set of code to produce s
131.
by mjevans 9mo ago
Yes, it's a problem with _email_. pgp as a tool could integrate with that, but in practice fails for... many reasons, the above included. All the other key exchange / etc issues as well.
132.
by mjevans 9mo ago
I believe it. I also believe an off the shelf example of how to use the library correctly will save everyone a lot of pain later.
133.
by mjevans 9mo ago
It's amazing what modern hardware can do when used correctly. Consider moving to micro-services only AFTER reasonable algorithms on commodity bare metal show real capacity limits. There's still higher spec bare metal to carry sai
134.
by mjevans 9mo ago
Linux has working EAC. Any software not working on Linux is a Policy decision by the seller, not lacking features on the buyer. Oh and rootkit level EAC? Expect that to go away on Windows too when MS finally gets sick of Crowdstrike and t
135.
by mjevans 9mo ago
To be fair, back then it was relatively easy for anyone intelligent enough to be able to abuse any of that to have a well paying 'white collar' job with things like full health benefits, a pension, and more than sufficient income
136.
by mjevans 9mo ago
I'd really like minimum service requirements to be mandated by law. E.G. Comcast should be REQUIRED to give my OWN router a /56 or better, not a /60 because they waste a whole nibble of netmask at the cable modem which will _
137.
by mjevans 9mo ago
I want to use the extremely simple and reliable direct interface and inexpensive cheap earphones and patch cables that I can buy in any reasonable electronics store for low markup. They are all passive components. Adding an external sound
138.
by mjevans 10mo ago
Discord is the 'AOL (1990s)' of the 2020s. (clearly aspects where that fails, but as a social media?)
139.
by mjevans 10mo ago
The idea that everyone has only one identity, one whole, is harmful. People change over time. People change even a little based on who's around them. Even memories change as people see things in new lights. The Internet of the late 9
140.
by mjevans 10mo ago
DRM is on my no list. I want my operating system to respect my freedoms and privacy. I'm barely willing to tolerate Steam's default DRM a little. Those are 'just games' and that particular version doesn't try very
141.
by mjevans 10mo ago
Those are the wrong sort of work meetings. Where possible you want everyone to be well informed on the way in, at least about the current situation and the obvious proposals. This gives people time to digest the information and maybe even
142.
by mjevans 10mo ago
You speak of an already dense place laid out like New York City, or maybe Japan. Where there are regions that HAVE density and typically a matched civic infrastructure. I am speaking of most of America, where that is NOT happening because
143.
by mjevans 10mo ago
They're a prime sign of broken economics. The people who can least afford to move closer to their jobs are the ones who are regressively taxed in time, energy, and money the most. A proper solution would be to require more housing NEAR
144.
by mjevans 10mo ago
File formats are complicated. The only reliable way to redact is to reduce that complication to one which humans can manage. This is even true for software that is written by humans. Plain text and flat images are my preferred formats for
145.
by mjevans 10mo ago
Or even just 'halt and catch fire'. Heck even a targeted but small percent increase in sporadic behavior for targets of high value might be a worthy harassment tactic.
146.
by mjevans 10mo ago
Observationally, their model was roughly like this: * For hit movies buy an obscene number of copies to rent month 1 * Sell off some for a discount as the rentals dwindled * Discount anything over a reasonable backlog / duplicates set
147.
by mjevans 10mo ago
In this context I believe 'computer' refers to only general purpose computing devices, not fixed function calculation machines. In some sense, early player pianos (IIRC with holes in paper that controlled key presses) weren't
148.
by mjevans 10mo ago
I agree about nearly all of this, but in my fantasy I think the 'unsafe' library should be how to break the abstraction layer and adjust things directly when a good language model isn't provided. JSON's just a nightmare
149.
by mjevans 10mo ago
I would like a revision to bitfields and structs to make them behave the way a programmer things, with the compiler free to suggest changes which optimize the layout. As well as some flag that indicates the compiler should not, it's a
150.
by mjevans 10mo ago
Suckers Buckers seems safe enough for work to say on a text only Internet thread. Just don't read it aloud.

More ›