ihm

20 ms·

151.
by ihm 8y ago
+1. If the language is not pure it's unclear how type checking would work. To make things even clearer, consider the following example (in a hypothetical dependently typed language with mutable references): f : () -> Type f
152.
Coda: Keeping Cryptocurrency Decentralized with a Blockless Blockchain(medium.com)
8 points by ihm 8y ago|0 comments
153.
by ihm 8y ago
Eventually, once various forms of fully homomorphic encryption become practical, we can have the best of both worlds. That being said, using cryptography to protect information will probably always have some (albeit constant) overhead over
154.
by ihm 8y ago
Around 80% of stock is owned by the top 10% wealthiest individuals[1]. More recent work[2] puts the percentage even higher. You might own some of the robots but most people don't. [1]: https://appam.confex.com/appam&#
155.
by ihm 9y ago
Very nice! One bug: for O(1) Labs, it lists freelance (the position is actually full-time).
156.
by ihm 9y ago
O(1) Labs | Protocol engineers, cryptographers, PL hackers | San Francisco | https://o1labs.org/jobs/engineer.html O(1) Labs (o1labs.org) is a small startup aiming to develop the first cryptocurrency protocol that can
157.
by ihm 9y ago
This scheme doesn't allow you to verify your vote was counted at the end of the day though.
158.
by ihm 9y ago
It doesn't have to be the case that high popularity -> high income. That's how we structure it in our society currently but there's no reason it has to be that way. We could still have popular things, and even reward their
159.
by ihm 9y ago
One simple way (basically using Zerocoin/ZCash) is the following. Every voter is issued one "vote coin" at registration time. There are special addresses for each candidate. Each voter sends their "vote coin" using
160.
Snarky: A new programming language for verifiable computation(o1labs.org)
31 points by ihm 9y ago|1 comments
161.
by ihm 9y ago
Using the object system in OCaml is super rare in my experience and using modules to structure code is way more common. They are also two somewhat orthogonal features of the type system: objects don't contain types, they are just value
162.
by ihm 9y ago
It's shocking this article doesn't take a more concerned stance on this incredibly dangerous technology. If one can without too much difficulty infect a population of rats with an infertility inducing gene, one can probably do the
163.
by ihm 9y ago
Well -- not totally ad free. There are the job postings for YC companies.
164.
by ihm 9y ago
js_of_ocaml[1] is an ocaml to JavaScript compiler that can actually handle the entire ocaml language (because it compiles ocaml bytecode to JavaScript). Sounds like it’s more what you’re looking for than Bucklescript (the ocaml to JavaScrip
165.
by ihm 9y ago
P.S. Haskell, Scala, Elm, etc programmers welcome!
166.
by ihm 9y ago
O(1) Labs | Engineer | San Francisco | On-Site | Full Time O(1) Labs (o1labs.org) is a small startup aiming to develop the first cryptocurrency protocol that can deliver on the promise of supporting real-world applications and widespread us
167.
by ihm 9y ago
This is a very nice introduction, but it could definitely benefit from some perspective from the other side of computer science (PLs/types-land). E.g., the section on "beyond computing functions" could also discuss how such t
168.
by ihm 9y ago
But it's clear who will have access to these technologies once they exist -- those who can pay the most. Access to such technologies will probably also give the user better economic outcomes, so there's a very legitimate fear that
169.
by ihm 9y ago
> Ive found it's much easier to shrug off discrimination based on my skin color than it is to shrug off discrimination based on my core beliefs. Are you white?
170.
by ihm 9y ago
I think it is an exciting time for functional programming and formal methods: they seem to have found something of a home in the recent cryptocurrency boom, where people are recognizing that high-assurance really matters lest you lose milli
171.
by ihm 9y ago
You could start with the Republican’s 1.5 trillion dollar tax break for the wealthy, and also the defense budget as the other commenter mentioned.
172.
by ihm 9y ago
Tolls aren’t a market priced good. Treating them like one is just misusing the mechanism, with the net result being the people getting to use the road are chosen roughly to be the wealthiest people who want to. There are other resource allo
173.
by ihm 9y ago
You seem to be suggesting the only two options are 1. No one uses the nice thing. 2. Only thing richer people use the nice thing. There are plenty of other ways of allocating resources besides giving it to the richest people. E.g., there co
174.
by ihm 9y ago
Sitting in traffic, following the same route one follows every day with hundreds of other commuters hardly seems like freedom to me.
175.
by ihm 9y ago
To be clear, Reason is just a lexer for OCaml. Any actual language features would happen in OCaml.
176.
by ihm 9y ago
OCaml has pretty good and modern tools (opam, meriln, oasis) and basically all the libraries you would expect, compared to SML which has no editor support, a very minimal stdlib, no package manager, no build system, very few and hard to fin
177.
by ihm 9y ago
All the semantic arguments here would disappear if we all simply recognized the "set of continents" for what it really is: a set-valued sheaf on some parameter space ( https://xorshammer.com/2016/07/24&#x2
178.
by ihm 9y ago
There are no tents, but you definitely see plenty of homeless people on the street or sleeping in trains in NYC. It does feel less dystopian somehow than SF though.
179.
by ihm 9y ago
Where is the video? Was the link changed?
180.
by ihm 9y ago
I intended the phrase "core" to refer to aspects of the language which are commonly used, leaving aside less frequently used or more obscure GHC extensions like existential quantification, functional dependencies, implicit params,

More ›