Smaug123

69 ms·

931.
by Smaug123 6y ago
"Build Systems à la Carte" is not so much ringing a bell as shattering it with the force of its dong. https://www.microsoft.com/en-us/research/uploads/prod/2018/0... To expand, the OP ends
932.
by Smaug123 6y ago
"interface", "import", "struct", "constant", "defer", "func", "select" are all directly Latin words, truncations of Latin words, or obvious portmanteaus of Latin words. &
933.
by Smaug123 6y ago
Indeed: your language needs to support the ad-hoc creation of these primitives in a first-class way. (Which is why I still consider a typed language without union types to be fundamentally crippled.)
934.
Continuation-Passing Style(gresearch.co.uk)
1 points by Smaug123 6y ago|0 comments
935.
by Smaug123 6y ago
I prefer "blocklist" and "allowlist" which sound more natural to me, but you could certainly use "denylisted this IP".
936.
by Smaug123 6y ago
Please don't be hysterical. In case you're getting angry at the downvotes, I can tell you why you're getting them. There are only two lines of content in your comment other than tribal affiliation signal. One of them is a fac
937.
by Smaug123 6y ago
Downvoted because sneering dismissal serves no purpose except to make discourse more toxic.
938.
by Smaug123 6y ago
In case you hadn't heard of Simon Wardley's "pioneers, town planners, settlers" model, it seems relevant to your third paragraph ( https://blog.gardeviance.org/2015/03/on-pioneers-settlers-to...
939.
by Smaug123 6y ago
Dependent types are one way to achieve that effect, but I think what you're actually referring to is "refinement types".
940.
by Smaug123 6y ago
Agreed. I'd say the link should be to https://docs.toit.io/ , which at least attempts to answer the question "why does this language exist?" (the most important question).
941.
by Smaug123 6y ago
Yes? Right now there are two such links on the front page. It's pretty common in general: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... Three days ago we had https://news.ycombi
942.
by Smaug123 6y ago
If I've worked with someone for three years, shouldn't I have discovered how to work with them along the way already?
943.
by Smaug123 6y ago
Can you distinguish yourself from the INTJ description? This was my main problem with the personality types: I agreed wholeheartedly with the (rather long!) descriptions of maybe five of the sixteen.
944.
by Smaug123 6y ago
I think it's not as bad as you make out. Over time, with thousands and thousands of words written, I get the impression people are actually converging on some semblance of truth. In my rather optimistic view of what's happening: i
945.
by Smaug123 6y ago
Full text of Edwin Brady's tweet: > A mundane use of dependent types... I just tried to add an environment variable to Idris 2, and it wouldn't compile because I forgot to add it to the --help output. > offers compiler a je
946.
A mundane use of dependent types(twitter.com)
107 points by Smaug123 6y ago|45 comments
947.
by Smaug123 6y ago
If the purpose is merely to understand how people different from you view the world, then why take the test at all, rather than just reading about the ~sixteen personality types MBTI distinguishes between? The MBTI consultant who administer
948.
by Smaug123 6y ago
You are aware of the Barnum effect, I presume? ( https://en.wikipedia.org/wiki/Barnum_effect )
949.
by Smaug123 6y ago
Really? I certainly don't take MBTI seriously, but I use that as a rough definition of introversion.
950.
by Smaug123 6y ago
I must say I was extremely amused when I took MBTI, that one of the last questions was essentially "did you think this test was a load of bollocks?" It's like they created the test, administered it to a bunch of people to try
951.
by Smaug123 6y ago
It appears in the table of commands at the bottom of the screen by default, doesn't it?
952.
by Smaug123 6y ago
The Vi bindings in IntelliJ-based IDEs are pretty damn good in my experience. Certainly I feel a lot happier { and }'ing my way around, and having my `ce` and `gg` and `C`, in Rider.
953.
by Smaug123 6y ago
"Split screen" as in make a new window? Sure - `:vs` ("vertical split"), or `:vs filename.txt`. Or there's the "Windows" section on https://thevaluable.dev/vim-intermediate/ .
954.
by Smaug123 6y ago
This is, quite astonishingly, a mechanical prime factorisation machine. See http://ed-thelen.org/comp-hist/Mike-Williams-Lehmer.html for more. Thanks to https://mathoverflow.net/a/385008/83468
955.
Lehmer Sieve(en.wikipedia.org)
5 points by Smaug123 6y ago|1 comments
956.
by Smaug123 6y ago
I think the most interesting design space is around not requiring normalisation. After all, if you have a normal form, you can probably represent it with sum and product types. Cubical Agda gives you this ability but it's really hard
957.
by Smaug123 6y ago
No. To satisfy the complaint, you would have to be able to create the rational-number type yourself in userspace, and moreover it would have to be built in such a way that you didn't need to worry much about cancellation. Analogously,
958.
by Smaug123 6y ago
Have you tried F#, which has units of measure (with no runtime cost, due to erasure) built in?
959.
by Smaug123 6y ago
Quotients are a bit of an unsolved problem even in Agda. Cubical Agda makes the definition easier but makes it much harder to work with the resulting datatype, while if you don't use higher inductive types you end up in setoid hell w
960.
by Smaug123 6y ago
Even if the ID variable is an integer (and therefore you're immune to injection), it's still inefficient. If you use the command "select * from Customer where ID=@id" and you set ID as a parameter instead, then caching c

More ›