jackfoxy

38 ms·

361.
by jackfoxy 9y ago
No mention of the kinds of pigments and binders. That would be interesting to know as well.
362.
by jackfoxy 9y ago
I'm not so sure they are independent of government influence, given all the research grants, etc., but I think the influence between government and academia is a two-way street.
363.
by jackfoxy 9y ago
Return to the pre-1978 copyright law. Done.
364.
by jackfoxy 9y ago
I like the topics Phillip lists at the end he especially wants to focus on in terms of delivery from Microsoft. Achieving all of these as well as a 4.2 version of the language would be a great win for the F# community.
365.
by jackfoxy 9y ago
I read Ozymandias more than once, but that was decades ago, and you had to remind me of the author. I do think Mary has made a more lasting impression over the centuries. We read and discussed the romantic passages of Frankenstein in my
366.
by jackfoxy 9y ago
> F# is underwhelming by comparison with Scala Please elaborate. This is the first I have heard from someone experienced in both F# and Scala to assert this.
367.
by jackfoxy 9y ago
The folks at https://sweetbridge.com/ make a case for supply chain being a natural fit. Some of the low hanging fruit here is international trade between less developed countries, where settlement has to be done in dollars,
368.
by jackfoxy 9y ago
Microsoft's Language Integrated Quantum Operations Simulator is available on Github http://stationq.github.io/Liquid/
369.
by jackfoxy 9y ago
OP here. Since Martin-Löf type theory has introduced dependent types through the dependent function. No one I am aware of has improved on this approach, or even attempted a different way of introducing dependent types. And I think theory is
370.
by jackfoxy 9y ago
I'm pretty sure there are vector libraries available to F#. Dig around and you will find them. Then just apply dependent type to a type in that library. I don't work with them myself.
371.
by jackfoxy 9y ago
a dependent type is a type whose definition depends on a value https://en.wikipedia.org/wiki/Dependent_type
372.
by jackfoxy 9y ago
How can you do a compile time check on data that has not entered the system? You can apply the same technique to Vect 3 [1,2,3] or any other type.
373.
Dependent Types for F#(jackfoxy.github.io)
136 points by jackfoxy 9y ago|51 comments
374.
by jackfoxy 9y ago
How about an F# port of this? Aside from it being a very handy language for ETL type tasks, I suspect your average excel power user who otherwise does not program could more easily wrap his head around the functional paradigm.
375.
by jackfoxy 9y ago
I recently had a conversation with a Microsoft quantum researcher, and this a close approximation to his answer. I just wanted a number. It's complicated.
376.
by jackfoxy 9y ago
I cannot get this to display the latin, although I select view by default original language and update preferences.
377.
Simplicity Itself for Blockchains(blockstream.com)
2 points by jackfoxy 9y ago|0 comments
378.
by jackfoxy 9y ago
All in all, pretty impressive engineering project, correcting engineering defects dating back more than 50 years.
379.
by jackfoxy 9y ago
> if applicants ask — must give them a pay range for the job they are seeking I find this a much bigger deal. This gives applicants much more leverage and wastes less of their time. No non-competes in California, and now this.
380.
by jackfoxy 9y ago
Exactly this. I lose my open tabs every 2 weeks or so. I've reported this to the black hole of Edge feedback on numerous occasions. How hard can this be to get right?
381.
by jackfoxy 9y ago
> The cryptocurrency world is basically rediscovering a vast framework of securities and consumer protection laws that already exist; and now they know why they exist. Can this framework be re-invented, perhaps on the blockchain, to be m
382.
Canadian poet laureate Pierre DesRuisseaux accused of plagiarizing(nationalpost.com)
1 points by jackfoxy 9y ago|0 comments
383.
by jackfoxy 9y ago
Yep. Didn't think through writing that, did I?
384.
by jackfoxy 9y ago
Granted. I'll throw out the cloud platform, but keep the others. 1) There is no substitute for the relational model. Clearly it is a paradigm for building mathematical objects. 2) I didn't strongly advocate my choice of F#. Strong
385.
by jackfoxy 9y ago
and that is?
386.
by jackfoxy 9y ago
In that case I won't waste my time reading this, but submit my outline of a Useful Theory of Software Engineering: It comes down to making a good choice in each of the following areas. (My choice is in parens, along with my comments.)
387.
by jackfoxy 9y ago
I read all 3 volumes of the 2nd edition in the 90s. A couple of the long difficult proofs I glossed over. IIRC I read all the problems, but can't say I worked through very many. Vol 4a is on the coffee table in my office and I occasion
388.
by jackfoxy 9y ago
Early in the rebellion the confederates were determined to establish the legitimacy of their secession, which would include respecting property. The camels were the property of the U.S. government.
389.
by jackfoxy 9y ago
Yes, I cut my teeth in technical reading on the 370 PoPs manual (Principals of Operations). IIRC it was the authoritative assembler reference. Many IBM manuals had a distinctive turn of phrase for operations which would crash. I can't
390.
by jackfoxy 9y ago
You might want to take a look at this announcement RE: F# https://blogs.msdn.microsoft.com/dotnet/2017/08/14/f-and-net... (does not mention native, but does address other deficiencies)

More ›