Perhaps worth noting that the number of lines in a cache is often different than the number of rows, which can be relevant for some workloads. The size of an ordinary cache is rows × ways × size(line), where rows = 2 ↑…
There’s an analysis of the Schraudolph approximation of the exponential function (along with an improvement upon it) that someone might find interesting at https://typ.dev/attention#affine-cast
SPRT is used religiously in engine development today. There is enormous incentive to test efficiently. https://github.com/official-stockfish/fishtest/wiki/Fishtest...
You may want to ask in the Stockfish discord: https://discord.com/invite/GWDRS3kU6R
I believe Peano dot notation works the other way ’round; A . B : C :. D would be, as I understand it, equivalent to: ((A B) C) D The “general principle” is that a larger number of dots indicates a larger subformula.¹…
I may be wrong, but I believe the name of the type family is simply Times New; the name of the italic face would then be Times New Italic rather than the contradictory Times New Roman Italic. It’s strange that the name…
> A data race occurs any time two threads access the same memory location concurrently and non-deterministically when at least one of the accesses is a write. From what I understand of the C++ memory model (shared by C…
I’d argue there’s a very big difference between “x: y” and “x : y”. I can only see the former as assignment and the latter as the has-type relation. (I find it baffling in the extreme that in many mainstream languages…
A small nit: the development of Unix began on the PDP-7 in assembly, not the PDP-11. (The B language was implemented for the PDP-7 before the PDP-11, which are rather different machines. It’s sometimes suggested that…
I’ve noticed that, besides the magnetism and drive for sex (which would be sufficient for a species to propagate), many people also experience the biological imperative (wanting their genes replicated) as its own…
At some point in my life I unconsciously decided that charisma (in this sense) was something I did not want to exercise, and was perhaps even wrong to exercise. In so many facets of our lives already, our wants are…
People may also be interested in the Tako shell, which is a fork of Xonsh that “sacrifice[s] some of the ‘fancy stuff’ so that basic shell operations work as expected, the codebase is small, and things are as performant…
You’d perhaps be better off using U+2002 EN SPACE (or the canonically equivalent U+2000 EN QUAD). From what I recall, the size of a typical interword space is ⅓ of an em, and traditionally a bit more than this is…
Belying the name somewhat, I believe U+3000 is specifically meant for use with Sinoform logographs, having the size of a (fullwidth character) cell, and so it makes little sense in other contexts.
I've always been mystified by that expansion. "The featured article" seems to me to make much more sense.
Perhaps “The Typefaces of Wall·E”, plural?
Those aren’t syllable divisions, they’re hyphenation points! From the footnote on page 219 of Word by Word by Kory Stamper (formerly a lexicographer at Merriam-Webster): > Here is the one thing that our pronunciation…
The title of the submission should be changed to “Type in Wall·E”, “Typesetting in Wall·E”, or “Typography in Wall·E”; the word “typeset” is a verb or past participle, not a noun.
My line of thinking roughly was, "each type system corresponds to a particular logic system and vice versa; in a proof by induction, the different cases correspond to the type constructors, but what does the necessary…
How does infinite descent work using a proof assistant? It's been quite a while, so I may be remembering incorrectly, but this is my understanding: Coq uses an inductive type like "N = 0 : N | S : N → N", and a…
> Research has generally linked economic inequality to political and social instability, including revolution, democratic breakdown and civil conflict. https://en.m.wikipedia.org/wiki/Economic_inequality
Using indices is a (slight) improvement over pointers, since in Rust you will benefit from bounds checking (restricting you to the memory allocated for that tree). (If you use u32 for the indices, you also save some…
This is beside the point, but the only way an engine can possibly search to depth 20 is by being extremely selective, using heuristics to guess move quality (such as static exchange analysis, the killer move heuristic,…
Or https://looo.lol/?x=1, https://looo.lol/?x=2, or https://looo.lol/?x=-1 (good luck!), or https://looo.lol/?x=10...0 ("Infinity", if you replace the ellipsis with 306 zeroes or so).
365·243 ought to be 365·2425 exactly: Per 400 years, there is one leap day every 4 years (100 leap days), except when the year is divisible by 100 (so we overcounted by 4 and there are 100 – 4 = 96 leap days), except…
Perhaps worth noting that the number of lines in a cache is often different than the number of rows, which can be relevant for some workloads. The size of an ordinary cache is rows × ways × size(line), where rows = 2 ↑…
There’s an analysis of the Schraudolph approximation of the exponential function (along with an improvement upon it) that someone might find interesting at https://typ.dev/attention#affine-cast
SPRT is used religiously in engine development today. There is enormous incentive to test efficiently. https://github.com/official-stockfish/fishtest/wiki/Fishtest...
You may want to ask in the Stockfish discord: https://discord.com/invite/GWDRS3kU6R
I believe Peano dot notation works the other way ’round; A . B : C :. D would be, as I understand it, equivalent to: ((A B) C) D The “general principle” is that a larger number of dots indicates a larger subformula.¹…
I may be wrong, but I believe the name of the type family is simply Times New; the name of the italic face would then be Times New Italic rather than the contradictory Times New Roman Italic. It’s strange that the name…
> A data race occurs any time two threads access the same memory location concurrently and non-deterministically when at least one of the accesses is a write. From what I understand of the C++ memory model (shared by C…
I’d argue there’s a very big difference between “x: y” and “x : y”. I can only see the former as assignment and the latter as the has-type relation. (I find it baffling in the extreme that in many mainstream languages…
A small nit: the development of Unix began on the PDP-7 in assembly, not the PDP-11. (The B language was implemented for the PDP-7 before the PDP-11, which are rather different machines. It’s sometimes suggested that…
I’ve noticed that, besides the magnetism and drive for sex (which would be sufficient for a species to propagate), many people also experience the biological imperative (wanting their genes replicated) as its own…
At some point in my life I unconsciously decided that charisma (in this sense) was something I did not want to exercise, and was perhaps even wrong to exercise. In so many facets of our lives already, our wants are…
People may also be interested in the Tako shell, which is a fork of Xonsh that “sacrifice[s] some of the ‘fancy stuff’ so that basic shell operations work as expected, the codebase is small, and things are as performant…
You’d perhaps be better off using U+2002 EN SPACE (or the canonically equivalent U+2000 EN QUAD). From what I recall, the size of a typical interword space is ⅓ of an em, and traditionally a bit more than this is…
Belying the name somewhat, I believe U+3000 is specifically meant for use with Sinoform logographs, having the size of a (fullwidth character) cell, and so it makes little sense in other contexts.
I've always been mystified by that expansion. "The featured article" seems to me to make much more sense.
Perhaps “The Typefaces of Wall·E”, plural?
Those aren’t syllable divisions, they’re hyphenation points! From the footnote on page 219 of Word by Word by Kory Stamper (formerly a lexicographer at Merriam-Webster): > Here is the one thing that our pronunciation…
The title of the submission should be changed to “Type in Wall·E”, “Typesetting in Wall·E”, or “Typography in Wall·E”; the word “typeset” is a verb or past participle, not a noun.
My line of thinking roughly was, "each type system corresponds to a particular logic system and vice versa; in a proof by induction, the different cases correspond to the type constructors, but what does the necessary…
How does infinite descent work using a proof assistant? It's been quite a while, so I may be remembering incorrectly, but this is my understanding: Coq uses an inductive type like "N = 0 : N | S : N → N", and a…
> Research has generally linked economic inequality to political and social instability, including revolution, democratic breakdown and civil conflict. https://en.m.wikipedia.org/wiki/Economic_inequality
Using indices is a (slight) improvement over pointers, since in Rust you will benefit from bounds checking (restricting you to the memory allocated for that tree). (If you use u32 for the indices, you also save some…
This is beside the point, but the only way an engine can possibly search to depth 20 is by being extremely selective, using heuristics to guess move quality (such as static exchange analysis, the killer move heuristic,…
Or https://looo.lol/?x=1, https://looo.lol/?x=2, or https://looo.lol/?x=-1 (good luck!), or https://looo.lol/?x=10...0 ("Infinity", if you replace the ellipsis with 306 zeroes or so).
365·243 ought to be 365·2425 exactly: Per 400 years, there is one leap day every 4 years (100 leap days), except when the year is divisible by 100 (so we overcounted by 4 and there are 100 – 4 = 96 leap days), except…