seliopou

19 ms·

121.
by seliopou 12y ago
That's funny, I had the exact opposite experience. Back in 2002-ish I was trying to install Slackware and LILO kept failing for some reason I couldn't understand. That turned me off to Linux distro. So I went looking for an altern
122.
Emily Gould, Literary Narcissism, and the Middling Millennials(edrants.com)
1 points by seliopou 12y ago|0 comments
123.
by seliopou 12y ago
Typo's a language that lets you express type-level computation using familiar abstractions (e.g., decimal numerals, booleans, conditionals, functions, ect.) rather than dealing directly with the native concepts of the type system. Once
124.
by seliopou 12y ago
This is true, and also applies to other systems with dependent types. Generally speaking, when you do this dance, it's best to work with total functions that terminate, i.e., algorithms. If in the chunk example, he used an option type
125.
by seliopou 12y ago
For those that are interested in type-level computation in Haskell, check out typo[0], which is a scheme-like language that runs in Haskell's type system. It uses an encoding based on type classes and functional dependencies, rather th
126.
by seliopou 12y ago
1. That some things are possible 1.x.x that aren't possible in 2+.x.x is a fact that nobody would deny, and is consistent with semantic versioning. The point is to clarify the vague terms of "compatibility" and "breaking
127.
by seliopou 12y ago
There's a lot of things you can say about Semantic Versioning, but it's hard to say that it isn't semantic. What is it, then? Syntactic? Temporal? The fact of the matter is that Semantic Versioning does capture something abou
128.
by seliopou 12y ago
The only major version bump that matters is the one from 0 to 1. After that, the project is better served if its maintainers do not fetishize major version numbers, or any version numbers for that matter, and realize that they're there
129.
Caring for Your Introvert (2003)(theatlantic.com)
1 points by seliopou 12y ago|0 comments
130.
by seliopou 12y ago
Seems like Uber will eventually converge on a model of privately-owned publicly-accessible mass transportation.
131.
by seliopou 12y ago
While Flux advocates for a totally new application architecture, it's one that still seems to fit the MVC architecture, especially when expressed using reactive concepts. I wrote a similar blog post to this one except using Elm as the
132.
by seliopou 12y ago
Thanks! Typo made it HN last summer, so here's a response to your question on motivation[0]. Also, the 'cat' thing has come up before. Here's my response to that[1] as well. But now that I'm rereading my response it
133.
by seliopou 12y ago
The title's a little misleading, as it suggests that there's something strange or even wrong about the type that OCaml or Haskell infer for the program. Of course the type that these systems infer for the program is correct, and t
134.
by seliopou 12y ago
You have the supervenience[0] of "medium of exchange" and "store of value" reversed. If something is valuable then there will be demand for it. In fact value and demand in the domain of economics, according to Aristotle,
135.
by seliopou 12y ago
Your Haskell program doesn't use the C stack, so using gdb may tell you something about the Haskell runtime you're using or some C library you called into, but it won't tell you much about the state of your actual program.
136.
by seliopou 12y ago
For (actual) programming languages without mutation and with more than just lambdas and application for control flow, it is right: f x y = y f (raise Done) Ω Under lazy application semantics this program will never terminate. U
137.
by seliopou 12y ago
The eager vs. lazy distinction is not relevant here. There are some programs that under eager application semantics will not terminate, but under lazy application semantics they will, and vice versa. What complicates reasoning about termina
138.
by seliopou 12y ago
I've used Haskell to build JavaScript tools and analyses[0], among other things[1], and have been using OCaml for the past nine months to develop a software-defined networking controller called frenetic[2]. Off the top of my head, here
139.
by seliopou 12y ago
I think the last part of your answer is the important one. Eyeballs don't matter if you can't count them.
140.
by seliopou 12y ago
You can't appeal a Supreme Court decision, but you can invalidate it by changing the law or amending the Constitution.
141.
Physicists Should Stop Saying Silly Things about Philosophy(preposterousuniverse.com)
95 points by seliopou 12y ago|85 comments
142.
Heilmeier's Catechism(cseweb.ucsd.edu)
1 points by seliopou 12y ago|0 comments
143.
The Great Failure of Wikipedia (2006)(archive.org)
1 points by seliopou 12y ago|0 comments
144.
by seliopou 13y ago
Now that the cold war is back, does that mean we'll be returning to the moon?
145.
Bitcoin Creator Comments on Shia LaBeouf Performances, Praises Dogecoin(medium.com)
7 points by seliopou 13y ago|0 comments
146.
BITCOIN: A flawed currency blueprint with a useful application for the Eurozone(yanisvaroufakis.eu)
2 points by seliopou 13y ago|0 comments
147.
by seliopou 13y ago
There are entire walk-ups in New York dedicated to short-term leasing through Airbnb. Entire walk-ups. A friend of mine has a landlord that does this. I only appreciated on an academic level the effects that Airbnb would have on the rental
148.
On-line actors in political theater(digifesto.com)
2 points by seliopou 13y ago|0 comments
149.
by seliopou 13y ago
That's not the case. Bitcoin payment processors deposit USD directly into the merchant's bank account. The merchant doesn't have to deal with Bitcoin at all if they choose not to. If the payment processor submitted orders on
150.
by seliopou 13y ago
From the original petition: Akamai holds a patent claiming a method involving redirecting requests for Internet content and selecting optimal servers. The Federal Circuit acknowledged that neither Limelight nor customers using Limelight’s s

More ›