rtpg

31 ms·

721.
by rtpg 2y ago
And of course if you come across an inelegant proof you suddenly have the opportunity to think about it and see if you can make it more elegant!
722.
by rtpg 2y ago
> libfive is 40K lines of mostly C++, and is extremely challenging to hack on, even as the original author. It's also frustrating to touch: if it's been a few months since I last compiled it, it's inevitable that the build
723.
by rtpg 2y ago
I took your case, I got way better perf just generating a list of numbers and then reshaping it into a dataframe. But! Even though it doesn't even get that much slower at a certain number of rows it just starts hanging! Like at 49 rows
724.
by rtpg 2y ago
I understand your pain in some sense, but on another I feel like people with a decent amount of hypothesis experience "know" how the generator works and would understand that you basically _never_ want to use `filter` if you can a
725.
by rtpg 2y ago
I would say that like... saying "OK so `a.b` looks like this, what does `a.b.c` look like?" is a very nice flow with deep and messy objects (especially when working in languages with absolutely garbage default serialization logic
726.
by rtpg 2y ago
My two bit understanding is that militias are mostly LARPing (in a very open sense)? And it’s not like they have a giant candidate pool Probably important to consider that everything you know about SEALs etc are filtered through a massive P
727.
by rtpg 2y ago
Perhaps the UK no longer controlling vast swaths of land would directly link to its decline, rather than its monetary policy.
728.
by rtpg 2y ago
If the US is an outlier.... then it's fine for the US to continue down this path? Like in this supposed age of a US government spending crisis the dollar is extremely strong compared to other currencies. Where is the hyperinflation? Ho
729.
by rtpg 2y ago
If you believe that there are "good" mindsets and "bad" mindsets (relative to what you want in life), and that it's possible to change one's mindset, it follows that having guidance can help there. Maybe you do
730.
by rtpg 2y ago
But perhaps people supposedly becoming in charge of material results should in fact at least have a sketch of an actual nuanced understanding of things. People who watched Europe through the Great Recession and walk away thinking "I gu
731.
by rtpg 2y ago
I’m not a market fundamentalist, I just don’t like players dumping huge piles of cash in ways to get around market dynamics (especially for AI summaries, which is the computer equivalent of speed reading lessons) At least open source can ou
732.
by rtpg 2y ago
> Maybe we shouldn't be too critical of Mozilla for providing a privacy-first LLM service - for free. The other big privacy-first LLM provider is Apple, which requires users to have their devices/subscriptions to use, and defin
733.
by rtpg 2y ago
Yeah I don’t think we’re in disagreement here. The community can do a lot with the flexibility granted to it!
734.
by rtpg 2y ago
I mean Lisp "never dies", but there have been plenty of Lisp flavors that have come and gone. We don't write Lisp, we write some flavor (each with vastly different properties and values). There's nothing wrong with looki
735.
by rtpg 2y ago
I think it's interesting to think about why people choose things. You can then decide "we want these qualities as well", or "we don't want those", or "we want them but haven't figured out how to get t
736.
by rtpg 2y ago
I don't see why Madison doesn't work. I've taken buses to Madison, you can get downtown. You can usually find some transport. Or you can just call a ride share or something! I've done Chicago -> Madison by bus, and h
737.
by rtpg 2y ago
I do agree with the idea of building out strong localised networks (and roll my eyes at the "US rail network" dream maps people post out). But my impression from France and Germany at least is that you have two sort of failure mod
738.
by rtpg 2y ago
what is the flow for working through this kind of proof? Is there an interactive proof mode like you find in a lot of dependent type provers? Or is there some other guiding mechanism for telling you that you haven't provided enough gui
739.
by rtpg 2y ago
Is this based off the tapioca balls? I haven’t considered the health of the balls, but I could see it as being the same as swallowing a bunch of gum.
740.
by rtpg 2y ago
I like the texture of the tapioca balls and like milk tea. I’d only get the milk tea plus tapioca (and choose the lowest sweetness possible, “no sugar” if offered) I mean I get not liking it. I like it. I’d have it maybe once every three mo
741.
by rtpg 2y ago
The boba tea result alone makes me want to never drink that again. Was a fun little treat while it lasted…
742.
by rtpg 2y ago
Why do you think libraries get any releases at all? Software A and B depend on C (version V). A has a bug that gets fixed by shipping with C version V+1. B unfortunately has a latent bug that appears when shipping with C (version V+1). You’
743.
by rtpg 2y ago
A rust program depends on various libraries. It releases a specific version. Not pinning to specific dependencies for that specific version is weird for everyone who gets that program outside of their OS distribution package manager! I rele
744.
by rtpg 2y ago
For people who are interested in this stuff, I really recommend just getting a copy of Advanced Programming in the UNIX Environment and flipping through all (or most) of it. Pretty de-mystifying (and a good argument for caring about what OS
745.
by rtpg 2y ago
Right, unlike code (which does what it does, even if that isn't what the writer meant) there's no real feedback loop for comments. Still worth internalizing the info based on that IMO. "This does X" as a comment when it
746.
by rtpg 2y ago
An outdated comment is still a datapoint! Including if the comment was wrong when it was first written! We live in a world with version history, repositories with change requests, communications… code comments are a part of that ecosystem.
747.
by rtpg 2y ago
I mean really nobody wants an app that is slow, hard to refactor, with confusing business logic etc. Everyone wants good proporties. So then you get into what you’re good at. Maybe you’re good at modeling business logic (even confusing ones
748.
by rtpg 2y ago
A practical thing about costs is likely shipping. There aren't many consumer products that would be more costly to move around, so you're looking at something as messy as a fridge to sell at the high end. I imagine one could targe
749.
by rtpg 2y ago
Though I don't think anyone would have wanted it, I think there's a bit of a false dichotomy there. Maybe in theory there would have been a place for this in a curated space in Japan... if not for it being so massive at least. Ult
750.
by rtpg 2y ago
To be quite honest I don't think there are many museums that would want that CRT. CRTs are notoriously a massive pain in the ass. Retro computing museums and the like have their CRTs, but they don't really have the space for it. I

More ›