wk_end

22 ms·

361.
by wk_end 1y ago
Why does Figure 5 only include those eight countries?
362.
by wk_end 1y ago
I might be missing this, but I'm not seeing anything about how the type system handles (or doesn't) polymorphism - generics, traits, that sort of thing. Is that in there?
363.
by wk_end 1y ago
With the caveats that 1) I suspect that this isn't actually data-driven as RFK Jr. is an anti-vax nut and 2) personally I think the government should fund vaccine development: Were Shockley, Franklin, or Watts funded by the US govern
364.
by wk_end 1y ago
Compared to much of what went on comp.lang.lisp this is pretty gentle. Based on the impression it gives of the book, possibly more gentle than it deserves!
365.
by wk_end 1y ago
I get some ads (not using an ad blocker) but nothing NSFW. This is Blogspot, unless something real weird is going on you’re just seeing normal Google ads. I have found, in my travels, that Google (Meta too) doesn’t moderate its ads as well
366.
by wk_end 1y ago
If we assume good faith on the part of the Israelis, and believe that the GHF is genuinely an attempt to feed the civilian population of Gaza without food and money making its way to Hamas, it's clearly totally inadequate. There are
367.
by wk_end 1y ago
The question of whether you can find third-hand (or even first-hand) accounts of Zionists saying or doing bad things doesn’t really have any bearing on the question of to what extent Jews faced persecution, or to what extent that persecutio
368.
by wk_end 1y ago
Is there something out there (in TypeScript, preferably) that does things in the way that you’re describing?
369.
by wk_end 1y ago
The problem is your comment doesn't make much sense unless you come to the conclusion I did - who cares if they weren't traumatized by the Holocaust specifically (of course they weren't!) if they were instead traumatized by,
370.
by wk_end 1y ago
> The leadership and foot soldiers of the early Zionist project in Palestine (1900s), were not suffering from the trauma of the Holocaust (it was decades before) and did not suffer from any meaningful antisemitism I might be misreading y
371.
by wk_end 1y ago
This is very obviously generated by ChatGPT. Sigh.
372.
Fallout programmer Tim Cain on the game's memory model [video](youtube.com)
1 points by wk_end 1y ago|0 comments
373.
by wk_end 1y ago
There are literally textbooks on computational theory, with tons of example proofs. I'm sure there are models trained on them. Why hasn't ChatGPT produced a valid P vs. NP proof yet?
374.
by wk_end 1y ago
Impossible is good enough that - in the right context, if you squint real hard - you'd be hard-pressed to distinguish it from the real deal. Beyond just isn't there, it still comes off as a weird faux meat.
375.
by wk_end 1y ago
ReasonML is just OCaml with a different syntax. It sort of very loosely resembles JS syntactically in that it's got curly braces, but that's about as far as the similarities go - about as much as Rust resembles C. The type system
376.
by wk_end 1y ago
The documentation is really incomplete. It's not at all clear how similar to TypeScript this is...does this support structural subtyping? Type manipulation? Iterators/generators? Async?
377.
by wk_end 1y ago
C# is a lovely language but it's not that similar to TypeScript. The big distinction (for me) is that it's nominally-typed and much more rigid. Unless things have changed a lot since I last touched it (admittedly a while ago): You
378.
by wk_end 1y ago
I'd love to see someone develop a compiler for TypeScript that got, say, Ocaml-like performance. There's a bunch of reasons why that'd be tough though - you'd probably want a language very-similar-to-but-not-quite-like-T
379.
by wk_end 1y ago
Yes, I'd say Python's crown as the go-to lightweight scripting and web development language was mostly ceded to JS. It's still reigning champion of data science, and of course it has a huge number of uses and users still arou
380.
by wk_end 1y ago
I can imagine someone who sketches out little proofs in their head - or even on paper - missing that case too. It’s easy to forget you’re not doing normal arithmetic when doing arithmetic in C!
381.
by wk_end 1y ago
They’re riffing on the “Men will do anything but go to therapy” meme.
382.
by wk_end 1y ago
I agree with OP that this seems a little unfortunate, even though it's pretty par for the course. "Bugs are not recoverable errors" is such a fuzzy idea. On the one hand, indexing an array with an out-of-bounds integer could
383.
by wk_end 1y ago
> the CppInterOp approach to cpp interop is completely janky (no pun intended). the approach literally string munges cpp and then parses/interprets it to emit ABI compliant calls. So, I agree that this sounds janky as heck. My quest
384.
by wk_end 1y ago
It is, but your reply seems like a non-sequitur. The point OP was making was that it doesn't return an Option or Maybe or anything like that, meaning that there's a failure case untracked by the type system.
385.
by wk_end 1y ago
I don't really think it is...in Washington State for instance the highway through the Seattle suburbs is called "the four-oh-five" (there's a Death Cab For Cutie song about this one).
386.
by wk_end 1y ago
Even though I lived in the US for a decade, it still surprises me to learn that certain words are Canadianisms. I wonder how often people had no idea what I was talking aboot and just didn't speak up.
387.
by wk_end 1y ago
Odd, I grew up in Toronto and Grade 1 sounds fine to me.
388.
by wk_end 1y ago
Physics is a hard science. Software development is applied engineering. I’m sure there are applied engineering fields adjacent to physics where papers are fairly readable by practitioners. Most developers would struggle quite a bit to read
389.
by wk_end 1y ago
If you're effectively always in a stateful monad, Haskell's purity offers nothing. Code doesn't look like equations, things aren't trivially testable and REPLable, you don't get a free time machine, and there&
390.
by wk_end 1y ago
Haskell and OCaml are excellent for compilers , because - as you suggest - you end up building, walking, and transforming tree data structures where sum types are really useful. Lisp is an odd suggestion there, as it doesn’t really have an

More ›