ratmice

16 ms·

151.
by ratmice 6y ago
That explains my confusion :)
152.
by ratmice 6y ago
given that USITC is a U.S. Agency, and this is a Canadian Seizure, but also GlobalFoundries vs TSMC dispute is resolved "dismissing all litigation between them as well as those that involve any of their customers", this doesn&#x2
153.
by ratmice 6y ago
This also reminds me of mmt https://uniformal.github.io/ The primary developer of that recently gave a talk about it here https://vimeo.com/421123419
154.
by ratmice 6y ago
I can imagine wanting to use a flexible font for syntax highlighting for colorblind people and monochrome displays like eInk.
155.
by ratmice 6y ago
I think a good counterexample to the idea of startup consistency is youtube (or any other) system which extracts money by both playing ads and not playing ads.
156.
by ratmice 6y ago
I totally agree with this and think it's a valid concern, It difficult to get the best of both worlds here within the confines of the unix process model. The query style compiler isn't by necessity a single process. You could imag
157.
by ratmice 6y ago
> I don't understand your point. A function doesn't cease to be a function if it sends it's output somewhere else. I think here lies the miscommunication, I'm talking about pure functions, it doesn't cease to be
158.
by ratmice 6y ago
What build systems get wrong from a purity perspective is that the compiler has hidden inputs and outputs from the build systems perspective. You cannot infer from the inputs and outputs the DAG shape. And so you must construct an artificia
159.
by ratmice 6y ago
I didn't do a good job of explaining it, the thing is that if your compiler is truly pure, your source input is a node in a graph, the compiler is an edge, and the output is another node. Given 2 languages with pure compilers the enti
160.
by ratmice 6y ago
The assertion "all compilers were pure functions", is a strange one, because it is almost entirely backwards. the purity of compilers was abandoned almost immediately (when they started creating a file a.out and writing to that in
161.
by ratmice 6y ago
Hit the max nesting depth, but to reply about why, because winrt::import! is reading (arbitrary?) filesystem paths and there isn't an equivalent for build.rs emitting 'rerun-if-changed'. So, neither cargo nor the compiler rea
162.
by ratmice 6y ago
Bah... This seems like exactly the kind of thing that makes dependency tracking, and sandboxing compilation harder.
163.
by ratmice 6y ago
There is also a bit of weirdness here in that they aren't really the same thing, For example see this persistent union-find which is not immutable, but ensures its side-effects are safely hidden. https://www.lri.fr/~fi
164.
by ratmice 7y ago
Note that this appears to require installation of xcode, I recommend reading its license terms which require being run on apple hardware. Only very old versions of the SDK lack those license terms.
165.
by ratmice 7y ago
Lacking this is probably my biggest gripe when trying to pattern match recursive structures, though mostly closures, this saddens me, you could say my hopes have been dashed.
166.
by ratmice 7y ago
Say you are having a pizza party, and you are cooking 12 pizzas, in your pizza oven, the fire alarm is going off, but you know there is no fire, and should there be a fire it is indistinguishable from the smoke pouring out of the oven. lets
167.
by ratmice 7y ago
This is true of fonts, as per the copyright office's "Policy decision on copyrightability of digitized typefaces". However the example here, and the situation with fonts seem different. It is the case that font data is viewed
168.
by ratmice 7y ago
One thing to consider is that the copyrights for the GNU project, are assigned to (and thus owned by) the FSF. I interpret this "minimizing change in the practical aspects of this cooperation", as implying that the status quo, of
169.
by ratmice 7y ago
For what its worth these are unlikely to be from seed, as apples are very unlikely to produce fruit which matches the variety of the parent.
170.
by ratmice 7y ago
The temperate orchard conservancy is an awesome non-profit, preserving many rare varieties and distributing scions for grafting onto rootstock. They only take orders from December through January (i.e. until the end of this month). http:&#
171.
by ratmice 7y ago
Similarly all propositions in modal logic can be expressed as kripke models, which have quite the correlation to graphs As good a reference as I could find... https://rkirsling.github.io/modallogic/
172.
by ratmice 7y ago
Assuming the station is open 24 hours
173.
by ratmice 7y ago
I'm pretty sure this was around 1983/1984 See the papers "Modules for standard ML" 84, by Dave Macqueen, MacQueen had previously written a paper Modules for Hope (81) which likely influenced it. Unfortunately the SML-Fam
174.
by ratmice 7y ago
> engineering team based in Cambridge, UK Had me hoping this might something related to CHERI, but no signs to suggest that. :(
175.
by ratmice 7y ago
Not frying his pacemaker would be a hole in the perimeter
176.
by ratmice 7y ago
Can anyone recommend a good font which has good differentiation between lowercase letters and uppercase letters (when dealing with both lower/upper unicode subscripts and superscripts) Presumably lowercase letters would have a rounder
177.
by ratmice 7y ago
I don't know, normalizing at least seems reasonable constructively, sorry about the handwavyness in my reply as well! In lean specifically there is a bit more information here: https://leanprover.github.io/theorem_provi
178.
by ratmice 7y ago
I can't, perhaps lean's definition of quotient isn't constructive (I hadn't looked or noticed that), But there is at least this construction of quotients in NuPRL. http://www.nuprl.org/documents/Nogi
179.
by ratmice 7y ago
Dynamic memory allocation is not always a desirable feature. If I were running a service like Arxiv, I would much rather have fixed memory management than dynamic. Similarly, if I was running TeX in web assembly, in a tab in a browser I&#x
180.
by ratmice 7y ago
What I really like about tectonic, is that a program can use it like a library, and embed the engine without shelling out to execute programs. There is at this point some system font dependencies that need to be realized before compilation

More ›