cstrahan

16 ms·

121.
by cstrahan 2y ago
> In Haskell land, where the type system is considered sound you have `head` functions of type `List a -> a` that are unsound too, because the list might be empty. Haskell's `head` not is not an example of the type system being u
122.
by cstrahan 2y ago
No, TypeScript is not unsound because it uses structural typing. A language has a sound type system if every well-typed program behaves as defined by the language's semantics during execution. Go is structurally typed, and yet it is so
123.
by cstrahan 2y ago
> and in that case there's nothing unsound about ts since it won't allow you to do so Consider this example ( https://www.typescriptlang.org/play/?ssl=10&ssc=1&pln=1&pc=1... ): function messU
124.
by cstrahan 2y ago
As a sibling comment points out, there's nothing in what you quoted that logically implies that blocking I/O is the only reason for a virtual thread to be suspended. The best info I could find was this blog post: https:/&#
125.
by cstrahan 2y ago
We'll be alright: https://www.forbes.com/sites/michaelshellenberger/2019/07/29... https://www.newscientist.com/article/mg22029445-000-admit-it... What value do you get out of b
126.
by cstrahan 2y ago
> Earth is already supporting more people than is sustainable. By what metric? If it's a matter of available land, there's plenty to go around: open Google Maps, turn on satellite imagery, center the map on Arizona, USA and zoo
127.
by cstrahan 2y ago
> i did find it interesting that 30% of ios users use Chrome. wild! As someone who used to use Chrome on iOS, it's not that wild to me: the UX of Safari on iOS sucked pretty bad for a long time (up until iOS 16, IIRC). I usually hav
128.
by cstrahan 2y ago
I can relate to this with my own story, where I managed to delete an entire database — my first day on the job, no less. I was hired by a little photo development company, doing both walk in jobs and electronic B2B orders. I was brought in
129.
by cstrahan 2y ago
> Protobuf is intentionally designed to NOT require any parsing at all. As others have mentioned, this is simply not the case, and the VARINT encoding is a trivial counterexample. It is this required decoding/parsing that (largely)
130.
by cstrahan 2y ago
> How is it not visual? Perhaps it is. But then you should be able to answer: where is that visualization on disk? And I don't mean the encoding thereof, I mean the actual 2D picture you could glance at and immediately recognize. No
131.
by cstrahan 2y ago
Here are some graphs I slapped together with matplotlib: https://imgur.com/a/VSPKtIe Both graphs are 200mg per week. Green is dosed at once every 7 days, while the blue is broken into 7 smaller doses per week. (I haven
132.
by cstrahan 2y ago
That gets you scrolling, yes, but not in the same way as without tmux. Without tmux, your terminal emulator uses its scroll-back buffer to render as you scroll, not requiring any intermediate copies of the lines of text scrolling into view.
133.
by cstrahan 2y ago
In what way does this not match your experience? You’ve mentioned one variable (retention) but not the other (salary increase over time), so your comment as it stands doesn’t refute the claim of the person you’re replying to. Are you implyi
134.
by cstrahan 2y ago
You mean this text below "Download for $OS"? curl -s " https://raw.githubusercontent.com/Ph0enixKM/AmberNative/mast... " | $(echo /bin/bash) I guess it would be too long to fit (aesthet
135.
by cstrahan 2y ago
And along these lines, one can use an older copy of the Ragel state machine generator (Ruby was eventually removed, IIRC). See for example: http://thingsaaronmade.com/blog/a-simple-intro-to-writing-a-... https:/&
136.
by cstrahan 2y ago
If what you mean by “am I missing anything?” is “am I missing out [if I haven’t/won’t read it]?”, then possibly, yes. The concepts are timeless, and depending on what you already know, you may learn something useful, or at the very lea
137.
by cstrahan 3y ago
How else would you write that? Would this be better? "Thus, no, we can't just offer full Node." Is it the use of "so" that is off limits? Or is simply providing a concise conclusion inappropriate? I don't see w
138.
by cstrahan 3y ago
I can't speak to the "is it any good" part, but (after a bit of research) I can share what I've found. I'll try to represent things as best as I understand, but I may have some finer details mixed up. ntex is writte
139.
by cstrahan 3y ago
The font is a custom build of Iosevka, which is almost certainly inspired by the commercial font Pragmata Pro ( https://fsd.it/shop/fonts/pragmatapro/ ). When Pragmata Pro was first released a little over 10 ye
140.
by cstrahan 3y ago
> convince management of the value This presupposes that such convincing is even possible. Many, many companies have leadership that are simply terrible at identifying value. If you've never been part of a majority of developers adv
141.
by cstrahan 3y ago
Sure, why not? This isn't some dichotomy: either collect data behind peoples backs, or have no way to reach out when there are recalls. An alternative option: provide an easy, obvious way to subscribe to such notifications.
142.
by cstrahan 3y ago
Hi, Texan here (used to live in Washington, D.C. and N.Y., only moved back here due to health issues about 6 years ago). I wish your perception was aligned with reality, and I see why you have the perception that you do. For all the talk
143.
by cstrahan 3y ago
YAML is kind of like C++: > You like C++ because you're only using 20% of it. And that's fine, everyone only uses 20% of C++, the problem is that everyone uses a different 20% :) https://eli.thegreenplace.net/20
144.
by cstrahan 3y ago
> It's easy to say someone is acting stupidly; it's much harder to put yourself in their shoes and understand why they might be acting that way. This statement presupposes that there is a reason. Many people simply act comple
145.
by cstrahan 3y ago
One of the definitions of "against", taken from Merriam Webster: > 4 b: in contact with > "leaning against the wall" OP's code is "in contact with" the public APIs provided by GTK. That is, OP uses t
146.
by cstrahan 3y ago
I'm pretty certain you're mistaken here. Diabetes is specifically characterized by elevated blood glucose, either due to pancreas not producing enough insulin or your body becoming descensitized to insulin. You will find that di
147.
by cstrahan 3y ago
You may want to replace your browser with one that works: https://imgur.com/a/0IOKXY8 Screenshot taken on Firefox 123.0, on macOS 14.1.
148.
by cstrahan 3y ago
You just have to first hack (or maybe even just ask nicely) another suitable species (or their technological artifacts) wherever you want to go, and have them create the biological substrate and download/upload mechanism on their end.
149.
by cstrahan 3y ago
Here's that Cambridge dictionary definition: > a type of business that is controlled by government rules And here's the comment that kicked off this sub-thread: > Often the rules that require things of a company have penalti
150.
by cstrahan 3y ago
You should go reread the conversation as your response indicates that you misunderstand the person you are replying to, suggesting that you didn't follow the thread very closely. Summarizing the salient bits here: >>>> Thos

More ›