skysight-inc/HackerNews huggingface dataset:
Agree completely, although I’m a little less excited about documenting code structure than the use of real-time feedback for code.

I’m a firm believer that minimizing the feedback-loop is directly correlated with productivity and code quality. Just taking the time to set up robust debugging tools (breakpoints, data inspection/manipulation) in my projects has given me more than one “wow you work fast” in my short career,
Sending messages to all users on a board, after being blocked halfway through, isn't "targeted outreach", that's SPAM.
Argentinian Universities and Research Institutions Say NO to E-Voting (spanish)
Ctrl-[ == Esc. I had to learn Ctrl-[ three years or so back due to bluetooth keyboard paired with tablet and insufficient time to troubleshoot why Esc wasn't working, and then discovered that it's actually easier on my wrists to use Ctrl-[ and never went back.
People (especially long time Apple users) really underestimate how nice Windows + Cygwin (or bash, etc) can be, on really powerful laptops, at much nicer price points.
Probably the phone and paper, mostly?
Worth has a low-pass filter. The effect of change takes time to determine.
كيري وزير إقتصاد
I have a Mac Pro from 1996. It's been running great, but hampered by Apple's unwillingness to support it with the newest releases of OSX/macOS. I've been hoping for a similar Mac to replace it with, for several years. And the trashcan Mac Pro is not what I want/need. So, I've been following your advice for years, with nothing to look forward to. Every year I've thought "Next year might have something more to my liking" and every year I've been disappointed.
I was thinking the same thing...sure there are fewer regulations, but "death penalty" is not outside the realm of possibility for fucking this up in China.
I don't think we should be proud of a country that scares genius away.
It's outrageously unlikely that either of those people had a prion disease. See my reply to your previous comment for details. The median duration of CJD (which is the most similar to nvCJD and the best proxy for the statistic I could find easilty) is 4 months. That's duration of the disease before death. If the commenter had those symptoms because of prion disease, I'd estimate a greater than 50% chance he'll be dead by February. Again, it's extremely unlikely that he had prion disease.
That's fair. We don't talk about it in here because there was already way too much to discuss, but we've done a few non-trivial things in Eve. All of the inspector interactions are actually written in Eve [1], as is the program analyzer that provides the intelligence to make it work [2]. An important thing to keep in mind as well is that Eve does a lot with very little. 10kLoC of Eve would implement most systems twice over. So the programs will always be pretty short.

The intent is to handle anything you could imagine writing in python. As this is 0.2.0 of a language pretty unlike anything currently mainstream, we're nowhere near there, but with engineering there's no reason we can't be. The IDE is only one portion of the story here, the languge is another one. It's a variant of Datalog that has far reaching implications on how we can work in teams (global correctness), how software evolves (complete compositionality), and how we think about larger scale systems (orderless and distributed). The latter will be the highlight of our second milestone where we'll do another big release like this one, but for the rest we'll be doing deep dives over the next couple weeks about how we believe this language scales much better to the realities of software today.

More is coming. :)

[1]: https://github.com/witheve/Eve/blob/master/examples/editor.e...
[2]: https://github.com/witheve/Eve/blob/master/examples/analyzer...
dupe: https://news.ycombinator.com/item?id=12805920
...which means that if he's successful his product will likely be more robust than ones worked through in less challenging environments.

Here in North Texas I just took a weird exchange between two major highways (I-30E to Loop 12N) and at night, poorly marked lanes, very aggressive exit/entry points, and the first thought that popped into my head was "There's no way a Tesla autopilot - or anything - on the market today could navigate this at posted speed even in ideal conditions."

I'm sure it's a bit over-the-top of me to come up with such useless tests, but I love driving and wish there was as much emphasis on actual driver education as there is on innovating driver-less vehicles.
> If there was a service that could do email, calendars, contacts, notes, passwords, bookmarks, rss/atom feeds, file storage/sync, and document editing well and in an integrated fashion (at least all within the same interface), that would be great.

I have been using hive.com[0] with my team for this one week, it doesn't do all of the things you mentioned, but it does put a lot of work stuff closer.

[0]https://hive.com/
For a ML intro Coursera's machine learning course https://www.coursera.org/learn/machine-learning is great. I have not been through the entire course but for someone who has no background in it, its a good intro as the video themselves are solid.
Anyone who thinks you can easily up and sell a small pre-product company for $100M lives in a different reality than I do...
People like to use rhetoric to pretend that their opinion is universal as a preventative measure for suppressing disagreement. Programmers, unfortunately, like to apply this to things that are transparently subjective, targeted at an intelligent audience that often takes umbrage to being told what to think.

I feel like I should flag this article for being nothing more than rhetorical rabble-rousing[0], but frankly so many people have been arguing to let HN go to shit because that's the sort of comment community they want, so I'm more inclined to leave this particular cesspit bubbling.

[0] Here's the sort of logic the article employs:
> There are ~ 19 million developers in the world. And Apple has managed to sell ~19 million Macs over the past 4 quarters. What a coincidence!
Compiling WebKit takes more than 8 GiB RAM, and even with modern SSDs, you don't really want to swap out. And I'd like to do other things in the mean time (e.g., run 2-3 VMs with 4+ GiB RAM each – no, I can't move Windows 7 in a docker container, yes, I need to test on it).

Moving things in the cloud isn't an option, thanks to internet being too slow and unreliable, and I don't want to be tied to a desktop.
Xmonad is pretty wonderful, even in vanilla. Excellent piece of software!
Risk analysis is not a "law game," it is engineering, and a fundamental part of building safety critical products. Software development has historically gotten away with ignoring risk because - outside of specialized domains - the worst of the worst case scenarios were broadly acceptable. But when a developer moves into those domains, the worst case changes from "oh no the website is down" to bodily harm. They should expect to step up their game.

Turning a risk analysis into a deliverable suitable for interfacing with federal regulatory bodies is actually fairly easy. You're just generating a report on engineering work you already did. It's only hard if you want to get away with not mitigating risks (or high levels of residual risk). Because if you document the risk, it serves as proof the engineering team knew about the risk when the product was brought to market.
i feel honored that this was the first comment you decided to write on HN. love seeing quality discussion like this, keep em coming!
Google I'm totally cool with. They've been at this a long time and still don't seem very close to actually releasing a product.

I like Tesla's and what Elon's accomplished has been impressive but he seems hellbent on "winning the race" to release a self driving car and that worries me.
What is Business Automation?
https://svnweb.freebsd.org/base?view=revision&revision=30362...
Ctrl-[ == Esc.

I'm a happy user of http://ex-vi.sf.net/ and can confirm that, since it's the exact same key code, it works -fine-.
In the past their stance was "we'll support the new thing and you can get an adaptor if you have the old thing". And in that case, every iPhone 7 should have shipped with a USB-C cable and then you'd have to go out and get a USB-C to USB-A adaptor. That's how you drive people to move to USB-C, like they did with USB-A back in the day.
I actually totally agree. Yes. Or even for teaching in high school/college.
Oh come on, do you understand the concept of journalism? It's a reporting profession. It's not goddamn PR.
Come on, it's completely obvious that it's the second.
this is true at the traditional banks/wall street firms...but HFT firms treat their coders really well.
Techies don't say it's useless for everybody, though. They say it's useless for techies. And that should be a statement they are allowed to make.
Sensor fusion is not new. In fact if you look at what amounts to sensor fusion in this case, it's still heavily based on satellite timing, not a terrestrial or celestial reference. RF transmissions don't (generally) come with directional data embedded so just having those as locus doesn't help, you need to be able to third reference.

For example you can estimate your location to a cellular BTS based on CRO, however that only gives you distance not azimuth, it's only if you have three towers that you get accurate localization - and even then from the signal alone you don't have a global reference (ie Lat Long or MGRS).

The major overriding issue with geolocation, or localization, is having a consistent reference. Celestial reference is still the best bar none reference. GPS is the best DIGITAL reference because of it's simplicity and accessibility - even though it's accuracy is pretty poor really. Until someone comes up with a more robust, or more easily digitizable consistent reference, then everything will be based on satnav.
It's actually not being ignored, the fix is in active development: https://github.com/Microsoft/BashOnWindows/issues/468#issuec...
But the scary thing is if the current leadership was interested in retaining market share they wouldn't have made niche product out of their most popular mac. So they are failing at industrial design and mass marketing.
I was going to say "amateurish" but I think your "dilettantism" is spot-on.
That's what I was getting at when I mentioned it :)

Bill Joy's keyboard had escape where caps lock is today.
It's very important to understand here that they are not employees but workers. There is a significant distinction in UK law.

https://www.gov.uk/employment-status/worker
"for humans" doesn't imply that the rest are insane or delusional. It's the same context as "Wow Usain Bolt is not human".
> Your edit sure won't help anything, the aggression is just uncalled for.

Ok bud, shall we call an emergency UN meeting to discuss my 'aggression'?
I didn't switch to Ctrl-[ until sufficiently recently that anything I'm running vi-ish things on is over ssh.

I will, however, never forgive Excel for Esc being "abandon edit".
dupe: https://news.ycombinator.com/item?id=12766174
I'm a bit confused here. Does one have to be in the US and start a company to be provided with a parole status as per this rule? Or all of the requirements that are listed here need to be done while being outside the United States after which a parole will be granted if the requirements are met.
If risks didn't reduce over time, why would valuations increase over time? (Let's say that Risk = Probability[Future Value < Current Value])
Maybe you could add address extension to IPv4 options field. Routers non aware of this would just route packet normally to IPv4 endpoint, at which would reside gateway which looks on extended address field and routes to destination in internal network. That way upgrades would have been needed in server and client network, but intermediate routers could stay IPv4.
9 projects set to transform Detroit
1. Look at what they did to satisfy the regulators.
2. Respond in as similar a manner as possible.

The commercial info is not necessary. They need to learn and follow the forms and protocols, and at least pretend to to be respectful when kissing the ring. If GeoHotz ran a restaurant, I wouldn't want him to be the one talking to the health inspector, either. He has the wrong personality for it. You really want the schmooziest suck-up in the company to do that stuff.

I fully expect that all the companies with compliance departments have reams and bales of responsive documentation. As comma.ai appears to be clueless with respect to regulators, the more sample material that they can look at to crib the correct answers, the less likely it is that regulators would summarily drop the axe rather than try to work with them in a reasonable manner.
Sorry, we're not trying to call you an alien, quite the contrary! We appreciate that you are a human, and we feel a lot of our tools aren't designed for people like you and me. Our argument is that even our best tools today are built with constraints imposed by the earliest computers (isolated, single core). We've moved past these limitations technically, but our ability to program to the best of our ability on these new, more capable machines (connected, multi-core) is hamstrung by restrictions still imposed by even the newest languages. Look at Swift, a brand new language that can only offer time-travel debugging in a special playground context.

What we're saying is that it's time to move past writing code for the consumption of the machine. If we want the power of computing (not necessarily programming as it exists today) to be more collaborative, and more inclusive; and to reach a wider, more diverse audience, then our tools need to start being designed for humans. Right now Eve is focusing on a table of contents, readable and relevant error messages, and clean, consistent, simple semantics. It's a modest start, but that's where we are. :)

So again, I'm very sorry we offended you, and I hope this explanation helps make our view clearer.
completely agree man. I'm pretty positive his organization failed to reach out to the NHTSA for product approval and now he's upset that they recommend pulling the product before it is tested in their VRTC facility in Washington. [1]

[1] http://www.nhtsa.gov/Research/Vehicle-Research-&-Testing-(VR...
> So within the next 2-3 years you'll have collected heaps of USB-C...

I agree with you that in the future USB-C is better and makes more sense. However, I don't think that the logical conclusion is that we should get rid of USB-A prematurely. I liken this the the decision to remove the CD from computer when CD were still used daily. I agreed that CDs wouldn't be used in the future, but, that doesn't do much for me if I still use CD daily. In hindsight it just caused an unnecessary annoyance while the CDs were naturally phased out.
By "we want to shut you down" I meant the NHTSA isn't presenting him with so many regulations and requirements that meeting them is impossible, effectively ending the product. They are definitely using the fine to force him to comply with their request to meet the very minimum bar of answering their questions about his product. This, as mentioned, makes total sense to me in terms of what government should do to protect the safety of its citizens.

Edit: grammar
I'm far from taking it personally, so no need from my end.

What do you hope to accomplish with the antagonistic tone?
Quite a dishonest article here.

The mathematical paradox described only applies to one very specific type of system. The paradox can be "solved" by modifying the system slightly, yet this is never mentioned.

Furthermore the author completely dismisses the other types of electoral systems, and she also omits to mention any of the many other western countries who have functioning systems with more than two parties.

Instead she simply concludes that since one specific alternative type of electoral system has a (easily solvable) problem, we therefore shouldn't consider any type of electoral reform and we should just be happy with the system we have today.
> At the iPhone event in September, Apple told the world that headphone jacks were dead because wireless headphones are superior — so why is there a headphone jack on the Mac?

Because Macs are much larger than iPhones, so the trade-off in battery life/other components is less significant than on an iPhone.
Here is a sweet little block explorer tweeted by Zooko (although it gets the hash rate value completely wrong and unit wrong too--It's Sol/s not H/s and it's about 400 Sol/s right now):
https://explorer.zcha.in/ Edit: it gets this info from zcash itself (zcash-cli getmininginfo) which is probably buggy and doesn't compute the network's speed correctly.

My Equihash PoW solver silentarmy gets 45 Sol/s on an R9 Nano, so there seems to be only about 10 GPUs mining worldwide, 65 minutes after the launch of Zcash :)

Edit: oops scratch everything I said. I forgot difficulty 1 was redefined for the mainnet. In testnet difficulty 1 was defined as:

genesis.nBits = 0x200f0f0f;

So you needed the 32-byte SHA256 hash to be less than 0x0f0f0f00_00000000_00000000_... But with the mainnet it was redefined as:

genesis.nBits = 0x1f07ffff;

This value is 0x0007ffff_00000000_00000000_... so only 1 in 8192 random hashes is less than this. So the network's speed seems to be around 130,000 Sol/s. So that's already 3-4k GPUs mining. Ouch.
If you read the letter, it's a lot more than "answering a few questions".

He gets two weeks to provide an enormous amount of detailed information about the product, I assume under threat of legal consequences if any of it contains an error, interspersed with lots of reminders that they can and will close down his business if they feel like it.
Fascinating seeing tech concerns (security especially) starting to permeate 'normal' culture and more traditional media. From articles like this explaining security attacks from 'What is SQL' upwards, to the Guardian talking about DDoS's and IoT botnets, we've come a long way...
web workers!!
>>I say nutritional science is still in the dark ages and therefore we don't have evidence to conclude a pile of molecules is the same as traditional food

What you say is wrong, though. We have a pretty good understanding of how food works and what our bodies need. How do you think hospitals feed comatose patients? They do it either via a feeding tube (liquid food), or through an IV (fluids containing glucose, salts, amino acids, lipids and micronutrients).
Here's Bloomberg article on Hotz's initial prototype: http://www.bloomberg.com/features/2015-george-hotz-self-driv...
> ␛ is just keyboard syntactic sugar for control left square bracket

Technically — and here I go of on the stereotypical irrelevant nerd tangent (bind the adjectives as you will) — it's the other way around. ASCII was certainly designed with Shift and Control modifiers in mind, and arranged so that a device could have those keys merely flip a bit (see e.g. <https://en.wikipedia.org/wiki/Bit-paired_keyboard>), but nothing actually mandates that those keys exist and that Control+h generate Backspace or Shift+h generate H.

I absolutely agree that Control+x ↦ x&0x3F is an established convention, and it continually annoys me that Windows and Windows-aping software violates it.
This. There is a huge amount of safety evaluations, precautions, training and failsafes we have to go through just for using a Class 4 laser at work in a controlled environment, where the worst possible outcome is permanently blinding someone working with it.

For a machine with the potential to easily maim and kill, to be completely autonomously operated in a chaotic environment where it interacts not just with other computer controlled machines but also with humans, even children, I honestly hope that the amount of safety precautions required will grow very quickly.
Rule number 1. Don't piss off investors. This won't bode well for Comma or the investors. Really bad PR move.
Yeah, I agree. That doesn't seem right at all. I use "inoremap jk <ESC>" to remap my escape key.
This is surely some markov-chain HN parody account. Do I win anything if I'm right?
It's not a great name, but I'd give him the benefit of the doubt and assume it's "all things AI". Think classification language, like "Car, Self-Driving". They could be "Car, AI" and "Assistant, AI".

Less charitably, it's step one toward Tres Commas.
Machine Learning with Talend: Decision Trees
Produse cosmetice diverse online
Joke aside, I'd like to know how much of their revenue is from accessories. I'm sure it'll be a tiny percentage, but even 1% would be a massive amount of money. And we all know the margin is way bigger than in any other hardware product they make.
Yeah, this kind of short feedback loop where mistakes are easy to find is perfect for a teaching environment.

iPython, tonicdev... and now this.
Why would you put interesting information in a pre tag? This is what your comment looks like on mobile - completely unreadable

http://i.imgur.com/GKkF44j.jpg
Or it could be experience speaking: I worked at one of these banks for a decade, and was distinctly unimpressed by the caliber of technology management.
That's a pretty slick trick I've started to see industry take advantage of where they use the cap exempt status of universities to hire H-1Bs. The H-1Bs are employees of the university but are directed by the private corporation, which owns all of the work. There is an extra bonus as well because you can really play with the job title in order to pay the employee even less since the government sets the rate for "researches" much lower than a run of the mill software developer.

I wouldn't be surprised if the folks coming in under this "entrepreneur" based H-1B loophole are being encouraged to work for a select few employers "while they get their startup off the ground".
> Zcash is a technology, and like any technology it has multiple uses. I suspect that many of the best applications of this technology haven't been conceived of yet.

> 10% pre-mine to founders

This smells super fishy. Altogether, I've yet to see anything to do with cryptocurrencies be useful. Nothing but scams, hiding illegal activities, and hopeless optimism so far.
Or, they could:

* Give them basic rest breaks

* Give them basic holiday

* Pay them the minimum wage

Remember, they're not employees, they're workers.

[edit - I'd be very interested to know why this is downvoted, these are the things afaik that they are required to do for workers (who are distinct from employees)]
yeah as if this is the beginning of some new Era. pathetic.
They do, though who knows much it alters the course of the ship.

https://news.ycombinator.com/item?id=12504685
Look, I don't want to belabor the point but a laundry list of shit to submit isn't as easy as copy-paste from one document to another unless you don't actually care about answering the question and want to get mired in back and forth of "more information needed" or "answer unsatisfactory" when the only grading criteria (NHTSA) is behind closed doors.

A lot of people here are assuming just by turning in "some answers" that it would satisfy the NHTSA. I see it as a much more involved an grinding process. They have the power, not George, so a lot of refrains about how he's just chickening out don't resonate with me.
I am running Debian on my Thinkpad T460. Works great.
I read somewhere recently that the exact same thing happened when Ballmer inherited Microsoft. As others have intimated, profits != future growth. The new owner can be very good at making money but will not tend to take risks, and there's the problem.
>I'm sorry, but that doesn't give the connotation that it's "designed for humans". Perhaps if they could give a clear indication of what that means other than "it's in a word document", I'd be more inclined to look at it a little harder.

To be fair, this can easily be read as bitter. "I'm sorry, but", "Perhaps if they could ... I'd be more inclined to look" both come off that way.
In other news TumbleBit[1] seems to bring good enough anonymity to bitcoin as well.

1. https://eprint.iacr.org/2016/575.pdf
To weed out all of the ostensibly sensitive turds and add them to the turd list.