seliopou

10 ms·

61.
by seliopou 11y ago
Author of elm-d3 here. The project's still being maintained, but I've been slow to update it to 0.16 for a number of reasons. First, there's dealing with cabal hell after every release. Second, Elm's FFI is undocumented,
62.
by seliopou 11y ago
To complete the description of the workflow (for others), you can replicate your home directory on a new machine using the following command: git clone --separate-git-dir=~/.myconf /path/to/repo ~ This is the bes
63.
by seliopou 11y ago
First, let's put aside the start of the blog post, which consists entirely of empirical questions. Each potential adopter of unikernels will have to figure out for themselves wether their specific use-case justifies the cost and benefi
64.
by seliopou 11y ago
Congratulations to the all the OCaml homies up in Cambridge! Well-deserved.
65.
by seliopou 11y ago
tl;dr: "Money" is political. If you don't think it is, well, that's a political statement about "money."
66.
by seliopou 11y ago
Most photos of text on Twitter are not original content. They're either a photo with no textual content (e.g., selfie), a photo of a twitter conversation (used as a form of archiving in case of deletion), or a photo of a physical text
67.
Java is not type-safe (1997)(cis.upenn.edu)
1 points by seliopou 11y ago|0 comments
68.
by seliopou 11y ago
For those that are interested in libraries like these, OCaml has an implementation that written by Jane Street called Pipes[0]. It's been around for years, helps trade billions of dollars a day, is written in a language that actually h
69.
by seliopou 11y ago
First, > some sliver Second, I for the most part agree with you in the ways that are relevant to the point you're trying to make. However, the knowledge/tool distinction is a vague (in that they may fall on a spectrum) and ambi
70.
by seliopou 11y ago
Not the case. The same argument does not apply because of the nature of mathematical, and to a certain extent scientific. All three--mathematics, science, and computing (programming)--are similar in that their primary currency is knowledge
71.
by seliopou 11y ago
> The typing is in your head, where it doesn't get in the way. If the typing's in your head, then why not write it down for the benefit of others? and for the personal benefit of automation provided by the compiler? The answer
72.
How Intellectual Property Destroyed Men’s Shaving (2012)(makkai.com)
2 points by seliopou 11y ago|2 comments
73.
by seliopou 11y ago
I remember seeing a retweet in my stream a couple months ago where somebody made the suggestion of not dating blog posts so as to make them seem less ephemeral. I think the logic went that if the writing isn't tied to a single moment i
74.
Advanced Module Systems: A Guide for the Perplexed (2001)[ps](cis.upenn.edu)
2 points by seliopou 11y ago|0 comments
75.
by seliopou 11y ago
Pretty sure I heard somewhere that Slack uses a modified IRC bouncer (e.g., ZNC[0]) to implement accounts. Could be wrong about that, but if that is in fact the case, this whole Slack vs. IRC debate would take on a whole new level of absurd
76.
OCaml core development officially switched to GitHub(sympa.inria.fr)
8 points by seliopou 11y ago|0 comments
77.
by seliopou 11y ago
Unfortunately, SML has no industrial users. At least, that I've heard of. It's a language that's used mostly in teaching and academic research. First ML I used was SML/NJ in my intro CS class, and haven't seen it si
78.
by seliopou 11y ago
Indeed. Elm implements extensible record types that can be inferred and checked statically. Similarly to object types in OCaml, which additionally supports structural subtying of of other sorts as well (e.g., polymorphic variants). It'
79.
by seliopou 11y ago
This situation is a bit reminiscent of the Randal Dale Adams[0] case, which was the subject of the documentary The Thin Blue Line[1]. In a nutshell, Adams was sentenced to death for the murder of a police officer based on the fabricated eye
80.
by seliopou 11y ago
Those interested in the philosophy of science should be aware of Karl Popper[0], and his view that what makes a theory scientific is its falsifiability: If a theory can be false in some way, then you must be able to construct some sort of e
81.
by seliopou 11y ago
That's actually the exact opposite of what he says. He says that CA can be vacuously satisfied by a system by simply going unavailable. It makes totally sense, but is a pathological behavior. It's a confusion that many people have
82.
by seliopou 11y ago
This is precisely the point of an article titled Consistency Tradeoffs in Modern Distributed Database System Design[0]. CAP focuses on failures and not much else. There needs to be a richer vocabulary to describe all the axes of performance
83.
Consistency Tradeoffs in Modern Distributed Database System Design (2012) [pdf](cs-www.cs.yale.edu)
3 points by seliopou 11y ago|0 comments
84.
by seliopou 11y ago
Here's a Lisp-ish language implemented in Haskell's type system that I wrote a couple years ago. Computation is everywhere! https://github.com/seliopou/typo
85.
by seliopou 11y ago
What your advocating is precisely what the article argues is wrong with economics as it's praticed today. Debating mathematical models is one thing, and debating the application of mathematical models while ignoring empirical facts is
86.
by seliopou 11y ago
Shout out to CrunchButton[0] who have been doing curated, location-based food delivery since 2012-ish. [0]: https://crunchbutton.com/
87.
by seliopou 11y ago
If you're not careful about how you encode a property, the type system will _require_ you to preserve that property throughout each step of the computation, regardless of what sort of morphism that computation is. (It's an endomor
88.
by seliopou 11y ago
If you live close to a college or university, check to see if they have it. Almost all schools will let you into their libraries and let you browse (and photocopy) materials while you're there. Checking them out may be another issues,
89.
by seliopou 11y ago
Something like this could be implemented in Haskell or OCaml using GADTs[0]. You can add a phantom type parameter to the expression type and use that indicate whether or not the expression is well-formed according to some predicate--in your
90.
by seliopou 11y ago
There is also a compiler for OCaml bytecode to JavaScript, called js_of_ocaml[0]. It's been around for a while, but I've only recently started using it. It's got a pretty good FFI, and makes futures-based programming via lwt[

More ›