skysight-inc/HackerNews huggingface dataset:
Calling Tesla just another car company is really missing the boat on their business. Tesla started as a car company. It's how most people are aware of them. So I don't really blame you for this mistake.

However, Tesla today is an integrated energy company. They make Solar Cells (the part of the business formerly called SolarCity), Stationary Battery Systems (generally referred to as Tesla Energy) that range in size from residential to grid sized and of course cars (which ultimately also use batteries).

Comparing them to car companies is like comparing Amazon with bookstores. Yes Tesla is a car company and yes Amazon is a bookstore. But both both of them are so much more than those simple comparison.

In fact I suspect the Amazon comparison here is rather apt because Amazon is now in the situation where Amazon Web Services is essentially able to prop up the retail business. I suspect Tesla Energy will be able to prop up the car business in the near future.
I think, in programming, practical experience (and intuition) is way more important than familiarity with any theory. I mean, sure, it is nice, I guess, to be able to think about functions as "arrows" in the "category of types" and about generics as "endofunctors" (in the same category), and all that; on the other hand, this may be very distracting when you have a real-world problem to solve, and, in the worst-case scenario, it might even lead to a failure - kind of like what happened to a centipede who was unable to move ahead as soon as it started wondering which of its legs it should move first.
Thanks for a great and insightful article and answer. Views like yours should be shared by a wider audience, since it accentuates a section of software engineering that is rarely discussed: understanding and adjusting the mental model of programming (or should I say: systems design?)

Applying formal methods does not automatically entail that a system is proven to be correct, which would be an exaggeration. Proponents of formal methods believe it helps to ascertain certain robustness and reliability aspects of a system. For example, I could prove a Paxos implementation correct, given the specification of a Paxos algorithm, but still use it incorrectly in a larger system, or vice versa.

Correctness is a rather vague and abstract concept and quite distinct from proof. Using a type system, we could prove that, given certain pre-conditions, large state-spaces cannot be visited. Whether it will behave correctly within the reduced state-space, the programmer can only hope. Even formal languages such as Coq rely on correct execution of the assembler, CPU and system environment.

I think what Dijkstra was aiming for was not a replacement, but more a grounds-up reeducation of the field. And to a certain extent this is currently happening. Functional languages and techniques are everywhere. I hear people talk about monads, monoids and functors, others embrace reactive programming, which is the coinductive branch of programming. Coq and Idris are finally reaching a larger audience (but still small). However, the larger change is slow and requires a generational paradigm shift.

It is exactly the thing you are addressing in your article: do the users of a tool believe they are changeable and changed by the tool (Heidegger)? If they do, they also understand the need for self-protection and focus.

Teaching and understanding are indeed the underlying pillars if we want to bring software engineering to a higher level. I think the order in which material is taught greatly influences the mental model of the student. Making multiple iterations, one could start with concepts from category theory and work down with for example Coq, Haskell, LLVM / Assembler, Machine Language/system design, CPU Micro-ops to Digital Electronics. This would lead to view the concept of an LLVM as an implementation artefact of Haskell (which in itself can be expanded to other languages). The mental map becomes relatively machine and system independent. Unfortunately, most programmers nowadays start with an easy language that gives instant reward. It is made difficult for the aspiring programmer in this position to understand the concessions made.
I hear you, but I still wonder what kind of evidence I'd want to see laid out in front of me before parting with a cool $100 mil, and I somehow doubt that's how these things work.
And China.
You can use either the cash flows to equity or the cash flows to the firm to calculate the value of equity (ex-non-operating-cash) or the enterprise value.
> Every year is potentially a record breaking year for profits. That's how inflation works!

do yourself a favor and never own or run a business. record breaking numbers do not happen by accident or because of inflation. you have a fundamental misunderstanding of what is actually going on here.

the analogy you are looking for is "right before the car showed up the record sales of horses looked unstoppable." but you're not putting the pieces together in a coherent manner.

also, ford will make whatever the car is. doesn't matter if it's electric or gas or diesel or bio.
I use it regularily. Never even thought about it, because i just hit the super key and start typing. Finds what I want to launch every time.
The OP said "updates" not "upgrades". The use of the word "some" is not correct regardless of what context you try to paint it in.
Yes it is true. If a miner has 51% hash rate, they can in theory steal your coins by rewriting history to replace the transaction that granted you the coins with a different transaction that sends the coins somewhere else. Or, if your coins are too old for that to work, they can DoS you by refusing to mine on any block that includes your transaction, essentially rendering your bitcoins worthless.

In practice these attacks probably need significantly more than 51% hash rate, but there is some % hash rate where they would work. Of course, evidence that such an attack was being carried out would immediately crash the Bitcoin market, which would destroy the value of the miner's investment in mining hardware. (A crude form of proof of stake?) So it's hard to imagine that such an attack would actually happen in reality, unless it was carried out by someone with the intent to destroy Bitcoin and a few billion dollars to burn.
Oh, its not a mystery at all. Its just odd to come across people (in general, not you) who still think an advertising company would care all that much about their users (who are not their customers anyway). But yes, they're quite far from being the worst in this aspect.
Cruise Automation | San Francisco | ONSITE

We're building self driving cars. We operate as an independent startup, but we also have the funding and manufacturing capabilities of a large company (GM). We're hiring many roles, including C++ engineers, and backend/full stack engineers (go/node.js).

https://getcruise.com/careers

If you're an experienced backend or infrastructure (docker/k8s) engineer, and feel comfortable building systems from scratch (e.g. startup CTO or early employee) please send me your resume/github/linkedin via HN profile and I'll personally review it.
The most honest answer you're going to get is the one you already suspect you will: get a lawyer, and don't underestimate how easy it is for $EVIL_CORP to bury most people or orgs with legal costs alone however unjustifiable (or not) the cause for their ire might be.
Yeah, I don't really see the logic in that post. You will most likely see a slight rise in salaries across the board. In addition a larger effort to recruit for junior positions from universities and job listings.

The only real change is that recruiters will have to change there talent pools. There reliance on H1B is mostly because no one stopped them not because there is a lack of us talent.
How can this work if there is no Oracle? Think about it, the price of USD/ETH has to be retrieved from somewhere. It's not in the blockchain, so it must provided in an Oracle.
The only requirement is the servers are actually located in the respective countries. Everything I've found so far either requires a colo or the datacenter is actually in the US or Brazil.
Anti-cartel articles are a danger to the cartels.

I think the issue comes to honesty and truth. Generally, far right anti semitic articles are untrue.... Unless they are about Israel. The problem isn't the facts (Israeli missile strike takes out 3 Palestinian citizens or whatever), it's the analysis after (alt-right paper: "it's the Jew's fault," ISIS paper: "it's America's fault," Israeli paper: "three terrorist sympathizers killed in heroic military action"). That's a narrative, and that's nearly impossible to contro sanely, if you are perfectly honest with yourself. Would you strip away a Unions right to push a pro worker narrative? Would you strip Apple's rights to push a pro-corporate narrative? Would you strip a black man's rights to claim he is experiencing racism? What about a white man's rights to claim that racism isn't as big of an issue as the black man says?

There are viewpoints that to you seem so wrong you firmly believe it's be safe to just make them illegal, but that mindset is just an outright dangerous precedent to set because of how fluid human morality and language is.

I'm curious to hear how you feel about this, it is an interesting (and very, very old) debate.
So... and I swear I'm not being as glib as I sound: The only reason Grid is OK and Table isn't is adherence to the design intent of a 25 year old SGML hack?

Basically you're just restating the orthodoxy. I know the orthodoxy. I'm asking if maybe this is time to revisit it, and wondering if maybe the last 16 years of flamage were a mistake.
Hey I think this is a really awesome company, I've looked for similar positions but never found any. I'm wondering how long do you think it would take to hear a reply on the intern role?
I mean capture of CO2 from the air and conversion into a fuel that can be used. Something along the lines of algal farms that soak up sunlight and CO2 from the air and excrete alcohol. Combining solar and the CO2 that has already been released into a liquid fuel suitable for a variety of uses. We could cease raw material extraction entirely.
I quite like that one. Thanks for sharing :)
Well. Driven to write about then ;-).
People Are Paying to Work in Bars and Restaurants
Great Depression: industrial production in the United States declined 47 percent and real gross domestic product (GDP) fell 30 percent.

In comparison 2010-2014 was a minor blip, with less than 3% GDP drop, that barely qualifies as a correction. I fear central banks have actually gotten to good at minimizing these issues as we could easily do the same thing in another 10 years, where the great depression created far more systemic change in both organizations and peoples attitude to investing and credit.

PS: People want the post correction economy to match up with the pre-recession economy. However, in the case of irrational behavior the rational economy should have a lower GDP and that's not actually a problem.
Very clever. I hadn't considered doing it like this. The best tip I've come across on HN in forever.
Tomas Barry

Location: Dublin, Ireland

Willing to relocate: Yes

Technologies: Node, Docker, Android, Linux, Bash, Javascript, Go, Python and many others. Open to learning new technologies

Résumé/CV: linkedin.com/in/tomas-barry-498bb699, https://github.com/TomasBarry

Email: barryto@tcd.ie

I will be graduating in May having complete an Undergrad degree in Computer Science with 2 internships and a 4.0 GPA.
The economics aren't so black & white. The incentives to hire an H1B change when companies are paying senior engineer wages for the position.
You're speaking as if table layouts are equivalent to CSS grid layouts. They're not, otherwise `display: table-cell` would have been enough.
WildDuck – Open Source Distributed Email/IMAP Store
He stopped short of an invasion, though. It can be official US policy to oppose a regime and yet not start a war.
I thought I was here to discuss programming and related news rather than engaging in mindless boosterism.
This is so great for melee, though. The led tool was amazing and well-done, but this puts the measuring tools right in the hands of people! This is an excellent idea that will let everyone measure the lag on their own screens with just a phone! I know you weren't saying anything to the contrary, but i just wanted to express my excitement!
I think America should stop buying drugs from Mexico, shipping them guns and promoting the violence.

Garry Webb and Michael Rupert were two amazing reporters that brought to light the reality of the CIA funded cocaine trade from South and Central America, and most people today have either never heard of them or dismiss them as crazy. The reality is the CIA still funds itself with cocaine and still causes violence south of our border for the industries that would benefit. United Fruit, Bay of Pigs, the 1973 Coupe of Chile, School of the Americas... the list is as long as you want to make it.

This comic sums it up: http://imgur.com/a/Wtt6H
Drilling through the generic zinc pot metal that everything that can't be made of plastic seems to be made of nowadays could leave one with a wildly inaccurate idea of how difficult it is to drill in hardened steel.
I see one of the advantages being that it is very easy to learn due to its simplicity. There is also no need for complex instruction decoding placed on the hardware designer.

For software there may be a slight increase in complexity for control flow because it is necessary to specify the addresses where execution continues both when the condition is met and when it fails versus CISC which specifies only the address to branch to when the condition is met and defaults to the next instruction inline when it fails but there is also a gain in flexibility by specifying both addresses because you could, for example, call one subroutine for Z and call another subroutine for NZ and both would return to the next instruction inline.

When I first read about Move machines it appeared that they were very inefficient and the simple ones described were. In the decades since then I have devised means to offset that inefficiency with more powerful hardware functions. Especially with an FPGA target it is possible to perform complex functions in hardware that only needs to be memory mapped. Depending on your application you could have vector math, complex number math, or SIMD instructions which run in a single machine cycle. It is possible to have a shift-and-add multiplier which takes several cycles that can be loaded then you could perform some other operations while waiting for completion. I have written shift-and-add multiply routines for microprocessors which needed the processor to do the shifts and to do the adds which kept it fully occupied. While I do not claim that the design I have documented is the optimal processor, I maintain that it should have reasonable performance.

One of my goals in releasing this design is to draw interest and receive suggestions and recommendations for improving it from the highly intelligent community that reads HN and uses Github. I would like to see it optimized.
> Employers who abuse the H-1B visa program negatively affect U.S. workers, decreasing wages and job opportunities as they import more foreign workers. To further deter and detect abuse, USCIS has established an email address which will allow individuals (including both American workers and H-1B workers who suspect they or others may be the victim of H-1B fraud or abuse) to submit tips, alleged violations and other relevant information about potential H-1B fraud or abuse. Information submitted to the email address will be used for investigations and referrals to law enforcement agencies for potential prosecution.

I wouldn't want to be responsible for managing this inbox:

REPORTH1BABUSE@USCIS.DHS.GOV
Freedom of speech is possible only where there is basic law & order. Everybody here is debating fine points of what speech should & shouldn't be allowed/protected - that assumes there's someone in charge to do the protecting/allowing. Well in Juarez the cartel is in charge, and they protect what they protect, and allow what they allow.
In my experience of hiring engineers across several companies over the past decade, the pool of senior SDEs who are both not already in the US and willing to move to the US is so small that I'd be surprised if it even registered in the overall H1B flow. Virtually all the non-resident senior SDEs I saw getting hired in my orgs ended up being H1B transfers who got hired straight out of college into the US and grew into seniority while here.
I think people misunderstand what's going on here. The aol and yahoo brands are not going away. This is more of an internal reorg. You're not going to go to oath.com or oath fantasy football. This is like alphabet with google, but internal.
Yes, perhaps I was not clear. I do think an IDE is more efficient. Actually, I believe a modern IDE is barely scratching the surface of what could be possible. I am one of the lunatics who believe in editing directly on the AST, forgoing the filesystem and working on one shared merkle-tree-like database with function signatures as the primary entry point for search.
> The tokens have been continuously sold off in small batches by the Dai Foundation. Currently about 55% of the total supply has been distributed, with the foundation still having another 45% for future fundraising.

And here where the "Scam" alarms go full retard, basically panicking the whole building I'm living in. The concept is yet to be finalized, let alone functioning and yet these guys started selling "tokens" a la "DAO".

I wonder when regulators are going to strongly hammer the ICO (or the crypto equivalent of IPO) by a 15 year of jail and catching bad jokers inland and overseas.
Except for the fact that it monopolizes the whole screen? Windows 8's start screen was panned for the same reason; there's no reason to send the user's state to the background for something that objectively does not require it.

An example of doing the same thing, the Right Way, would be Quicksilver or Spotlight on MacOS.

What's the use case for the launcher (activities menu) on G3? If you've invoked it, either by throwing your mouse to the corner or by hitting the super key, you either want to:

1. Start something

2. Close something

3. Switch to something (that being an open app or a virtual desktop).

Zero of these cases require, or even benefit from backgrounding all open windows. Compare and contrast with the Win7-Era start menu and taskbar, or Ubuntu Unity's sidebar, or MacOS's Dock.
PO Boxes and the like are not anonymous. You need to show a government ID to open one.
Celine Dion or Nickelback for everyone!
Yeah, well, hold on to your hat.
That is exactly what we aim to do:

- We keep track of how domains have been used before (so as to mitigate if not entirely predict that QC). We are trying to encode that expertise in a way that is intuitive and frictionlessly sharable. The more people use it the more helpful it becomes. We help encode biological institutional knowledge.

- We collaborate with DNA synthesizers so that you just do the designing, and we help get you the designed DNA to your bench at a reasonable cost. You get exactly the sequence that you want, not what someone gave your neighboring lab's buddy sometime ago, or what some restriction enzyme/quick-change let you that's probably good enough. We alleviate the pain of cloning.

- We help you build entire sets by dragging and dropping: "I want these three fluorophores upstream, these 4 linkers on these proteins of interest" - Boom! Buy! Done! (in literally as much time). We make efficient high-throughput design.

- It is true, there are many proteins that are note entirely modular. But there are many more than 10 examples of proteins designed exactly that way (see Addgene's database). Biology is hard. We help you prevent failure buy being able to see how other successes have been achieved, prevent stupid mistakes, and get you your material to you as quickly and cheaply as possible. If your design does fail, it has failed faster and with less sunk cost than if you had to do all the construction yourself.

- Finally, because combinatorial design and purchasing is reasonably priced (and you don't have to do the construction work), you can order an entire logical set of proteins to actually figure out which would work and which would not. When I cloned I made some tiny fraction of what I expected to work purely because cloning was so painful - and if that small fraction failed I didn't even bother to figure out why or what would have worked.

I'd appreciate any feedback you might have.
INSTRUMENTAL | SRE | Bay Area, CA (Palo Alto) | Full-time, Onsite | instrumental.ai

Instrumental makes intelligent data-driven tools that help product companies find and fix issues on their assembly lines. We are working to improve the manufacturing of millions of things each day. We value diversity and our team is collaborative, supportive, transparent, and pun-tastic. Join us to modernize manufacturing!

As our first SRE, you will work with senior developers to build a distributed data pipeline between our AWS infrastructure and the factories of the world. The automation we write will power software running on assembly lines for the most desirable and confidential consumer electronics products. It will deliver software to factories in China, the USA, Mexico, and anywhere else on Earth that things are made.
Does building a world-wide distributed service like that sound like a fun problem to you? Hooray! Let’s do it.

Apply here: https://www.instrumental.ai/join-us?position=Site%20Reliabil...
Mice in general are shockingly unproductive as compared to keyboards - using Gnome in a primarily keyboard-driven manner is where it really shines.
"Login with Oath" vs. "Login with Oauth"
How would executive bonuses get any bigger with that plan?
Atlantic Media / National Journal -- Washington, DC -- onsite but with optional WFH days

My company is looking for another Django developer (~2 years experience preferred) to join our team of 4. We're a fun bunch, do cool things at the intersection of tech/journalism/politics, and have a small-but-respectable collection of snacks in the office. Our main product is www.NationalJournal.com (NOT to be confused with the National Review)

Interview Process: We don't do whiteboard interviews. We put you in a room with all of our devs, and talk about the things you've worked on/things you'd like to work on. That's... pretty much it?

http://atlanticmedia.theresumator.com/apply/jobs/details/i42...?
Why you don't create a unique numbers for every USA citizen? Almost every European country citizen has unique citizenship numbers.
What organisms are you working with? I've known several groups that have had problems recovering heterozygotes because CRISPR-Cas transformation is so efficient in plants.

If it was just 2-10 percent, everyone would still be using Agro.
Restriction of free speech is a tool of fascist regimes. You don't fight fascism by becoming a fascist yourself.
Thanks for clarifying, I agree with all of this, and they're great points!
If you are interested in helping out in ending the drug prohibition in the United States I recommend donating or getting involved with the Drug Policy Alliance: http://www.drugpolicy.org/
In the US, copyright damages are basically profits made times a multiplier based in willfullness. Once you have received a cease and desist letter, any further copyright infringement gets mega-multiplied damages.

Other areas of the law work similarly with big increases for willfulness.

One example is Hulk hogan vs the-media-company-that-will-not-be-named. Not only did they not remove the video after a cease and desist, they also refused a judge's orders. This led to epic damages in the final court ruling - 140 million and it put them out of business.

So this is something that cannot be lightly ignored. If you do anything other than stop doing whatever the other company is mad about, you absolutely need to check with a lawyer first.

This will cost money. I'm sorry.