grapevines

5 ปีที่แล้วdiscuss

I believe it’s a sort of satellite-mounted weapon, and not extricable in any way from full surveillance a la smartphone location or - even worse, multiple exploited access points thus triangulating location.

I think it’s most logically a geo-stationary satellite, so wherever launches those might have more information about who might have a radio transmitter or two up there.

grapevines

9 ปีที่แล้วdiscuss

Note: the code to extract this data has not been released to the public alongside the paper.

grapevines

9 ปีที่แล้วdiscuss

Yeah, I actually would like to see a modern HN / Craigslist blend. One thing both sites do well is having a simple quick-loading site which works without JavaScript.

grapevines

9 ปีที่แล้วdiscuss

Network effect, reliability, free, anonymous, ability to run without JavaScript.

If Craigslist decided to modernize today, they could potentially disrupt the state of things on the internet. Facebook is trying to move in on their territory for sure. Unfortunately, I don't think they will. If a new-kid-on-the-block could offer anonymity, reliability, and free regional market based transactions, with preferably integration with Monero, it would be a killer app for the crypto industry.

grapevines

10 ปีที่แล้วdiscuss

Labor rights were an important fight... In the 19th century. The era of digital technology and communication ought to have a new approach to Labor laws.

I think it's important to remember that in the current case, we are dealing with a single company doing business as a US corporation, but in the theoretical case, we could be dealing with a peer-to-peer network where the prices-per-ride are determined in the decentralized market. Crush uber with union laws, City restrictions, taxes, and other regulations, and a successor will fill the void which cannot be brought down so easily.

It's not like uber is threatening to disconnect the driver if they don't work, it is entirely an at-will engagement.

Like many unions today, the intent is to cement the power of the status-quo and raise the barrier of entry for new drivers.

grapevines

10 ปีที่แล้วdiscuss

When somebody quits, their non-city troops should be abandoned. Otherwise there is too much volatility in the game: say I am about to capture somebody's king and they quit instead: now I don't get their land and troops, rather I have to fight against them. Enough of these types of swings, and the game is swung towards the lucky ones in a volatile way.

grapevines

10 ปีที่แล้วdiscuss

Such a genius move, surprising nobody saw it coming. Just think: he will already have access to a large base of customer's roofs (which SolarCity effectively owns) --- 1 million by 2018.

Then, it's just a hop, skip, and a jump to an on-demand, fully-cached, mesh network. They're probably not far from being able to provide internet service to all SolarCity customers, just a bit of a modification to the contract.

grapevines

10 ปีที่แล้วdiscuss

Monero, even with the addition of RingCT, is vulnerable to transaction graph analysis (intersection attacks) that can de-anonymize users.

Your comment is highly misleading. RingCT solves 4 of the 5 remaining, known, privacy vulnerabilities in Monero ## The last remaining vulnerability has to do with transactions made with very little turnover, i.e. an amount is received and then immediately spent again. The privacy is stronger as the amounts are held in the wallet for longer.

Monero is useable on a magnitude greater scale in 2017, and a full node can be run with small CPU and memory. Zcash on the other hand requires minutes to send anonymouse transactions.

In other words, Zcash provides 100% privacy at the expense of scalability while Monero provides privacy approaching 100 percent as variable with time.

## http://monero.stackexchange.com/questions/1495/what-privacy-...

grapevines

10 ปีที่แล้วdiscuss

Agda is a programming language where "each program in it must terminate and all possible patterns must be matched. Without this feature, the logic behind the language becomes inconsistent, and it becomes possible to prove arbitrary statements."

Since all programs terminate, reasoning about arbitrary properties about said programs becomes decidable.

grapevines

10 ปีที่แล้วdiscuss

For example, a typical C program to compute the sum of a list of numbers includes three kinds of parentheses and three kinds of assignment operators in five lines of code

Let me take the opportunity to plug a new language which I have spent the last 5 months designing: github.com/jbodeen/ava

An ava solution -- 9 lines of code, and 1 set of parentheses -- would look like this:

  let rec sum list = 
    let are_we_at_the_end = 0 in
    let take_a_number_and_the_rest_of_the_list n list =
      add n ( sum list )
    in
    list 
      are_we_at_the_end
      take_a_number_and_the_rest_of_the_list 
    in

Maybe we need to zoom out of ancient languages into more intuitive paradigms if programming is to become easier for more people to access

grapevines

10 ปีที่แล้วdiscuss

Ethereum could quickly outdate itself by defining a fixed language. How will the language adapt? Very slowly by consensus if Ethereum hopes to become a large market player.

Bitcoin could be easily made Turing complete. If each transaction can store 80 bytes of information, then one could use 48 bytes to store code and the remaining 32 bytes to refer to another transaction storing the next block of code and thus chain together code. Unless I am missing something, a new currency is simply unnecessary, and will always be at a second-mover disadvantage.

Soon, I am sure a prototype of what I described will be released on bitcoin thus obscuring Ethereum. A solid use-case for distributed computing would be distributed HTTP delivery. If ethereum could offer a product for decentralized web-hosting, then I would buy into their product, but until then the whole situation is just vaporware to me.

grapevines

11 ปีที่แล้วdiscuss

What are the chances that somebody would do LAX to Santa Barbara ?

grapevines

11 ปีที่แล้วdiscuss

Tesla is most certainly valued correctly, with a P/E ratios similar to that of Amazon, and a valuation just slightly above the likes of Snapchat, Twitter, and LinkedIn. Seems to be a reasonable estimation to me.

grapevines

11 ปีที่แล้วdiscuss

The Basic Income ship has not sailed. Social networks of the future will divulge a percentage of their profits back to active users. I know because I am building one as we speak. Now that you know my platform's secret, you can race me to zero.

grapevines

11 ปีที่แล้วdiscuss

Could you please elaborate? I came here to mention that the Soviets built the earliest "balanced Ternary" computers, which is like binary but with a negative digit, which can be much better in high precision arithmetic.

grapevines

11 ปีที่แล้วdiscuss

>Giving cars more uninterrupted travel leads to higher speeds and more collisions

Not necessarily. In a well-timed system, cars that travel the posted speed limit are indirectly rewarded by not needing to stop. Going too fast or too slow would mean you would be out of sync with the timed system.

grapevines

11 ปีที่แล้วdiscuss

This is similar to an idea that I've been kicking around.

It is basically a arbitrary precision beta-reducer for untyped lambda calculus. I think I theoretically would need a machine that only needs four instructions on a theoretical machine (presumably some sort of FPGA), those being write, load, flip, and meld.

I bring this up, because instead of compiling to C, you could simply use a general purpose beta-reducer, and this would allow for arbitrary precision computation instead of being limited to 32 bits or 64 bits or whatever.

It is written in Agda, meaning that it could be a compiler for any arbitrary calculus that could be translated into an untyped lambda calculus.

Unfortunately, my adviser told me that it is a side-project due to lack of theoretical grounding.

You can check it out here: https://github.com/jbodeen/-ava

comments