skysight-inc/HackerNews huggingface dataset:
Yes for sure! Challenge there is standardization across datasheets in terms of which parameters are listed and how. Increasingly chip companies are seeing the need to make their data more accessible and standardized so I'm sure it will get easier.
You are welcome, sir! How about this chapter of the famous book "Practical Common Lisp", available online for free?

http://www.gigamonkeys.com/book/beyond-exception-handling-co...
Here are my thoughts on the matter

1) I think the value of most universities (top universities) is the quality of the students they are able to attract. It turns out that becoming friends with smart and motivated people can be very very helpful. It also turns out that most skills in life are learned on the job - not in school. YC is very similar in this regard.

2) Being a participant in YC in '07 and 12 I can tell you that the value of YC increases as it gets bigger because there are more smart, motivated, and successful people to learn from and be motivated by. Also especially for b2b companies - there are a lot of potential customers - see Gusto.

3) YC has no incentive to increase in size if it can't maintain a high-quality program because top founders only want to participate in a program with other top founders. If we do something that convinces top founders to stay away - then we lose.

4) There is this strange assumption that YC had higher quality founders earlier in its life. I think that assumption is biased by the fact that it takes 10 years to build a successful company and so the breakout successes always look like they are from the distant past.

5) "a large influx of less highly-selected startups" - where is your data to back this up? There are significantly more applications to YC now than 10 years ago. The acceptance rate is significantly lower than it was before.
Angaza | Software Engineers | SF | ONSITE | https://www.angaza.com/contact-page/#careers

Angaza creates technology for selling life-changing products, especially off-grid solar energy systems, in emerging markets:

- https://blog.angaza.com/angaza-raises-10-5-million-in-series...

As an engineer at Angaza, your daily work will be used to install electricity for hundreds of families every single night.

We're a for-profit B2B SaaS company, post-series B, with our technical team based in San Francisco. We are used by distribution businesses to sell, finance, and service off-grid products in more than thirty countries. We're hiring multiple engineering roles, including mobile and full-stack developers as well as firmware/hardware engineering management:

- https://www.angaza.com/jobs/android-developer/?venue=hackerN...

- https://www.angaza.com/jobs/backend-developer/?venue=hackerN...

- https://www.angaza.com/jobs/hardware-partnership-engineering...

Our standard hiring process involves a phone conversation, a well-bounded home project, and an on-site interview. We don't believe in gotcha logic puzzles or adversarial whiteboard exercises, and we strive to give you specific constructive feedback regardless of the outcome.
I grew up in the Air Force. When we lived off base, my parents would drive to the PX on the base because it was cheaper. It was often a 30-45 minute drive there, and to make it worthwhile they'd usually get a couple weeks worth of groceries.
> The actual data and hardware it happens to be using is still better information.

That's certainly what HotSpot's promoters want us to believe, but I'm not convinced there's a lot of extra value in having detailed data on the current run, compared to 'static' profile-guided optimisation. I'm not sure if there's been any serious study of this question.

As to the specific hardware: this might matter for things like SIMD, yes, but often won't make any appreciable difference. Some Linux distros have the user compile almost everything locally, but aren't all that much faster for it.
ZX Spectrum 32k at home, IBM S/360 with MUSIC/SP at school
>Its all water under the bridge anyway, as delivery services, amazon, etc, will make the concept of a supermarket as quaint as the concept of a record store or book store, in a couple years.

Are you suggesting that grocery delivery will solve the food desert problem in poor areas?
I haven't converted my disk yet, but that's good to know.
Not be too persnickety, but your math doesn't add up.

67+17 = 84

45+34 = 79
performance at runtime is usually factor in type systems as well.
120k for 3 months to get to demo day to raise vc.
Random thought of mine is charging becomes less of an issue when the cars range is several multiples of daily use. If say your electric car has 200 miles of range and you drive it 40 miles a day, then it needs to be charged once every 5 days. Which is in line with the US average of 12,000 miles a year. Or 230 miles a week which is about the range of a Bolt or Tesla.

Other random thought. Someone that has charging at work, does not need to charge their car at home. Which emphasizes the idea that an electric car owner just needs charging to somewhat ubiquitous. Charger at work, charger at the store, charger at a parking lot, coffee shop, etc.
It's not just that void * exists, but that it's basically mandatory.

C's built-in arrays are super weak, so you need some library to do proper resizable arrays. Since C doesn't have generics, such a library will use void * as the type for putting values into the array and getting them back out again. You'll be casting at every point of use, and nothing will check to make sure you got the cast right, other than running the code and crashing.
Google and Facebook help spread bad information after Las Vegas attack
Heathkit H89
DHTs are not fast (or secure, but that’s another story).

https://thecedrus.com/tag/lovequotes
Good "statics": Haskell, ML family, maybe Rust.

Good "dynamics": All the Lisp-family languages. Smalltalk. Julia. Lua. Tcl.
I like it, kind of, but it's a shame because the story of Tesla vs the big auto makers seems to have a parallel with Tesla and Edison and many tech enthusiasts may already be on team Tesla. I do like Ford's work on technology though.
The PX is a government operated store on any military base. I haven't been to one since I turned 21, but they weren't that bad, though they tended to be utilitarian and rather drab.
So I'm an entrepreneur, and a native-born American citizen, so I'm obviously not talking my book here. My source is simply what I've observed trying to recruit co-founders. Folks with actual tangible skills and a realistic outlook would generally rather collect a paycheck for their skills.
But I also don't consider lack of venture capital or mentorship to be an important barrier to my success. When I look at what I do daily, as a founder, there is very little that more money would help with. And their advice is generally pretty cookie-cutter; if you follow it blindly, you will look like every other company they fund, which will be the death of your company. The good ones recognize this, and what they look for in a founder is someone with an independent perspective who will do the legwork to verify their hunches with data, on their own, and don't trust anybody else's ideas of reality. The bad ones, you don't want to do business with.

https://thecedrus.com/user/TiffaniIncor/lessons/513199388727...

https://instasafari.com/discover/ycombinator

https://freshcalendars.com/november-2017-calendar
ASX ‘increasingly confident’ of blockchain-inspired tech’s potential
Fox Networks Group | Front end, back end, and DevOps | Los Angeles, CA | Full-time | On-site

Fox Networks Group is building modern, high-performance APIs and client applications to power world-class television content for Fox Sports, FX, FXX, National Geographic, and more.

Our stack: Go and Node.js for services, React and Redux for web clients. We're building a microservice architecture on top of AWS, so we're always able to select the right language, framework, or AWS product for the job at hand. We deploy frequently, manage our cloud infrastructure with Terraform and Consul, and work in autonomous squads. Our team is a relatively small one inside Fox, meaning we can move quickly, leverage cutting-edge technologies, and have an outsized impact on the customer experience for our millions of viewers. If you're interested in building the future of entertainment, come work with us! https://foxcareers.com/Search
With fraud proofs you don't actually run the computations on all nodes. You submit a claimed solution and a security deposit, in a way that lets other people submit a proof that you did the calculation incorrectly. If you submitted an incorrect solution, your deposit is paid to the person who made the fraud proof. The only replication is by the people who check your work in hopes of claiming your deposit.
Functions implicitly returns None if you forget to provide a return value on any of the branches. This is an error that can easily slip past eyeball reviews, since this is caused by the absence of something.
If you like concept albums, you should listen to the last Marillion album F.E.A.R
In context I was talking about the impact of the H-1B program on typical Americans.

Do you think the everyman is getting hammered by enterprise software shops?
Hi Angaza! I might be a great fit for your full stack engineering role. I especially like writing home projects to demonstrate my skills. Currently the link to G Suite gives me a Job was removed error. Is the position still available?
It used to be 13-21k for 7%.
Morning Consult | Software Engineer | Washington, DC | FULL-TIME, ONSITE

We're a public opinion startup. Bootstrapped and profitable. Running daily polls on politicians and thousands of brands, all of which can be granularly explored by date/geo/demographic/etc (Uber was a fun one to watch). Some better explanation here: http://www.businessinsider.com/morning-consult-election-poll...

We aren't looking for engineers who:

* require a lot of externally-imposed structure or process to succeed

* want to spend most of their time working on bleeding-edge technical challenges

* enjoy architecting systems more than writing code/tests

These perks will come with time as we grow, but we're only 6 devs right now, and most of our pressing challenges are frankly pretty standard problems that we're solving for the first time for a historically low-tech industry.

You'll enjoy working here if you want to:

* build full-feature systems end-to-end from prototype to production (being responsible for all aspects, from UI to server-side to unit tests to devops)

* grow with a team of mostly self-taught and rough-around-the-edges engineers in a town that still call devs the "IT guys"

* dig into interesting polling data (ex. "Is there a correlation between favorability and purchasing consideration among Internet Service Providers?")

Our tech: NodeJS, RethinkDB, Marko, Nginx, AWS, some other usual suspects

If interested, shoot me a note at the email in my HN profile! :)
Rio Tinto operates first fully-autonomous ore train
If there's another Elon Musk out there, I promise you VCs are throwing money at him.
See previous comments about Brightcove's practices and reputation:

https://news.ycombinator.com/item?id=14024387
Atari 130XE, with a bunch of fun game cartridges like Star Raiders
If you want your science to be about the real world and not about some hypothetical scenarios that don't exist you have no choice but to do the transposition. Experiments are useless otherwise. There is a reason humans naturally and instinctively do it when they talk about experiments. This is how you describe things in real world human language.

Sure there are debates about priors. These are unavoidable. The hidden assumption in my example is a 50/50 prior on too noisy, not too noisy hypotheses. IMO a reasonable uniform (maximum entropy) prior to start a discussion from. Of course, one should be more precise when doing this type of analysis in a paper. The reason a good prior is hard to define here is not because you shouldn't do the flip, it is because the question that the t-test is trying to answer doesn't make much sense.
Champion Iris
Hiya Kevin. I wrote that Inc article. I feel you. How many times have you seen one (or all of these)...

-credentials shared across teams
-database credentials stored in plain text config files
-unsecured mongodb clusters

I used to think that none of this stuff would change until people were held accountable. Imagine if a data breach at work meant that I had to pay a fine so steep that I had to declare personal bankruptcy...bet that might get people's attention, but I doubt there's the political will to pass laws like that.

Instead, I've spent my time trying to tackle it from the other end of incentives- how do we make security tools easier to adopt than the alternative? The SSO guys have done a great job, but there's plenty more to do.

*Full disclosure, I founded a data security company
Google AI Residency Program
Aren't other problems getting framed that way, too? Car driving is not inherently a problem in computation, but is becoming one. Robotic control (or other control problems) are certainly being solved by computation.

Perhaps treating AI as a derivative of the control branch of computation could practically help speed up progress in some areas, but it shouldn't fundamentally change its nature.
So many comments in this thread remind me of the South Park parody about "they took our jobs!"

A country founded by immigrants, often dubbed the "land of opportunities" and a worshiper of capitalism now will only give the golden ticket to the most able AMERICAN.
Mixboard.com | Founding Engineer (Full Stack) | San Francisco, CA | ONSITE

The average employee spends 30% of their time looking for information. Mixboard fixes that with its platform for teams to centralize, track and search across all their workplace content. Think GitHub for Cloud documents and file uploads.
Previously I was on the founding team for 4 successfully acquired startups and PM #1 at Weebly.

Right now Mixboard is pre-launch and it's an exciting time for you to join. Private beta kicks off this week and teams from Facebook, Lyft and Weebly have committed to product trials. The tech stack is React / Redux, Ruby on Rails and Postgres.

Want to learn more? Let’s chat! My email is ryan@mixboard.com
> Like many universities, the value of YC to founders is mostly signalling and network. What you actually learn at YC is a minor component of the value (since you could learn most of it just by reading or watching videos)

While this sounds true to an extent, YC can provide more tailored feedback than a university generally does. Most of what one does in university is generic and can be learned through tutorials, but YC can provide custom feedback to a specific startup's situation. (And good educational programs will also focus on providing feedback on individual projects.)
Containership | Software Engineers | ONSITE (PREFERRED), REMOTE POSSIBLE, INTERNS | https://jobs.containership.io/

Containership is a cloud agnostic container management solution built on top of leading standard technologies like Kubernetes. We have multiple teams hiring: the open-source team, the cloud dashboard team, and the R&D team. Check out the job postings for more information.

You can submit your resume at the link listed above or contact me at nick@containership.io if you have any other questions.
"Startup" is more a state of mind than an exact coordinate in age and size. There are brand new companies that wouldn't call themselves startups, and companies worth 10s of billions of dollars that are commonly referred to as such.

While we may be 12 years old, we constantly experiment with new ideas, programs, and processes within YC to see whether or not we can get meaningfully better at what we do. That feels like a startup to me.
Square, Inc. | Software Engineer, Automation, Mobile CI iOS | San Francisco, CA | ONSITE , http://smrtr.io/tZrR5A

What we do: Make sure CI builds run really fast, and make Square a great place to work on mobile apps.

Square's ship speed is deeply dependent on the speed of our tools. We make those tools work well so everyone can ship fast. All your customers are in the building, so you get hands on experience with how development works at Square and participate to make it better full-time

Who we're looking for: Someone who will happily traverse up and down the stack, and loves learning new things. We're currently deep-diving on the iOS/OSX tech stack and are looking at scaling both Mobile CI systems to serve new organizational needs.

Tech we use: Ruby, Go, iOS Simulator, Anka, Chef, Ansible, Xcode, Fastlane Tools

Email me at mtauraso@squareup.com. I'm the hiring manager for this role, and I'd love to talk. Also check out https://squareup.com/careers/jobs for other roles at Square.
Code generation by macros is an important feature of Lisps, which tend to be dynamically typed. Maybe it feels less like code generation when you don't also have to produce the correct type annotations, but a good inference engine can eliminate most of those from statically typed languages as well.
I'm not sure what Java expressivity problem Spring is meant to solve. XML configs are basically just a duplication of what would be done in a static initializer, except you lose type-checking and get to find your wiring mistakes at startup time instead of compile time. Autowiring annotations can be nice when you first use them, but become inscrutable magic once some other poor sap has to come along and make changes to the original project setup.

I just don't understand what is so horrible and inexpressive about a static initialization block.

The only possible purpose I see to Spring is if for some reason you really need to be able to change how your dependencies are injected at runtime. (90% of Spring apologists point to this, and 99% of them never use it in practice.) Even then, I don't see how a Spring XML config file (which I have seen run to 4000+ lines, to my horror) is better than just reading some settings out of a properties file to pick an implementation in your static initializer.
The problem is the incentives don't change with a system like that, all that will happen is you have people rigging the pre-registers after they have already completed the study then sitting on results until the correct amount of time has passed.
Hi Jemaclus,
Thanks for posting! How should I send you my resume / cover letter?
There's no such thing as "proving correctness". You can have bugs in the type definitions. You can have bugs in the english (or whatever your native language is) description of what you think the algorithm should be doing. You can prove a program does what the types say it should do but that is not what "correctness" means.

>Now a big part of the problem is expressing with sufficient accuracy what the properties of the algorithm you want to prove are. For example for string reverse I may want to show more than that `reverse (reverse s) = s`. Since after all if reverse does nothing that would still be true. I would probably want to express that the first and last chars swap when I just call reverse xs.

This is no different from writing tests in a dynamic language.
Evernote is looking for a Senior Engineer, Web

Redux | React | ES6 | Webpack

Apply here: https://goo.gl/g7fjjf
I got to get my life together, this is practically my schedule.
IBM PC 286. Am I ancient?
I don't think the Bible requires that you be in church, it merely says 'keep the Sabbath day holy', or something like that.

True spiritual laws are less like political legislation and more like scientific laws in that they're not arbitrary or coercive. From a secular perspective one could say: being busy 7 days a week is like drinking 7 days a week, or going with little sleep for 7 nights: you're going to make sub-optimal decisions. (Which you will regret and which will give you more work as a result.)
Right. His philosophy is "anti-regulatory capture" which is a great philosophy all around.
Just about the time I graduated (BS, not MD), the hospitals in Dunedin NZ had junior doctors on shifts of that long as a bare minimum, and they were on call for 72 hours following their shifts. They were supposed to get a few days off after that.
I've just requested that HN formalise this as a specific guideline.

I'd rather see either the CSS fixed (to pre-wrap or whatever the directive is), or actually have real motherlovin' blockquote support. But I'm not holding my breath.

(Lists would be another nice add. Markdown...)
Intel Gears Up for FPGA Push
It's a bit obscure in Firefox 57 beta and newer. Open Preferences then click on Privacy & Security, then go to the "History" section. Select Firefox will "use custom settings for history" and you'll see the option to refuse third-party cookies.
You must have stopped reading at the first couple of sentences, or did you just not see the whole thing about jumping on a local WINS repeater? That wasn't ninja edited in there.
P-value is such a stupid metrics. Never understood why people still use it and conjure 0.05 magic number as the one that "proves" something. It should be considered a joke, but well, there is economics and a bunch of other "sciences" that are considered "reputable", and people there are daily making living off dubious theories, so nothing will change.
World View launches its first stratolite to the edge of space
Collecting the World by James Delbourgo – The Life of Hans Sloane
This site has a strange fascination with hatred of static languages. I really don't get it. My only guess is that modern colleges teach dynamic languages to students and so they're more familiar with it. Perhaps their teachers even stress that static languages are inferior.

To me, it's right tool for the right job. I have no problem spinning up a static language for performance and outsourcing the scripting to a dynamic language like Python for the best of both worlds in terms of speed, and rapid development.
Toys“R”Us hopes AR will bring you back to its stores
Evernote, Senior Software Engineer, Web | Redwood City, CA | Onsite

React, redux, webpack, es6

Listing: https://goo.gl/g7fjjf
Criminality will affect Amazon's trucks also.
I think the numbers make sense with or without the total number of investments figure since the large outcomes in venture are driven by a small number of companies, and not the pack.

That said, the total number of companies funded isn't that different. We're at ~1400 and according to the below, TS is at 1000: https://www.techstars.com/content/accelerators/growing-world....
I think a mostly vertical symbol is better, ":" or "|" is preferably to "_" or "-".
Wouldn't tapping at the server end be futile for messages with end-to-end encryption? So she must be asking for the removal of the encryption. I think that's why people are criticizing her. She's implying the encryption must go without explicitly stating it.
According to the article, GM is also investing in fuel cells.

They also aren't converting to all electric right now, they're rolling out some new electric models and are planning to eventually stop building gas-burning cars. If that doesn't happen for another ten or twenty years, we can probably expect some significant improvements in battery capacity per unit of mass and cost in that time.

According to Google maps, Austin to Dallas is 195 miles, LA to SF is 382 miles, and Austin to Tulsa is 454 miles.

~200 mile road trips are possible now with current technology. There aren't any electric pickups on the market as far as I know, but it should be possible (though expensive) with current technology for an electric truck to make the trip if it had a battery that's sized appropriately for that kind of use.

~400 mile road trips are a bit too far for a single battery charge at highway speeds without some kind of new technology or a vehicle that's optimized for range over other concerns, but I wouldn't want be driving that long without a break anyways. I expect if there's a market for that kind of vehicle, someone will build it eventually.
The Guardian lets do one time payments. You have to get past them asking for subscriptions but the option is there. I would like to give to The Atlantic without getting a paper subscription but they don't have that last time I looked.