skysight-inc/HackerNews huggingface dataset:
Indeed. See C.A.R. Hoare's CSP and the Occam language derived (somewhat horribly) from it and implemented with a lightning fast hardware scheduler in the Transputer a wonderful little device that just couldn't gain traction. Messages could be fielded by processes within a given instance of the Transputer or, via serial hardware links, transparently by processes elsewhere. The programmer didn't need care where the heavy lifting was actually carried out.

Being C programmer at the time and rather repulsed by all that was missing in Occam yet enamored with the Transputer I designed a rather straightforward and easily understandable extension of C that fully incorporated CSP and could be compiled to either directly use the Transputer's hardware or to architectures that didn't have it. Alas the design died on a corner of my desk because I had "real" work to do.

I still think Hoare had a good idea and would love to see this author's work fully fleshed out and implemented.
>Newsletters aren't spam

Unsolicited marketing e-mails are spam. Unless I have explicitly opted into them I mark them as spam in GMail.
it's a 35 min commute so those things are not necessarily required. Amenities can be built outside the boarding station
LA -> SF in 30 minutes. Why would you need a toilet?
Part of the main problem I see if the "friending" model. There's too much friction there to maintain a truly current social network.
How is that any worse than standard commercial air travel? Plus, really, you are talking about a thirty-minute journey.
I don't think AlexandrB was stating that tipping offers no benefit, but instead asked what benefit it provides and making the argument that if it doesn't provide any positives, but does provide negatives, then it should be ditched.
While your recommendations are great - keep talking about it and DON'T CODE BAD SHIT (if you do, no matter if you think its just to feed your kids or whatever, you're a bad person).... there's more we can do.

The NSA and their ilk think they can take the knowledge of CS, and other aspects of information science, and use it against us. But what is preventing us from defending ourselves with that same knowledge? Surely there's enough public information out there to, say, build a system which uses the public news stories and communications from politicians previously busted for adultery to train a machine learning system that will also monitor contemporary news stories and communications and let anyone check their politicians "aduletery score" to see what % likelihood there is that they're a cheat (according to the system, of course).

There are many projects like that which could be done that would help the public, and the politicians, understand why the things the NSA wants to do are radically dangerous and must be stopped.
This article appears to me to failing in being entirely cogent; his example of the if that returns a number or a string seems nonsensical, and therefore "bad" by some definitions, which also points out that bad is subjective.

That being said, perhaps it would have been a better article if the author presented some arguments of "bad" programs that pass the type system, as type systems are no silver bullet and do not guarantee rejection of all bad programs.
What kind of apps you need in your company?
what kind of apps that could save/make you money at your company ?
Funny coincidence, just today I wondered if there's such a thing as a statically typed Lisp, and stumbled upon Racket with types [1]

I think another good example of a optionally static typed language would be Julia, where you can add types, and if you add them, the compiler will try to leverage that information to optimize your code [2].

I've used dynamic and static languages mixed for most of my life (Javascript, Python, PHP back in the early 2000's VS. C and Objective-C). Recently I started working with Scala, which has much stricter typing than, say, Objective-C, and I have to admit that after a bit of early helplessness in the beginning, it feels strangely liberating that, once the code compiles, the program is solid. Successful compilation brings with it a sort of satisfaction.

[1] http://docs.racket-lang.org/ts-guide/
[2] http://docs.julialang.org/en/release-0.1-0/manual/types/
I did. It would be so cool :)
20% Discount on Intro to Exploit Development Class
Or pretty exclusive.
Dumb. Mangles Godel.

The premise is that for real world inputs some code may never be used, and so it's an advantage for late-checked types that you can have wrong code that will never cause any observed bug. I'd rather "waste" my time deleting nonsense code after it fails an early type-check. Less code = better reading/maintenance/extension.

Better to focus on the real advantages of single-type languages (usually, terser programs, although type inference can make some haskell/ML programs apparently type-less).
"...Lack of coder personality" That's more that just a mere gripe.

Many a job has been won or lost based on the character of a prospect. In fact, I've lost count of how many times I've seen otherwise very technically skilled people lose out to basic inter-personal communication. Above all else, a seeming lack of tact.
Wow, yeah, that basically ruins a significant part of the appeal to me.
What is Spam and why you're getting junk email
Pretty awesome, just a couple of suggestions:

1. Items shouldn't disappear from the selection (I can only add one (space) for some reason).

2. Allow grouping of items. For example, if you want to have [time] you should be able to drag the "[", "time", and "]" as a group instead of individually.
ET3 Hyperloop - Video Concept
So it incentivizes good service for regulars who tip well and "expected big tippers", but not for tourists or individuals who are having their first dining experience (which is probably the most important one to the employer, BTW).

Seems like the equivalent of a software system that only works on weekday afternoons, except in March where it works every other Sunday too (maybe).
IDC Research: Android Smartphones Kicked Butt in Q2
"The Hyperloop is sized to allow expansion as the network becomes increasingly
popular. The capacity would be 840 passengers per hour which
more than
sufficient to transport all of the 6 million passengers traveling between Los
Angeles and San Francisco are
as per year. In addition, this accounts for 70% of
those travelers to use the Hyperloop during rush hour.
The lower cost of
traveling on Hyperloop is likely to result in increased demand, in which case
the time between capsule departures could be significa
ntly shortened."

p.11
Disclosure: Works for Microsoft, but not directly in these parts of the company.

Thanks for digging into this. If you feel like there's a real privacy issue here, or even just a significant disconnect between reasonable expectations and what is actually happening, please get in touch: m-a-r-a-y (without the dashes) at microsoft dotcom.
These days, politicians have to stay bought. And any competitor or detractor can derail your effort by buying off one of the local politicos.

This is one of the biggest reasons northern CA doesn't already have a bunch of such systems already in place.
I'm impressed, but I'm afraid Hyperloop's operation is modeled after airplanes, while the actual use of the system would be closer to a city bus.

>All capsules would have direct radio contact with station operators in case of emergencies, allowing passengers to report any incident, to request help and
to receive assistance. In addition, all capsules would be fitted with first aid equipment

>Typical times between an emergency and access to a physician should be shorter than if an incident happened during airplane takeoff. In the case of the airplane, the route would need to be adjusted, other planes rerouted, runways cleared, airplane landed, taxi to a gate, and doors opened. An emergency in a Hyperloop capsule simply requires the system to complete the planned journey and meet emergency personnel at the destination.

What happens if a brawl erupts inside a capsule? What happens if a suicide bomber boards the Hyperloop?
My dad has worked on at least one proposal for linear rail in California in the past. Emailed him the whitepaper for comments. Delivery not guaranteed :)
The paper mentions two tube diameters, supporting "more versatile" Hyperloop capsules in the larger version.

Also, with a 35-minute trip time, these concerns are well within the realm of "hold it" till the next stop.
> Risk of derailment is also not
to be taken lightly, as demonstrated by several recent fatal train accidents.

Interesting. No comment on the potential outcome of a passenger-filled capsule being ejected from a burst tube on high pylons at 350mph.
We should not throw out mathematics, but we should recognize that most mathematical proofs are not based on logic, but human intuition in the first place. Human intuition and wisdom are valuable and lay the foundation for all that we do and there's no reason to ignore them when we're programming and insist that all valid programs have to follow some particular set of rules.
Made me think of a scifi book I read recently where terrorists attacked the hyper-speed rail system by leaving a bowling ball on the "tracks"...
Facebook Acquires Mobile Technologies
I have a negative gut reaction to meter. I realize it's fair, but it looms over me. Will I go over if I watch this movie? How much will my bill be this month?

That's how all utilities are measured, and it's totally reasonable, I just wish it didn't have to be that way.

How does everyone feel about metering in general?
i would say that it is marketing if the guy did not own SpaceX. Still I am skeptical. Every child can draw neat pictures and speak about vacuum.
So, we have "light shed" on the current "debacle" and neither system gets built. That's a win?

Yes, preventing a debacle is a win.
Enough said, Macaw is going to be one of those tools that separate incapable designers from the ones who know why flexbox is coming to be and what it means.
From the article: "For instance, to actually encode a Cap’n Proto message, I couldn’t just allocate a buffer of zeros and then go through each field and set its value. Instead, I had to compute all the field values first, sort them by position, then concatenate the results."

Sounds reasonable to me, but I think it's just personal preference. Without actually seeing the code (which I'm sure makes a huge difference), the imperative algorithm actually doesn't read as easily as the functional one does to me. We've become accustomed to imperative since it's what we all learned on, but there is a massive amount of book-keeping (although I'm sure the execution speed is much faster). At any rate, here is Scala with imaginary API's detailing how I would envision the functional algorithm...

def encodeFields(fields: List[Field]): String =
fields.map { f => f.position -> f.computeValue }.sortBy { _._1 }.map { _._2 }.mkString
Well how else would you propose welding them together?
The journeys currently envisioned by the hyperloop are more appropriate for trains, and Acela (for example) is actually pretty roomy
"I don't know, you asked me to divide that integer by this string. What am I supposed to do?"
> shadow profiles

Which exist only due to the exact reason I described.

> The point is that even if I have never visited Facebook, they more than likely know a lot about me already, unless explicitly going out of my way to stop it.

Well, that's not what I was addressing. "Going out of your way to stop it" is simply becoming educated about what exactly it is we're doing when we use the Internet and societal institutions. Being prudent about what we enter into a form(either real or virtual) is key.
>Seriously?

This is not an argument, and neither is "Oh, please!" (for future reference.)
I don't think you've addressed my point. I don't hand my private key to anyone, including the service operator, so there's nothing they can cough up to make anything happen.

If you go back to the original backpack encryption model -- I leave my padlocks out in public and tell people to send me messages at some dropoff spot (alt.wesley.crusher.die.die.die for example) and collect my encrypted (padlocked) messages whenever I see fit, which I then unlock with the key I have never given out.

This could obviously be dressed up like email if necessary. E.g. set up a mail server that bounces all unencrypted incoming messages to me with a "try again using this public key".

Yes, the authorities can track my attempts to access the server (but guess what, they already can). And because my inbox requires no password to access they can't tell me from any random person or bot trying to access my mail.

The authorities (and anyone else) can also deluge me with encrypted spam (including spam I can't decrypt :-)). It's not perfect.
I exclusively follow @_milesokeefe:

https://twitter.com/_milesokeefe
No toilets on commuter buses either and people ride them 45minutes to 1+ hours everyday with no issues.

You're stuck in the "long trip" "it's like a train" framework.

It is neither.
GitHub Color Scheme For IntelliJ
crap... did not notice these =(

may be make an jump page where user can select registrar and possibly show price? Although not sure how many users are like me :) May be totally not worth it.
For some reason Elon Musk is extremely enamored of welding technology. I remember seeing a page on an old version of the SpaceX site containing a high-level overview of the Falcon 9, where they went out of the way to mention how great circumferential friction stir welding is compared to whatever NASA used to do. And here he is bragging about it being the large stir welded thing ever created: http://www.nasaspaceflight.com/2009/01/musk-ambition-spacex-.... It's a revolutionary vehicle in many regards, but Elon seems to have a particular soft spot for welds.
Creating no-cloud solutions that are heavy on good encryption is probably the best bet to secure the world's privacy and defeat global surveillance!
I like the ending: "Please enable JavaScript to view the comments powered by Disqus." ;)

I know that the strengths of racket lie elsewhere, but I wish the performance would be better (at least comparable with sbcl) ;)

As for dynamic vs static typing - I don't care much about human rights, so I prefer static typing :D

Dynamic typing (and laziness) is good when you don't have to care about memory footprint nor performance of code you write e.g. when you're prototyping something.
Appreciate Elon Musk for this idea. But do you really want a bus sized hunk of w(ever)tf this is made out of zipping by you at 700mph?
The mini assembler was built into the ROM of all enhanced //e's
Rename your assets before going live
You can get up and walk around on a plane.
High speed rail cars interiors are not much different from regular ones, except from higher luxury cabins.
Probably the same thing that would happen if these things happened inside a high speed rail.
Ebay counterexample still accounts for the "living on the avails" line.
check this video concept for the ET3 version as well, it looks quite interesting:

http://www.youtube.com/watch?v=51HbmuKhRbk
diapers
"Btw, this is not the very latest version. Will post an updated version with several late arriving corrections in a few hours." https://twitter.com/elonmusk/status/367028946426019840
Feedback is welcomed on these or any useful aspects of the Hyperloop design. E-mail feedback to hyperloop@spacex.com or hyperloop@teslamotors.com

Better:

https://github.com/hyperloop/hyperloop
Would love to see some info about the difference in strategy for raising in a toxic industry/vertical.
When I Built a Cabin
I thought Musk said it wasn't an evacuated tube. Does it not count because it's very low air pressure and not a completely hard vacuum?
Was that statement paired with a declaration of needing to "collect it all"? It seems more like we're stretching to fit a nefarious plot on top of what started as a largely benign effort and has since expanded into a system that has been abused in the past and could be abused to great effect in the future.
wait: so what I understand is that

windows 8.1 will, by default, transmit all local searches -- including things like my ssn to find the file I keep my gf's ssn in, plus any of the other things that I currently type into spotlight to do a full text search -- to microsoft. These search phrases will be subject to a retention and sharing policy that no doubt amounts to dozens of pages of text written by lawyers with an eye to making it difficult to understand that can be changed at whim. And that can be shared, along with identifying info, with the NSA either through subpoena or asking nicely or flat out cash money.

so what exactly is the fud? You didn't see the exact phrase go into their rtb so therefore it doesn't?
"Btw, this is not the very latest version. Will post an updated version with several late arriving corrections in a few hours."
https://twitter.com/elonmusk/status/367028946426019840
"The maximum width is 4.43 ft (1.35 m) and maximum height is 6.11 ft (1.10 m)."

Yeah, that's a little bit more claustrophobic than your average underground train.
Or you could read the design document:

>In the event of a large scale leak, pressure sensors located along the tube
would automatically communicate with all capsules to deploy their emergency
mechanical braking systems.
In an interview last we he stated that his next company would be vertical take off supersonic electric jet, if he decided to start another company. He said he's not likely to start another company any time soon.
Forks for runaway pods at regular intervals ? Like the ramps they build for runaway trucks with brake failure.
I was thinking similarly. Like electricity, shut the light off when you leave a room, find the right AC setting that isn't too low, etc. I'd hate to move to a state of "close every browser tab I'm not actively using". Perhaps it could be a hidden pricing system that isn't advertised to the public but is available for those who want it.
> A static type system is a mechanism whereby an algorithm determines if a program exhibits a property, P, and if the property is not found to hold, then the program is rejected.

Doesn't this definition encompass dynamically typed languages as well? e.g. P is syntactic validity?
That seems like a pretty optimistic estimate, but I suppose its a guessing game for such a hypothetical system anyways. Also, for comparison BART ridership tops up at over 100 million a year[1], and 6 million fly between LA and SanFran annually[2].

[1] http://www.bart.gov/docs/barttimes/BTimes0707.pdf

[2] http://cahsr.blogspot.com/2009/10/la-sf-nations-second-busie...
Actually, a cookie could be considered a device, it would just be an unusual use of the word.
There's some discussion on pages 52-54 of the PDF.
My travel nirvana: Supersonic air + Hyperloop + Self Driving Car.
When bitching about social media enterprises knowing too much about our lives, yes.
Cats might be killing us (2012)
You misread, I think. He was stating that it is a common claim that government can stifle innovation, particularly in the transit sector (look at the trouble that Uber has to go through in every large market to fend off government-backed taxi monopolies). In this case, it appears that government failure may help spur innovation in a very costly sector.
As someone who has in the past run a small-ish ISP for home/business users, people who want to run servers at home usually create a fair amount of support overhead, so its no surprise that this is a common issue. Most ISP's don't care what you do as long as you're not causing a problem.

This only exists because of bad users, don't blame the ISPs for your lousy neighbors :)
Yes. By "newsletters" I meant "marketing email you've subscribed to".

Personally, I'm okay with receiving a newsletter from a service I've subscribed to (but only from the company—no "special partners"), even if I didn't specifically input my email address in a "subscribe to our newsletter" form, as long as there is a permanent way to unsubscribe.
They have made real data privacy an issue they can be competed with on.

Who says the next social network has to be run by a corporation seeking a profit motive? Why can't the next social network by a peer-to-peer network where your personal data stays on your personal machine at home and where you have total control over who has access to what. Don't want to give access to your pictures to the guys who wrote the system? Fine. No problem. Want to delete your profile and know it's offline for good? Easy as pie.

Yes, of course it can't be spun out today as a web service because the web is designed like a piece of shit. We need like some sort of simple home appliance that serves as your node on the network, preloaded with the necessary software that people can just put in their closet and forget about. If you're really ambitious, make that box your business. Make it a simple, secure server that you plug 'apps' into as easy as you do your phone... except the box makes sure you can access those things - and so can the people you authorize - anywhere in the world... without you having to learn DNS, figure out your IP, or any of that jazz.

Of course then the ISPs will cancel the accounts of all your customers for running servers. Oh well, go back to giving all your data to Google and Facebook. I'm sure your ISPs 'no servers' policy actually has nothing to do with guaranteeing a stranglehold on data by hosting and other companies.
For all of you whose panties get wet at the sound of Elon Musk's name Hyperloop is essentially just Aérotrain in a tube:

https://en.wikipedia.org/wiki/A%C3%A9rotrain

This guy isn't really a genius, he's just rich.
> Market is wide open

For a major infrastructure product? No, even if they could secure all the requisite permits and funding, which I can only imagine would be a nightmare to all but the wealthiest entrants, urban development would make actually putting the thing in the ground its own immense obstacle. The government uses the long-established practice of eminent domain to ensure that its projects may proceed unimpeded. Private industry doesn't have that, and we shouldn't consider giving it to them.
I disagree with you on points, but at least we seem to be operating from a shared logical framework.

I think our fundamental disagreement however is i don't think a company 'stands' for anything but making money. I think further that if commercial entities are allowed to hide behind 'morality' when determining which laws to follow this will lead to extreme abuse, since in my worldview commercial entities do not have a 'moral' code.

If say, mark zuckerberg wanted to do a sit in in front of the NSA knowing he is violating tresspassing laws (for the sake of arguement) then thats his personal moral choice, and as long as he is willing to face the consequences, kudos to him.

But realistically the majority of the american people dont have a problem with the NSA programs. I know it burns a lot of HN up, but as of right now, thats just reality. We know that the elected executive branch, the judicial branch, and the elected legislative branch more or less have signed on to this NSA thing. If perhaps they were in the dark before, this is no longer the case. This is democracy at work people, sometimes the majority of people want something I dont agree with, thats democracy.

Now just because democracy 'failed' doesn't mean I want some small cabal of very rich and powerful folks to decide they will not have to follow the laws of this country because they have the power to do so.
I think that's handled by the rooftop solar cells.
I don't think Acela journeys are 30 minutes long, though.
A De Bruijn reducer: https://en.wikipedia.org/wiki/De_Bruijn_index