profquail

14 ms·

91.
by profquail 9y ago
I believe the |> operator has been around for a while -- I've seen it used in some older Standard ML code, but just as a user-defined operator and not part of the basis library. F# included it in the core library for the language an
92.
by profquail 9y ago
Can it extract [Z] to some bigint implementation based on gmp? That should still be safe but provide better performance than using Peano arithmetic.
93.
Faster zlib compression by optimizing longest_match()(gildor.org)
1 points by profquail 9y ago|0 comments
94.
by profquail 9y ago
What does (lack of) wealth have to do with the effectiveness of the treatment? The article mentions that in the US there's enough donated human skin for grafts; that appears not to be the case in Brazil. Until that changes, this appear
95.
by profquail 9y ago
What about fuzzy logic? It's not giving you probabilities of something being true; rather, it gives you a measure "how true" something is (rather than being 100% true or 100% false).
96.
by profquail 10y ago
How long ago were you at your last company? I wonder which version of InfluxDB your coworkers were using? There've been some significant performance improvements in v1.0.0 and beyond, compared to the earlier beta releases.
97.
by profquail 10y ago
The F# ||> operator is provided by the core library. Over-use of custom operators is something I always push back on in F# codebases; they can sometimes be useful in making code more expressive, but the downside is it makes the code sign
98.
Estimating poverty using cell phone data: Evidence from Guatemala(documents.worldbank.org)
1 points by profquail 10y ago|0 comments
99.
by profquail 10y ago
F# works well on Mono, well enough to start learning/developing on until .NET Core gets to real production-grade status on Linux. (I've only toyed with .NET Core on Mac/Linux - it worked well enough for some simple stuff - bu
100.
by profquail 10y ago
Isabelle is another language for program verification / theorem proving, similar to Dafny and Coq: https://isabelle.in.tum.de/
101.
by profquail 10y ago
Looks like this technique is covered by a patent claim by a 3rd party? (See the link on that page to download their software.)
102.
by profquail 10y ago
Yes - that's the Curry-Howard isomorphism: https://en.wikipedia.org/wiki/Curry–Howard_correspondence
103.
by profquail 10y ago
> What is going on with our regulators? AT&T has reached an agreement to buy TWC. The deal has been neither reviewed nor approved by regulators (yet).
104.
by profquail 10y ago
Google Scholar is also useful for this, and indexes CiteSeerX: http://scholar.google.com
105.
Urban heat islands and street trees in Philadelphia(urbanspatialanalysis.com)
86 points by profquail 10y ago|19 comments
106.
by profquail 10y ago
Right around the time I started reading HN, someone found a timing attack against news.arc and posted a really interesting write up about it: http://news.ycombinator.com/item?id=639976
107.
by profquail 10y ago
Something like plmake then? (plmake is a build system written in prolog) https://github.com/cmungall/plmake
108.
by profquail 10y ago
Memory bandwidth is important too. The Knights Landing processors have a 16GB on-chip memory to the cores have significantly higher bandwidth than you'd get with DDR4; the additional memory bandwidth makes more of an impact on the runt
109.
by profquail 10y ago
Frank McSherry was a researcher at MSR Silicon Valley; when the office was closed in 2014, most (all?) of the researchers were also let go. Frank was a member of a research group working on differential dataflow; not long before the office
110.
Quake 1 ported to Vulkan(github.com)
3 points by profquail 10y ago|0 comments
111.
by profquail 10y ago
I found "Learn Prolog Now" to be a simple, easy-to-read site for learning Prolog: http://www.learnprolognow.org/ The website text (free) is the first edition of the book; the authors have also published a second e
112.
by profquail 10y ago
To name a few: * Haskell * F# * TypeScript * Orleans * Roslyn * Naiad * Chakra
113.
by profquail 10y ago
Insiders are allowed to trade the stock of the company they work for. They just can't make a trade which is motivated by non-public insider knowledge. For example, if the company was going to have another bad quarter the insiders can&#
114.
Usrsctp: a portable, user-mode SCTP implementation(github.com)
2 points by profquail 11y ago|0 comments
115.
by profquail 11y ago
Since you're shopping around, take a look at Vultr [0]. It's the same price ($5/month) and they've been recommended before by other HNers. If you're just toying around for now, AWS offers a free 'micro' in
116.
SCTP in Go [pdf](2013.asiabsdcon.org)
5 points by profquail 11y ago|0 comments
117.
by profquail 11y ago
ANF is mostly used in functional compilers, but there are plenty of functional languages which aren't purely functional (e.g., Scheme, SML, OCaml) -- which is why I'm wondering if it could be adapted for a more imperative langua
118.
by profquail 11y ago
I wonder if it'd make more sense for the go compiler developers to use ANF (A-normal form [0]) instead of SSA? ANF is less well-known outside of language research but seems like it'd be a better fit given the design of golang. [0]
119.
by profquail 11y ago
It says right on the page (prior to the graphs) that the comparison was performed in 2012. While they are using a version of PHP from 2012, they're also using a version of Phalanger (predecessor of 'peachpie') from 2012 and a
120.
by profquail 11y ago
Code from the paper: https://github.com/axel22/Ctries

More ›