Here's a much better article with a similar title: https://pdfs.semanticscholar.org/c9e7/3fc7ec81458057e6f96de1...
I can recommend SF, I just started it a week ago without prior Coq experience. I'm using the VSCode integration which helps, CoqIDE is a bit clunky.
At that point aren't you just doing normal Racket pattern matching? (match (list (> x y) (stringp foo) (oddp n)) [(list #t _ #t ) (whatever)] [(list _ #t _ ) (other-thing)] [(list #t #f _ ) (etc)]) ... or is that the…
Swift C# has the ability to opt-into default checked arithmetic. I don't know of anyone that uses it...
This looks really good, thanks! Nice support for isometry.
That's just Windows. There's no combined codebase akin to Google's.
The difference is that a French text must be finite.
("Free-format") Fortran has a max line length of 132 chars, up from ("fixed-format") 72 chars on punch cards.
Yeah, I originally qualified everything and then figured most readers of the site are USian anyway ;)
FYI: `languæge` and `charæcters` don’t make much sense—‘æ’ and ‘œ’ usually changed to simple ‘e’ in modern English (Encyclopædia, mediæval), unless at the start of a word (æsthetics). There are variations, ‘œ’ seems to…
That's mostly because Encyclopædia Britannica is styled that way.
Also why Menzies is pronounced "mingiz": https://en.m.wikipedia.org/wiki/Menzies
Haskell for one, but lots of others: https://en.wikipedia.org/wiki/Green_threads
Forgive my ignorance, but if you're issuing certificates for internal hostnames that you want to keep private, why would you need a public cert? Wouldn't an internal CA be better?
That page is just an inferior version of the source: https://www.geonet.org.nz/quakes/felt
> After instructions, participants were given printouts of sample code they could refer to while solving tasks. Group Lambda got code of a C++ program using lambda expressions and group Iterator received code of the…
The Tài Xuán Jīng symbols are, however. A subset can be used like: 𝌆𝌇𝌉𝌊𝌏𝌐𝌒𝌓𝌡𝌢𝌤𝌥𝌪𝌫𝌭𝌮 So Unicode has Bagua (3 bits), Tài Xuán Jīng (4 trits), and I Ching (6 bits, but incomplete).
I{HEART}COM
> Calculating the size of a static array. std::size is in C++17: http://en.cppreference.com/w/cpp/iterator/size
This is hilarious.
Because that seems to be what the person who came up with the "63 MB" figure has done.
Something does seem funky. The website looked like this in 1997: http://web.archive.org/web/19970418234503id_/http://www.bath... [This page is 3,780 bytes.] In fact, you can find the server stats from back then:…
These exist in Haskell as "Pattern Synonyms". Here's a partial translation of some of the F# examples on MSDN to Haskell; {-# LANGUAGE PatternSynonyms, ViewPatterns #-} pattern Even <- ((`mod` 2) -> 0) pattern Odd <-…
The point here is not particularly about signedness, it's that UB allows better optimizations to be performed. If overflow is defined to wrap around then it's potentially an infinite loop (take N == MAXVALUE). With…
> It seems the terrible performance of the STL can be explained by std::string: this thing hits the general purpose allocator every time a new string is constructed. In this benchmark, that means every time we insert a…
Here's a much better article with a similar title: https://pdfs.semanticscholar.org/c9e7/3fc7ec81458057e6f96de1...
I can recommend SF, I just started it a week ago without prior Coq experience. I'm using the VSCode integration which helps, CoqIDE is a bit clunky.
At that point aren't you just doing normal Racket pattern matching? (match (list (> x y) (stringp foo) (oddp n)) [(list #t _ #t ) (whatever)] [(list _ #t _ ) (other-thing)] [(list #t #f _ ) (etc)]) ... or is that the…
Swift C# has the ability to opt-into default checked arithmetic. I don't know of anyone that uses it...
This looks really good, thanks! Nice support for isometry.
That's just Windows. There's no combined codebase akin to Google's.
The difference is that a French text must be finite.
("Free-format") Fortran has a max line length of 132 chars, up from ("fixed-format") 72 chars on punch cards.
Yeah, I originally qualified everything and then figured most readers of the site are USian anyway ;)
FYI: `languæge` and `charæcters` don’t make much sense—‘æ’ and ‘œ’ usually changed to simple ‘e’ in modern English (Encyclopædia, mediæval), unless at the start of a word (æsthetics). There are variations, ‘œ’ seems to…
That's mostly because Encyclopædia Britannica is styled that way.
Also why Menzies is pronounced "mingiz": https://en.m.wikipedia.org/wiki/Menzies
Haskell for one, but lots of others: https://en.wikipedia.org/wiki/Green_threads
Forgive my ignorance, but if you're issuing certificates for internal hostnames that you want to keep private, why would you need a public cert? Wouldn't an internal CA be better?
That page is just an inferior version of the source: https://www.geonet.org.nz/quakes/felt
> After instructions, participants were given printouts of sample code they could refer to while solving tasks. Group Lambda got code of a C++ program using lambda expressions and group Iterator received code of the…
The Tài Xuán Jīng symbols are, however. A subset can be used like: 𝌆𝌇𝌉𝌊𝌏𝌐𝌒𝌓𝌡𝌢𝌤𝌥𝌪𝌫𝌭𝌮 So Unicode has Bagua (3 bits), Tài Xuán Jīng (4 trits), and I Ching (6 bits, but incomplete).
I{HEART}COM
> Calculating the size of a static array. std::size is in C++17: http://en.cppreference.com/w/cpp/iterator/size
This is hilarious.
Because that seems to be what the person who came up with the "63 MB" figure has done.
Something does seem funky. The website looked like this in 1997: http://web.archive.org/web/19970418234503id_/http://www.bath... [This page is 3,780 bytes.] In fact, you can find the server stats from back then:…
These exist in Haskell as "Pattern Synonyms". Here's a partial translation of some of the F# examples on MSDN to Haskell; {-# LANGUAGE PatternSynonyms, ViewPatterns #-} pattern Even <- ((`mod` 2) -> 0) pattern Odd <-…
The point here is not particularly about signedness, it's that UB allows better optimizations to be performed. If overflow is defined to wrap around then it's potentially an infinite loop (take N == MAXVALUE). With…
> It seems the terrible performance of the STL can be explained by std::string: this thing hits the general purpose allocator every time a new string is constructed. In this benchmark, that means every time we insert a…