rtpg

30 ms·

631.
by rtpg 1y ago
Typescript is so much better than almost every other dependently typed language in terms of expressing these things[0], and it's still kind of miserable. We still have a long way to go in figuring out how to get our type systems to be
632.
by rtpg 1y ago
I do like the idea of a variant of this that also includes some signing and logs that share, well, more of the state involved in this. This sort of work would likely mean that test suites would be built in a way to be run in a more diverse
633.
by rtpg 1y ago
Very good point. While I think we could do away with the syntactic shorthand, definitely would want to keep some function/method around with the capabilities.
634.
by rtpg 1y ago
printf-style formatting ("foo %s" % "bar") feels the most ready to be retired (except insofar as it probably never will, because it's a nice shortcut). The other ones at least are based on the same format string syn
635.
by rtpg 1y ago
There are many long-term users of Python who participate in PEP discussion who argue for beginners[0], often because they professionally are teaching Python. There are also loads of people basically defaulting to "no" on new featu
636.
by rtpg 1y ago
every rant like this inevitably goes into Gnome/GTK world. I must insist how much "better" (for these kinds of people) the Qt/KDE world is! People who are so passionate about this stuff just don't give any credit to
637.
by rtpg 1y ago
I also imagine that quite simply saying "look you can compile this binary as an alternative and run it on the machine" would fit the requirements, even if it doesn't entirely capture the spirit of anti-tivoisation
638.
by rtpg 2y ago
> This leads to one of the things I love about Cage's music: it compels criticisms that reveal fundamental misunderstandings about music. E.g., you don't buy the radical case-- perhaps reasonable. But you then speculate there a
639.
by rtpg 2y ago
I can't believe I'm going to say this but if you go over to reason.com and look at reporting on the visa stuff, there are a loooot of arguments going on in the comments. We're not even talking free speech absolutionists! Just
640.
by rtpg 2y ago
You can support free speech in the abstract, end up defending certain people whose views you hate, and still come up with a good amount of respect. The ACLU is able to maintain respect despite helping some pretty terrible people in court. T
641.
by rtpg 2y ago
Because people want strong typing, but also want other things. It's possible to want multiple things, and bemoan that whwat you use is still missing things you want. Concretely, Django is way more usable than basically any web framewor
642.
by rtpg 2y ago
I understand the frustrating with Django progress (and, to be honest, I would like for Django to more agressively upstream stuff). I'm curious about what he would want to get into Django that feels like he couldn't though. Since
643.
by rtpg 2y ago
Measure measure measure measure. Each case is different. But more seriously I think tree based algos tend to be overhyped, and people get a bit absorbed into thinking about big-O behavior when the constant factors are super important even w
644.
by rtpg 2y ago
Im fairly certain the answer to this is “yes”. Probably need to futz with env cars to get all the caches etc into /tmp though. It needs to put Python _somewhere_
645.
by rtpg 2y ago
It's super nice to have timestamps as a quick way to know what program you're looking at. Sticking it into --version output is helpful to know if, for example, the Python binary you're looking at is actually the one you just
646.
by rtpg 2y ago
I think the vibe is kinda like maintaining an old car or something. Some people like doing this kind of work, especially in a space where you get to decide how it all works. Good way to explore ideas without having to do concensus building
647.
by rtpg 2y ago
Maybe I was in the massive minority then. Though part of it was that the format let me just work on stuff "by myself" rather than sit through a bunch of explanations I didn't need. flipped classrooms seem to imply work ahead
648.
by rtpg 2y ago
My favorite class I ever took was middle school algebra. We had a teacher, problem sets, and were put into groups of 3 or 4 to work through the problem sets together. The teacher would give a bit of a spiel to intro the problems, but the pr
649.
by rtpg 2y ago
This one felt obvious, but it feels a bit hard to reason on. How many sales people does this project need? It’s not zero because grants etc but let’s not kid ourselves. I think this project will never spend as much money as notion on devs.
650.
by rtpg 2y ago
There are plenty of projects pushing the state of the art forward. A very specific example: basically all interactive theorem proving tooling is built in public research halls. This has allowed Compcert, a C compiler with “no bugs”[0] to ex
651.
by rtpg 2y ago
In a universe where the French government drops a perfect replacement for Notion and causes Notion to go out of business, this is still a net positive for society in the same way that things like Linux existing is a net positive for society
652.
by rtpg 2y ago
Having both the Notion-like UI and the real time collaboration is exciting! So much stuff has been either/or, and it made it hard for me to find a good alternative. I really appreciate how Notion is basically "what if Google Docs
653.
Implementing "Tennis for Two" using op amps (2024)(blog.qiqitori.com)
37 points by rtpg 2y ago|2 comments
654.
by rtpg 2y ago
While I’m sympathetic to the “people working hard to build out ad markets instead of cancer research” argument, I only believe in a weak version of this. Why? I have met many “smart with computers” people. Many of them have terrible people
655.
by rtpg 2y ago
I did not know that about kwargs! Very interesting and useful to be kind of pedantic and not have unintentional conflicts at that level
656.
by rtpg 2y ago
You can just compile to HTML5 output! It “just works” for some version of “works”.
657.
by rtpg 2y ago
People have pointed out to me that the Flash platform basically still exists with Adobe Animate, AS 3 and everything (including web publishing). So you can theoretically use the same flow as in your memory. I wish the price was not what it
658.
by rtpg 2y ago
I think all else being equal, using data to inform the decision is better than not. But the detail there is about whether everything else is equal. Is "gut instinct" better or worse than "data driven approach with a bunch of
659.
by rtpg 2y ago
It could be us, either directly with money, or even just indirectly by “being the product” but being able to just walk away. FF exists off of good will and the search deal. The more people stop using the browser the less they’re going to pu
660.
by rtpg 2y ago
I mean they integrated pocket right? They sold the default search engine position for billions. That’s something! Not all money making efforts are created equal, though. We judge based on what the effort is in context!

More ›