pseudonom-

10 ms·

61.
by pseudonom- 11y ago
This thesis seems rather incomplete in light of: https://www.nber.org/digest/oct08/w13985.html http://psycnet.apa.org/psycinfo/1975-07262-001
62.
by pseudonom- 11y ago
My understanding is that Agda puts much less emphasis on general programming. It's more focused on proving.
63.
by pseudonom- 11y ago
Purescript (compiles to JS) also offers Eff: https://github.com/purescript/purescript/wiki/Handling-Nativ... .
64.
by pseudonom- 11y ago
There's a library at https://hackage.haskell.org/package/probability and a paper explaining the library at http://web.engr.oregonstate.edu/~erwig/papers/PFP_JFP06.pdf .
65.
by pseudonom- 12y ago
If revenue from congestion pricing is used for public transit, it tends to be progressive. (Also, those "on the clock" tend to be more sensitive to the high variance caused by congestion.)
66.
by pseudonom- 12y ago
I've only messed around in the REPL. https://www.youtube.com/watch?v=lMcRBdSdO_U gives a fairly practical introduction.
67.
by pseudonom- 12y ago
There have been deprecation warnings (since 7.8?) about the AMP: https://wiki.haskell.org/Functor-Applicative-Monad_Proposal#... There's a list of breakage at: https://www.fpcomplete.com/blog/2015&
68.
by pseudonom- 12y ago
> Haskell's type system Shen's type system is probably better described just as expressive. http://shenlanguage.org/learn-shen/types/types_sequent_calcu... gives a sense of the flavor.
69.
by pseudonom- 12y ago
Looking at the studies linked by the article you've linked, their conclusions for high efficacy mostly seem to be of the form "AA increased the likelihood of abstinence". My understanding is that AA, more than other methods,
70.
by pseudonom- 12y ago
I'm supposing that you meant "includes actual malware". Here's a definition: Malware, for a given user and computer, is installed software that, in the absence of constraints (such as imperfect information, limited time
71.
by pseudonom- 12y ago
https://www.haskell.org/platform/doc/2014.2.0.0/ghc/users_gu...
72.
by pseudonom- 12y ago
Though Debian's "popularity contest" is opt-in.
73.
by pseudonom- 12y ago
I'm not sure that's a sufficient explanation. Idris and Haskell (with extensions) also have Turing complete type systems. I've never seen either even approach performance like 1 line/minute in real code.
74.
by pseudonom- 12y ago
> 1 line/minute I get that that's an upper limit, but that's still pretty shocking. Is there an overarching reason for this type of performance? Examples of this style of code?
75.
by pseudonom- 12y ago
From the linked page: > Last but not least, Guix is used to build a distribution of the GNU system, with many GNU and non-GNU free software packages. The Guix System Distribution, or GNU GSD, takes advantage of the core properties of Gui
76.
by pseudonom- 12y ago
How does Guix compare to NixOS? Now that both have been around a little while, what are the relative merits of Guile and the Nix expression language, in practice? How big is each community? The Guix package list is much smaller than the Nix
77.
by pseudonom- 12y ago
> soy products may cause harmful reductions in testosterone in men. I wouldn't say the data is overwhelming at present, but there is concern. Not so much. The most comprehensive study of the issue (that I'm aware of): http:&#x
78.
by pseudonom- 12y ago
Yeah, I didn't mean that as an endorsement of Allwinner. Just a potentially useful piece of information.
79.
by pseudonom- 12y ago
> almost certainly due to gluten Even if you ignore all the messiness of actually existing scientific practice, the math alone doesn't quite say that. It depends on your prior[0] and the power[1] of the study. [0]: https:/&#x2
80.
by pseudonom- 12y ago
> It is a fact that they did not work to get mainline Linux support for their SoCs. Though it is possible. I got mainline Linux running on an A10.
81.
by pseudonom- 12y ago
> you'll be stuck with versions of software that are really really out of date I've had way more trouble with out of date packages on Ubuntu than Debian (Sid).
82.
by pseudonom- 12y ago
My understanding is that, after translation, Agda's Haskell makes rather liberal use of unsafeCoerce :: a -> b (it's already been type checked by Agda, after all).
83.
by pseudonom- 12y ago
I've heard good things about Certified Programming with Dependent Types ( http://adam.chlipala.net/cpdt/ ). "This is the web site for a textbook about practical engineering with the Coq proof assistant. The foc
84.
by pseudonom- 12y ago
http://lesswrong.com/lw/nu/taboo_your_words/
85.
by pseudonom- 12y ago
> it is seriously behind all of the cutting edge distros that I'm used to. Are you familiar with branches beyond Stable? I switched from Arch to Debian Unstable (which uses a rolling release) and find their edges to be about equally
86.
by pseudonom- 12y ago
I wonder what makes them say this in the FAQ: "a flexible enough type system for concatenative languages has not yet been designed. However, Factor 2.0 may include optional static typing, if a suitable type system can be found."
87.
by pseudonom- 12y ago
There are several options for physical units of that sort in Haskell: https://wiki.haskell.org/Physical_units . I remember being fairly satisfied with unittyped : https://bitbucket.org/xnyhps/haskell-un
88.
by pseudonom- 12y ago
There's also https://github.com/begriffs/heroku-buildpack-ghc .
89.
by pseudonom- 12y ago
I've never used Erlang, but Cloud Haskell ( http://haskell-distributed.github.io/ ) and Elm's hot-swapping ( http://elm-lang.org/blog/Interactive-Programming.elm ) seem to combine an ML-like type
90.
by pseudonom- 12y ago
The closest Python analogue is probably named tuples.

More ›