rtpg

24 ms·

811.
by rtpg 2y ago
https://rtpg.co/2016/07/20/supercharged-types.html I wrote this example a long time ago, I think nowadays I could come up with some more interesting examples though. As to the differences with TS... I think t
812.
by rtpg 2y ago
There's some cruel irony in the planet getting hotter not just making it rain more and making rain happen on land. I do wonder what the state of desalination is. I have read a bit about brine management out of curiosity , but I really
813.
by rtpg 2y ago
I remember a long time ago (20 years ago?) playing some Windows minesweeper variant that someone had wrote. It did the "impossible to hit a mine on your first click" thing (That I believe Windows' Minesweeper didn't do),
814.
by rtpg 2y ago
Row polymorphism is excellent. I was intro'd to it in Purescript, but I would like to say that Typescript gives you some things that rhyme with it through its combinations of records at the type level. Highly recommend people mess arou
815.
by rtpg 2y ago
But this isn’t hemming to the definition brought up by GP. “I will now, of my own accord, sleep so the OS scheduler takes over” is fairly precise. And it’s different from both just doing an operation that takes time… and different from the
816.
by rtpg 2y ago
This feels mostly right to me. I think that you get into interesting things in the margins (is a memory read blocking? No, except when it is because it's reading from a memory-mapped file!) that make this definition not 100% production
817.
by rtpg 2y ago
"asynchronous code does not require the rest of your code to be synchronous" fails the smell test. Many APIs are shipping async-only. You can't stick calls to those APIs in the middle of your sync code in many cases (unless y
818.
by rtpg 2y ago
There's a gap between public fora and the blogosphere though. Generally speaking there are plenty of blogs that get linked in places like here. Blogs just don't have comment sections hosted on their own as much anymore. Having dis
819.
by rtpg 2y ago
Tiled is great. I really wish there was an SVG equivalent though. Inkscape is alright but custom data parameters are really annoying to deal with, and ultimately the tool is built around drawing things to paper.
820.
by rtpg 2y ago
Got the screen right there, watch a random movie like the rest of the Hoi Poloi! I think it's honestly a great moment for cultural leveling. There's always a couple classics in the machine. I (un)seriously judge people who feel th
821.
by rtpg 2y ago
Fair point, yeah.
822.
by rtpg 2y ago
Funnily, the way I used to check Keybase profiles is to check Twitter because a blue checkmark there was usually a good indication of them being "the famous person" but thanks to Twitter Blue that feature is no longer usable. I un
823.
by rtpg 2y ago
Only $15-$30 per user! What a deal! Somebody hasn't experienced Salesforce pricing
824.
by rtpg 2y ago
I'm fortunate enough to have only taken trains in places where there's an understanding that people actually... really actually do need to get to where they're going. If your network doesn't have any sort of resilliance
825.
by rtpg 2y ago
Gunicorn expects `\r\n` for lines (see gunicorn/http/message.py:read_line), though it's possible that every middleware that is in front of gunicorn in practice normalizes lines to avoid this issue.
826.
by rtpg 2y ago
Took me a second to get what was going on here, but basically the idea is that you middleware might not see `C:D`, but then your application _does_ see `C:D`. And given your application might assume your middleware does some form of access
827.
by rtpg 2y ago
I.... I really don't feel like driving in a traffic jam is better than being in a train in anything except the most extreme cases of train crowding. I haven't experienced massive commuter driving but even the cases I've just
828.
by rtpg 2y ago
People say this as if there’s some conspiracy. But I think the uncoordinated explanation is just that annd top executives often operate in a world where informal quick access to a bunch of powerful people is important. And in that universe
829.
by rtpg 2y ago
I mean if you're paying 5+ digits a month on CI it starts being reasonable to say "maybe I should do things to lower the absolute cost of this". 5 dollars time a big enough number is real money!
830.
by rtpg 2y ago
Availability's definition: > every request received by a non-failing node in the system must result in a response I don't believe that encodes latency Instead, here's consistency: > any read operation that begins after
831.
by rtpg 2y ago
You say that but companies routinely pay projects like Circle CI similar orders of magnitudes for chunkier CI builds (one place I know having builds take 30 minutes.... with 64 shards. Basically paying like 5-10 bucks per commit) You still
832.
by rtpg 2y ago
it definitely wasn't temperature ratings, and it definitely was chips going into satellites. This was part of an internship at a place (I was in the "normal IC chip" testing zone, though). I just might not be sure on the &quo
833.
by rtpg 2y ago
This information is definitely dated and I might be misremembering (but it was given to me right next to the clean room where ICs for satelites were being prepped), but for ICs from a certain manufacturer "rad-hardened" was basica
834.
by rtpg 2y ago
Xonsh, a Python-based shell, used to do this for startup speed reasons, but got rid of it on account of stack traces being a mess afterwards.
835.
by rtpg 2y ago
I think this is a legit sort of reasoning, but in an interesting way it's something where OCaml could fill the gap. It has its ergonomics issues, but I think the issues are basically the same/worse in Rust (except I guess Rust&#x2
836.
by rtpg 2y ago
Under is a concept in array languages, though it’s supported in a very adhoc way
837.
by rtpg 2y ago
Well firstly you can just type keywords and they get swapped by glyphs Secondly, the power with Uiua is you can easily split up that expression literally by just hitting enter in some spots (and line swapping but…). You can give names And f
838.
by rtpg 2y ago
my impression is that the language is used more for scripts than for "code" in a true sense. A bit of "how much can you juggle in your mind" going on
839.
by rtpg 2y ago
I've been messing with Uiua ( https://www.uiua.org/ ) a good amount recently, and find its sort of dance between having a stack and being an array language somehow gets you to a nice level of legibility despite being a c
840.
by rtpg 2y ago
I'm willing to accept that, but hasn't every country in the world been subsidizing energy the past couple of years? Is it more agressive than in other countries? In other words, what behavior is distinct between the UK and France

More ›