rtpg

17 ms·

301.
by rtpg 9mo ago
I feel like even outside of AI translation, formalization not capturing the spirit of what the informal description was provided is always a risk. This is also a big risk when trying to prove code correctness: "prove this algo works&qu
302.
by rtpg 9mo ago
We have also worked via Renovate recently and are enjoying it. The dashboard is particularly nice for onboarding repos with lots of old deps (checkmark -> make a PR is a nice flow that semi-automates things). Dependabot integrates decent
303.
by rtpg 9mo ago
When distros figure out how I can test my software with a dep at version A and the same dep at version B in a straightforward way, then we can talk. NPM forcing a human to click a button on release would have solved a lot of this stuff. So
304.
by rtpg 9mo ago
A thing I've experienced is people buying a bigger fridge, and then just leaving it when they move out because they're moving to a place with a fridge that is fine (for example, moving in with someone who has a nice fridge). Every
305.
by rtpg 9mo ago
> for comprehensions are the same thing as do notation The ergonomics of scala for comprehensions are, in my mind, needlessly gnarly and unpleasant to use despite the semantics being the same
306.
by rtpg 9mo ago
One thing I think worth considering for systems languages on this point: if you don't want to solve every expressiveness issue downstream of Result/Option/etc from the outset, look at Swift, which has nullable types. MyObject
307.
by rtpg 9mo ago
I legit would recommend you try the "macbook pro speaker" test if you have one... it was really night and day for me
308.
by rtpg 9mo ago
Unfortunate! Yet another little bit of Go design decision that makes things worse for, in my opinion, no reason.
309.
by rtpg 9mo ago
You don't even need to end the file in `.go` or the like when using shebangs, and any self-respecting editor will be good at parsing out shebangs to identify file types (... well, Emacs seems to do it well enough for me) no need to nam
310.
by rtpg 9mo ago
I have the same sound issues with a lot of stuff, my current theory at this point is that TVs have gotten bigger and we're further away from them but speakers have stayed kinda shitty... but things are being mixed by people using headp
311.
by rtpg 10mo ago
> And a few days ago a security vulnerability was found in the Rust Linux kernel code. was it a security vulnerability? I'm pretty sure it was "just" a crash. Though maybe someone smarter than me could have turned that int
312.
by rtpg 10mo ago
Thunderbird has succeeded at doing this and is in a somewhat similar spot (though huge asterisk there given the existence of Chrome)
313.
by rtpg 10mo ago
Yeah I've been meaning to send a request to Princeton's libraries with his notes but don't know what a good request looks like The jump from "there is a successor operator" to "numbers take a successor operator
314.
by rtpg 10mo ago
Church ends up defining zero as the identity function, and N as "apply a function to a zero-unit N times" While defining numbers in terms of their successors is decently doable, this logical jump (that works super well all things
315.
by rtpg 10mo ago
My magical ideal is to be able to do this even without the sender's consent. Let me, as a reviewer, chop up half of someone's PR and then get that sent in, CI'd, approved.
316.
by rtpg 10mo ago
Very interesting historical document, though I don't have that much confidence in the precision of the explanation of the terms. Related to this: does anyone know if there's any document that delves into how Church landed on Churc
317.
by rtpg 10mo ago
I am _not_ a microservices guy (like... at all) but reading this the "monorepo"/"microservices" false dichotomy stands out to me. I think way too much tooling assumes 1:1 pairings between services and repos (_especi
318.
by rtpg 10mo ago
> It's work they would be doing anyway because they all benefit from it, which is why it isn't a coordination problem HDMI: tech is shared between you and competitors, but you don't get to collect all the licensing fees fo
319.
by rtpg 10mo ago
The thing is that some section of the right has convinced itself that Calibre is some DEI font. Meanwhile the rest of the world is just living life and having to deal with people getting this worked up about the default font of Microsoft O
320.
by rtpg 10mo ago
> Standards are different. The purpose of the standard is that Alice wants her output device to be compatible with everyone else's input device and Bob wants his input device to be compatible with everyone else's output device.
321.
by rtpg 10mo ago
I think Canonical did this with codecs for a long time too, behind a prompt
322.
by rtpg 10mo ago
Good points. I do agree that "not without a warrant" is a pretty load-bearing thing and it _should_ be tedious to get information. When a lot of info is just so easy to churn through that can activate new forms of abuse, even if f
323.
by rtpg 10mo ago
I'm pretty sure in most places in the world if you are travelling from abroad you are asked to share your passport, and have been for a very very very very long time. The difference between sending it over a chat and handing it over to
324.
by rtpg 10mo ago
I think people are overindexing on how much of this is "get more data on users". I don't get why people believe there's a conspiracy here. There's perhaps a large tent, but "social media bad" is not a cont
325.
by rtpg 10mo ago
It’s pretty disgusting how much the SV zeitgeist had spent years talking about liberty from tyranny and less than a year into this admin so many people are totally in line. This just feels so downstream of “the people I dislike are against
326.
by rtpg 10mo ago
Sony still makes TV they get to sell to the highest bidder! They get to sell to Apple TV or Netflix. Not recurring revenue but they have their thing set up
327.
by rtpg 10mo ago
I think if you want to make this argument you can go look at the stats. Look at the relative cost of vehicles in the EU over the past 25 years, compare to the cost of vehicles in the US over the past 25 years. Obviously the lack of differen
328.
by rtpg 10mo ago
they're going to compete on ad unit economics against a company whose entire bread and butter has been selling ads. All while increasing unit costs to provide their service (like all the AI companies seem to be doing by just having mor
329.
by rtpg 10mo ago
I understand not having a link to the primary source at the top of an article because you might be trying to write an explainer, but if you want to avoid confusing your readers but still do the right thing at the very least include a bunch
330.
by rtpg 11mo ago
I think most tools in this space do the "infer a bunch of data and show it to the user for confirmation", which lowers the pain of a miss here.

More ›