rtpg

22 ms·

601.
by rtpg 1y ago
What do people's success stories with fancy PKMS looks like? I get writing stuff down, but I've never quite gotten the deep linking stuff. I tend to just be able to get away with some basic folders.
602.
by rtpg 1y ago
It’s so annoying that right now the state of the art is essentially “just write all of your code as async because even sync callers could just spin up a one-off event loop in the worst case” in most languages. The only language I know that
603.
by rtpg 1y ago
Typescript has no problem with typing your scenario (or at least nothing that isn’t present in “plain” JavaScript… what if your value is a promise?) And compiled languages don’t have more trouble with this than JavaScript. Or rather, Javasc
604.
by rtpg 1y ago
I feel like hiring juniors still exists, because I still hear about loads of "boring" small startups that do the "we hire juniors and seniors". Juniors cuz they're cheap and motivated (and potentially grow into very
605.
by rtpg 1y ago
what kind of difficulties come up in practice in :advanced mode for JS? I would have assumed that by now code is pretty good about not using "weird" effects
606.
by rtpg 1y ago
I _really_ appreciate Tokyo's system of basically forcing you to affirmatively declare your parking spot when you buy a car, on top of the usual "pay extra rent to have a parking space" thing that happens in many spots. While
607.
by rtpg 1y ago
Right, totally see what you're saying. In the junk food example (assuming fast food a la McDs...) it feels fairly noncontroversial to say there's health costs. Just then you get into convenience discussions (or even just enjoyment
608.
by rtpg 1y ago
I'm just saying I doubt that zug_zug has actually unlocked some chain of reasoning to say that all that stuff is objectively bad. If they did, what's stopping everyone else from doing it? I am expressing doubt. Like if someone sho
609.
by rtpg 1y ago
This is meandering a bit (and I'll once again state that I think Burrito Now Pay Layer is Bad(TM)), but the flow here is (forgive the paraphrasing): - zug_zug said "we should talk about economics objectively" and claimed &quo
610.
by rtpg 1y ago
A thing that still stands out to me is that even in this work we're looking at Lean as a way of verifying a proof, but I do not know how much exploratory work is possible in Lean. In Rocq/Coq, I've found myself often lost in
611.
Platform as a Reflection of Values (2017) [video](youtube.com)
2 points by rtpg 1y ago|0 comments
612.
by rtpg 1y ago
To be clear I think the BNPL thing laid out here is Bad(TM), I just got there through my belief system about how society should be organized. I do not believe that life is measured in how many burritos I can or cannot get access to, so the
613.
by rtpg 1y ago
If you think that objectively spending money on leisure is bad, my claim is that you are in a minority with that thought process. My implication here is not that being in a minority changes whether something is objectively true or not (it d
614.
by rtpg 1y ago
Your statement is pretty subjective! Not going to defend gambling but "junk food" and "overpriced status-symbol vehicles"? Digital goods as an entire concept? You can think it's all for the stupids, but I'm not
615.
by rtpg 1y ago
It's not the same flavor of logic language but I've been trying to find some interesting things to do in Curry. The functional dependency component it introduces makes some problems a lot easier to deal with in Curry than in Prolo
616.
by rtpg 1y ago
Or management is cynically thinking they could get more bang for their buck with multiple people (I gotta imagine at 19 years at google gets you a healthy multiple compared to new hires)
617.
by rtpg 1y ago
Memory ain’t that cheap on laptops in general! The bigger issue is less “pyright” and more “every tool out there being as heavy as pyright” + docker etc… but things are getting better IMO
618.
by rtpg 1y ago
To be honest I can't respect a project that names itself like that. I am a working professional.
619.
by rtpg 1y ago
I don't get why so many people go to bat for pyright, my experience with it has been pretty miserable. Open enough instances of it and you're in OOM city. It works, but often gets confused... and of course the absolute audacity of
620.
by rtpg 1y ago
I mean in bigger cities lots of people don't have cars, they might also be in the middle of something and so having someone else get the food makes sense. And a lot of people have "too much money", leading to them being like
621.
by rtpg 1y ago
The best faith thing I can think of here is that these rules are requiring that live events do much more than "just" display the full price. For example in ads they _must_ show the all inclusive price. An example of a thing that m
622.
by rtpg 1y ago
Yeah you can make Django go really fast, especially when you have pages that well scope what data they are pulling from (though you seem to know it better than me). I think B2B SaaS, for "normal" teams (read: people not that adept
623.
by rtpg 1y ago
Regarding the slowness, I think it's super important when working with slow stuff like Django to have good SLOs in your head. "Home page should load under 2 seconds at P95", "reports should load under 10 seconds at P99&q
624.
by rtpg 1y ago
I'm not against this notebook style, I have runbooks in Jupyter notebooks. I just think it's pretty easy to do things like start a flow back up halfway through the book and not fix some underlying ordering issues. With scripts tha
625.
by rtpg 1y ago
I mean it feels pretty obvious to me that cell execution order is a pretty real issue for a runbook with a bunch of steps if you're not careful. I do think that given the fragile nature of shell scripts people tend to write their opera
626.
by rtpg 1y ago
At least on iOS an update requires an explicit unlock, is this not the case on Android? There could be secret pathways but I don’t know them.
627.
by rtpg 1y ago
I was going to write something glib about getting things fixed but that thread looks gnarly! To be honest I know so many people who use Pydantic and so many people who seem to get stuck because of Pydantic 2. I’m glad I have minimal exposu
628.
by rtpg 1y ago
I have to imagine at that size they have an ops team already for all the other services so those are pretty amortized.
629.
by rtpg 1y ago
> I'm very sorry, but such timelines are extremely disheartening and sound like a joke. The problem is, factually, other countries can build out HSRs within 5-10 year horizons, from planning to finishing a route. If it takes 2+ gene
630.
by rtpg 1y ago
Aliexpress my impression is you can get "useful" stuff that are odd but usable. But I've had the impression that temu and shein was all "direct to garbage" devices, was this not the case?

More ›