jasperry

6 ms·

61.
by jasperry 1y ago
I remember being mildly intrigued as a kid when I started seeing PCs with the Enter key where my C64 had Return. It's ironic that, though we haven't seen a Return key for a long time, the down-left arrow symbol still used on many
62.
by jasperry 1y ago
I've never heard of blocks in block-scoped languages being called procedures. I feel like the word "block" is well understood and serves the purpose fine. In lots of other languages, things called procedures do take input, li
63.
by jasperry 1y ago
Seconded. Languages could even use "function" only for pure functions and "procedure" for everything else. Pascal uses "procedure" for things that don't return a value, but I think the pure vs. side effect
64.
by jasperry 1y ago
To push back a little: Designing the syntax of a programming language always involves tradeoffs; nothing is "just wrong". For better or worse, equal sign as assignment has become widely used and understood. I think the author&#x27
65.
by jasperry 1y ago
That's very interesting about vitamin C, I never heard that it can reduce stomach lining damage. It's surprising because things with vitamin C tend to give me heartburn, I assumed because they were acidic. Do you have any referenc
66.
by jasperry 1y ago
jMonkeyEngine is on my list of things I want to do a project in. I hope it continues to get support. It might be better for 3D than Godot (based on hearsay anyway)
67.
by jasperry 1y ago
I'm not the parent poster, but to me it's not about C# in particular, but that there is basically no other well-supported gamedev framework in a language that's 1) statically typed, 2) garbage-collected for safety and product
68.
by jasperry 1y ago
Yes, I believe they're drawn or stenciled in. Some amount of care has been taken here to produce a more professional-looking result, but you can find plenty of old typed papers where math is obviously handwritten in. Like John Nash&#x2
69.
by jasperry 1y ago
"There is a sense in which we are all alchemists." --Schopenhauer
70.
by jasperry 1y ago
You didn't list all functions, just input-output pairs. Each function is a map from every possible input to an output: f1 False = Nothing, f1 True = Nothing f2 False = Nothing, f2 True = Just True ... This gives the correct 3^2 = 9 fun
71.
by jasperry 1y ago
Your comment makes me think the kind of people who favor OCaml over Rust wouldn't necessarily value a huge ecosystem or the most advanced tooling. They're the kind who value the elegance aspect above almost all else, and prefer to
72.
by jasperry 1y ago
Question about terminology: Is it common to call higher-order function types "exponential types" as the article does? I know what higher-order functions are, but am having trouble grasping why the types would be called "expon
73.
by jasperry 1y ago
This is alluded to in the article, but not fleshed out: To me the ideal is to not have any limit on the length of _logical_ lines, but have the editor do syntax-aware _visual_ line wrapping. Then, people can view the code at any column widt
74.
by jasperry 1y ago
Thanks, but it looks like the web version doesn't let you do anything unless you sign in with Google or Facebook.
75.
by jasperry 1y ago
I quit Wordle when NYT bought it and started asking me to make an account. But I started again using the app because one of my kids does it and, as the article says, it does give something to talk to people about. So far, you don't hav
76.
by jasperry 1y ago
Yes, this. I'm a long time XFCE user but when I got a beefier machine I switched to KDE, and unlike XFCE it manages the hardware thoroughly enough (sleep/brightness/network/audio) that I don't have to manually hack
77.
by jasperry 1y ago
I also hoped it was actual emulation. I could tell it wasn't when I saw the bootup progress bar moving more smoothly than it ever did in real Windows :)
78.
by jasperry 1y ago
Could be, I'm not that far along yet. I've only just peeked into the incremental API. I'm still using the error token to try to improve my messages. It's just for syntax errors anyway, right?
79.
by jasperry 1y ago
I did learn about LR parser generators first in my Compilers class in college, but I assumed they were generally known about in language development communities.
80.
by jasperry 1y ago
But remember that the articles arguing for recursive descent parsers are arguing against the long-dominant paradigm of using LR parsers. Plenty of us still like LR parser generators (see my other comment.) In between "easiest to get st
81.
by jasperry 1y ago
> If I was routinely working in a language that had a well respected de facto standard parser generator and lexer, and regularly building parsers for little languages for my programs, it would probably be worth mastering these tools. In
82.
by jasperry 1y ago
One of the primary uses of public-key encryption is key exchange at the beginning of a session that is subsequently encrypted using symmetric encryption. That's how every TLS session works, because public-key encryption is too slow for
83.
by jasperry 1y ago
That's also what I heard about traditional one-way hash functions and quantum. It's a theoretical result for now...
84.
by jasperry 1y ago
This is about the foundations of symmetric encryption. The authors are looking for constructions that give similar security guarantees to one-way functions if you live in the quantum world, and one-way functions are the theoretical foundat
85.
by jasperry 1y ago
A pretty middling article from quanta--I expect better science writing from them. This one seems to be trying too hard to avoid being concrete, leaning into vague, unhelpful analogies. Still, I appreciate their work to publicize important t
86.
by jasperry 1y ago
I agree. This is a very enlightening discussion of individual glyph features that affect readability. But the thing that hit me immediately is the difference in how expanded or condensed these fonts feel. Even though in the examples, the te
87.
by jasperry 1y ago
Rust semantics owes a lot to ML, but the borrow checker makes programming in Rust very different from other ML-derived languages, which are almost all garbage-collected.
88.
by jasperry 1y ago
Okay, I'll bite. ML did not mostly die, it morphed into two main dialects, SML and OCaml. OCaml is still going strong, and it's debatable whether SML is mostly dead. My main beef, however, is that the last sentence in the section
89.
by jasperry 1y ago
I agree with this. I'd go even further and say that dot syntax should only be used to access things that are /actually a part of the object/, whether record fields or methods. If you use the dot for everything just because it
90.
by jasperry 1y ago
Sure, there are plenty of computations where you don't need much space no matter how many times you loop--like if you're just updating a single sum. But there are other problems where each time through the loop you might need to a

More ›