skysight-inc/HackerNews huggingface dataset:
I think you missed the point of the article. The author isn't talking about the language scientists use when talking to each other, but about the communication between scientists and non-scientists.

The way we speak and write in the scientific community is optimized for precision and succinctness. Within the confines of a talk or paper, we just don't have the time or the space to go into all the fundamentals of our work. And neither do we have to, because everybody in our audience has spent years of their life accumulating the necessary background knowledge to understand what we're saying.

But when it comes to talking to outsiders, that doesn't work anymore. Whether we are explaining our research to politicians or our grandmother, we need to find new ways to express complex topics. The aim is for the explanation to be readily understandable but not oversimplified. And that is the conflict the author of the article is aiming at.
I think a lot of your questions are more related to how eth smart contracts work. Apologies if I'm misunderstanding. It's easy to verify that the deployed code of an eth smart contract matches the open source code using the Bytecode of the deployed contract. Etherscan offers contract verification, as do many other sources.

>That doesn't answer the question of how I know I can trust the computer that feeds housing price data into the contract. What if it cuts the prices by 10% before feeding them into the contract?

You can read the state of a contract for free, so you would be able to see whatever the 'price' was at any given moment. It would obviously be on you to do your DD and confirm that the price is accurate.

>You have no way to ensure that what the lawyer verifies is what the contract will release upon default.

Yes you do, see first comment above.

>If the default occurs, the token holders will have to go to court to figure it all out.

Not all defaults will necessarily lead to litigation. The parties would only need to go to court if the owner did not abide by the terms of the contract. In any traditional foreclosure lots of money and time is spent on legal proceedings.

>If my ownership stake is codified through the existing legal system what use is the smart contract?

You would only need to use the existing legal system in the event of default or breach, which would hopefully be rare. The contract eliminates middlemen. The token also gives investors/lenders significantly more liquidity, which is desirable.
The Kochs inherited a $680mm fortune. I was just listening to a great podcast about them, as a matter of fact: https://crooked.com/podcast/dangerous-dark-money/
AFAIK its Monodraw: https://monodraw.helftone.com/

(I've asked Brandur this in the past, so assuming he hasn't changed it this should still be what he uses)
It does give whoever holds the funds a good deal of float from which they can earn interest. Which is why I have a feeling this has the potential to become the norm.
In the United States, the richest 1 percent have seen their share of national income roughly double since 1980, to 20 percent in 2014 from 11 percent.

Not true. The highest income 1% have seen their share of national income roughly double. But the highest income 1% is not the richest 1%.
I can run a marathon in 2 minutes. By the way, my marathons are 20 feet.
Couldn't "the culture that views alternative transportation as poor people transportation" be solved easily???

We could just make the new Transportation super expensive at first and then gradually reduce the price until the correct amount of people can participate. This is essentially how TELSA got rid of the hippie stink from electric cars.

We could accelerate the transition even more by putting an Apple logo on the side of the train.
I don't know much about this particular case, but I know that Sutter Health is a reckless, ruthless, predatory company that is a not-for-profit in name only, and uses all the same tactics that PE companies use to take over and leverage hospitals to expand its network. They don't care about their patients, as evidenced by their dispute with Blue Shield a few years ago (previous story: https://www.npr.org/sections/health-shots/2016/04/07/4732535...) where many thousands of users were left with no insurance coverage and kicked out of their groups while Sutter engaged in brinkmanship while negotiating with Blue Shield.
> This, coupled with the fact that few programmers were trained in fields like stochastic calc,

Anecdotally though, I've met plenty of coders who did this to themselves by refusing to learn more about the domain or the business.

They basically silo'd themselves, then wondered why their colleagues didn't treat them as an integral part of the team when they couldn't speak the language or understand the concerns.

Taught myself enough stochastic calc to change and validate pricing models while on the job.

Coders who understand their domain well are immensely valuable, and are easily worth at least 3x, because they don't over- or under-engineer a solution, and because they can conjure up with technological solutions for problems that nobody else in the company can even conceive of.
There is still the possibility that this would weigh in favor of an unusually large damage award against Sutter. In many antitrust cases, the judge is allowed to triple the amount of damages the jury awards, if he/she sees fit.
> why isn't this a viable business model?

If I find any site doing this, I'm going to throw it into my local dns resolver to point to 127.0.0.1 faster than I can script it.

Why? Because when I'm on battery and any site decides their crypto currency ad scheme is ok to run and blow through my laptop battery, I'll likely wonder if I can bill them for the machine resources they have used.
Sigh. Why not?

Because when we catch you, even if it were an “unfortunate mistake”, your company gets an automatic “unfortunate” finding for the plaintiff. Of course it doesn’t currently work that way. OTOH, the judge will probably be none too pleased. Perhaps not resulting in an automatic finding for the plaintiff, but I’d imagine defense has an uphill climb from there.
I mean trying a nonconventional means of improving was the only thing in the article that made some sort of sense, since traditional methods of chess training would have certainly given him zero hope. Not that the ML method sounds remotely possible, but at least it gave the reader the ability to suspend some disbelief.
> PS: And was it ECC RAM?

This myth seriously needs to die. ZFS does not care one whit what kind of RAM you use, any more than my other type of filesystem does.

Who puts ECC RAM in a small, low-power, embedded-style system like an RPi? It makes no sense.
Proving yet again that the "Internet of Things" won't work until the "Local Area Network of Things" works. If the "thing" requires the Internet to work, these kinds of failures will continue plaguing them for eternity.

Sadly the "IoT" market is practically predicated on selling some hideously expensive service that you don't want or need on top of a piece of hardware that would be perfectly happy working against a home edge gateway rather than "the cloud". Approaching a VC asking for money for digital lightbulbs and dimmers that work against a local server running on a Wifi-router-like-box? Using a standardized protocol, so you don't need 10 different home edge gateways to orchestrate different tasks? Get out, we don't even want to hear it...

Accessing the Internet should add features - not having the Internet should not burden or brick the device.
According to an Ars comment: "I've got an older version of Mac Office (2011 I think), and there's a version of Equation Editor in there with a 1990-2010 design science copyright on it, so they have some version of newer code they could swap the old office one for."
Cool, but how do you get users to install it?
Interesting! Well thought.
> Quantity of life doesn't interest me as much as quality of life.

I really do wish hedonism and epicureanism got more respect—after all, the greatest joys in life are often communion—sharing food, experiences, stories. Only very shallow interpretations focus on physical pleasures.
> compensation paid purely in cash, no stock options/RSUs

Hands down my favorite part of working in finance. Better salary, no bullshit.
If they used the "verified user" for it's intended purpose "This account/person is who they claim to be" then I'm fine with Neo-Nazis getting the verified user checkmark.

The problem is Twitter doesn't "verify" people equally. There should be a process that is the same for "Donald Trump," "Kim Kardassian West," and "My child's fifth grade teacher."

Since they can't or won't do that, becoming verified also involves a bit of Wikipedia's Notable policy. Except that it seems to favor high-traffic accounts. (So no checkmark for my kid's teacher, but yes checkmark for neo-Nazis.)

So now they aren't really "verfiying" users, they're just rewarding high-traffic users that are notable.
A few questions, if you don't mind answering:

> 400-450k

Where is that in the pay distribution? Near median? Realistically, where, comp-wise, would the average SWE plateau?

How many hours are you guys putting in a week?

What was the interview like? Did they go deep into stats/stochastic-calc/derivates-pricing/etc ?

---

I'm currently in tech, making near the low end of your range. Getting promoted to the next pay scale (Staff SWE) is a lot more difficult. I'd seriously consider jumping to fintech if 400-450 was below median.
And who are not regulated like a bank.

Final Tweet: "Ooops we invested all your money. Now it's gone. :("
I don't think it's a fair comparison. When you select your charity Amazon Smile directly says:

"We will reach out to the organization you select to ensure it is ready to accept donations from Amazon."

Furthermore, you aren't able to free form enter a charity. It's only from the list they've sourced (presumably from public records).
Sounds interesting and challenging - my contact details are in my profile if you'd like to chat
The world isn't web development.

Some of us do other things, you know.
I thought I saw this was built into Safari with the new High Sierra update. Haven't dl'ed yet.
To some extent, everything competes in markets. I could spend $500 on a guitar, or on a clunky car. Which one should I get? Well, it kind of depends on my needs.

Both Electronic music production and guitars exist in the "music production and playing" market. It makes sense that they'd compete.
Same way you get into any industry. Get a job at a place that trades.

Like any industry it’s best if you have contacts there to get you past the HR gauntlet but even if not they advertise jobs like anywhere else.
The quantization is done with a special training script that is quantization aware. We will be open sourcing a mobilenet quantized training script to show how to do this soon.
Ξεκινούν οι μάχες πάλι στην Σούπερ Λιγκ
I think his machine learning strategy goes to show how overhyped the field has become. Faced with an impossible situation? Machine learning! In my head!
NoRedInk (ed-tech) is hiring a VP of Engineering
This should be possible, but we haven't tried it. We're likely going to add a simplified target that has minimal dependencies (like no Eigen) that allows building on simple platforms.
How much math did you self-teach and what did you use to learn it? Aside from mentorship.
Calling All Software Developers: Speak at Index – San Francisco
The writer of “The Martian” has a new book out, and it’s set closer to home
If you read it Aristotle is frequently cited e.g codex 242 and 249. Having read Aristotle was basically assumed at the time and hardly worth mentioning in the TOC of a book of this sort.

See: http://neoskosmos.com/news/en/photius-dr-nick-trakakis-2011

Interesting article: http://grbs.library.duke.edu/article/download/11951/4059

Also look at the works of Arethas who was active around this time. The works of Aristotle were frequently cited throughout Byzantine history.

Lots of neoplatonists wrote commentaries on Aristotle so it's not like they're mutually exclusive.
Sounds really interested. We're excited to hear about how that goes.
And then thanks to "Hollywood Accounting", the film makes no profit and the investors get nothing: https://en.wikipedia.org/wiki/Hollywood_accounting
matter/antimatter collisions seen in particle accelerators is the most dramatic form of matter into light; the matter is completely consumed. Nuclear reactions are somewhat less dramatic, but still result in a substantial loss of mass.

Arguably we are not turning matter into light with classic black-body radiation; that is rather thermal energy turning into light.
Neat, I didn't know that one. Brings it down to 47 bytes. (While gcc is at 48, I missed that counting starts at 0 in my earlier comment...)
Well any practical thought about extending lifetimes means rich people can live for ever and poor people can’t. If it’s free, good luck figuring out who gets food.

Second of all, superman would not have an enjoyable life. He’s alone, immortal, and can only turn to himself for ethical guidance. This is a central theme of his character.

I want to live a limited life because humans are sad confused little things individually; only generationally do we really make progress as a community. I would like to fully enjoy my life, but why would a longer one mean a better one? Seems like a trick of the mind, and one we will use to endlessly exploit each other.
How about some specifics on the true history.
Quantization comes in many different forms. TensorFlow lite provides optimized kernels for 8-bit uint quantization. This specific form of evaluation is not directly supported in TensorFlow right now (though it can train such a model). We will be releasing training scripts that show how to setup such models for evaluation.
Having read only the first paragraph of the paper, I feel I already disagree:

> Trying to make an optimizing compiler as simple as possible and yet as powerful as necessary requires, before all else, a measurement standard, by which both simplicity and power can be judged.

The goal is not to use the compiler as a proxy for runtime performance of other compiled programs, but rather a benchmark of a particular value (or maxim). You may not share that value, but I think you've mistaken the motivation.
I believe you, but can you explain in more detail?

The classic diagram in undergrad physics is of a single particle going in one direction converting to two particle/antiparticle pairs going off at angles with a total momentum equal to that of the first particle. Why can that situation not happen?
There's quite a difference between 6 and 14.

I'm not sure you understand the amount of hatred a 14 year old might have against you if you forbid him to have a smartphone.

A case could be made in court that such a restriction is illegal and a form of bad parenting.
Transmission.

I think this is the one. http://fordpowershiftlawsuit.com/
All Ears
I'd say the typical for a senior engineer is around 70, ranging up to about 100 or so depending on expertise/company. Going to lead/architect you're looking around 80-120 total comp (there's a huge range...). Finance will pay much better like you said, 150-200, but the tech will be pretty bad. People making over 150 out of finance are generally contracting or working for a US company.
*By humans. It's almost certainly happening in particularly large stars, and around black holes, not to mention just... in the vacuum, although in that latter case it's annihilation as well.
Happier HTML5 Form Validation
The destruction of graduate education in the United States
In technical fields (notably very much not including anything involving a computer or software) there is also 'criminal negligence'. In things like construction, if the executives ignore and disempower the engineers and put business goals ahead of things like structural integrity or safety of the public, those executives go to prison. I'm not sure how much longer that will remain absent from anything computer-related but thus far companies can straight up kill people out of bold aggressive negligence of this sort and the courts just shrug their shoulders. We saw that with Toyota and their "unintended acceleration" killings. Multiple bodies, but when charged with criminal negligence, the courts basically said 'its computers, nobody knows how they work.'

It didn't matter that Toyota lied and claimed their cars computers used error correcting RAM but they cheaped out and saved a fraction of a cent on each car by using non-error-correcting RAM. It didn't matter that their developers didn't even have access to a bug tracker. It didn't matter that they didn't have access to static analysis tools (which when used on the code afterward found the problem instantly). It didn't matter that the automotive industry has 90+ practices recognized as "required" or "recommended" and Toyotas code followed only 4 of them.

There is literally no degree of negligence which is great enough to cause a court (in the US anyway) to judge a corporation as having been criminally negligent if a computer or software is involved. And it's reflected in the established business practices of most companies. They hire the cheapest "labor" they can find, deprive them of the tools and work environment needed to do their job competently, ignore any warnings about safety, security, correctness, or other technical issues in deference to business goals, etc.

And it'll be the worst of the worst who gets a fully autonomous car on the market and careening down your street first. And when it hits your car or (hopefully not) your kid - the company will skate away absolutely unscathed.
It’s been discussed repeatedly right here on HN. Unlike you, it strikes me as one of the dumbest things I’ve heard in a while, and I can support that assessment from multiple angles. But one person’s dumb idea is another’s successful business model, and I’ve been wrong plenty of times in the past. Like a sibling commentor, though, I catch you doing it and your domain will never again resolve to a valid IP on any machine that I own.
The trading-coding positions they’re referring to in that article have total comps that can be far greater than 200k pounds.
Zimbabwe uses the US dollar.
Peter Thiel has parted ways with Y Combinator
people who think slippery-slope is a fallacy have never fed a wild animal food.
> there's nothing stopping YouTube from changing their policy in the future to make video ads mandatory.

Ideally in that scenario, competition would push creators and viewers onto some other platform.

Not sure how realistic that is, given the network effects involved with YouTube.
Given the amount of inbreeding, “Knights Templar” probably isn’t the phrase I’d use.
> Wow, just read this on Wikipedia:
> > Meclofenoxate (centrophenoxine), as well as DMAE, have been found to increase the lifespans of mice by 30–50%, and thus may be anti-aging drugs/supplements.

Have you also checked the source? It's not a scientific publication, it's a claim from a book by a quack.
Not at this time. However, in principle it would be possible to create such bindings.
Yeah all of the builders have custom shops, but usually when I see "custom shop" come from big companies like Gibson, it's basically "modified les paul" with cooler wood and different pickups.
10 Years Ago Today on Hacker News
It's all fun and games until someone like me tries to run `find` on the parent directory...
The situations could be avoided if the companies hired developers who have heard the word 'security' before, or got training for their engineers to learn secure coding practices and their sysadmins to learn secure server setup. If they're not going to make the effort to do those simple things, why should anyone else consider tip-toeing around the scumbags slapping together anything they can get to marginally work and then endangering the public with it?
The people sent in to fix toxic office relationships
When to Shoot a Nuclear Bomb with Your Gun
I definitely believe you. Both Gibson and Fender are awesome companies and do make great instruments with amazing quality control. They're as American as apple pie as well... I have zero hate for either brand, but personally for my money, if I'm spending big, I'd go for something really unique.. For example, I'd really love a Jersey Girl or a Robert de la Garza:

http://jerseygirlhg.com/composition/branches/spot/images/02....

https://static.wixstatic.com/media/2b245d_55366c7247ed436480...

Those will set you back roughly $6000 each though :(

http://jerseygirlhg.com/composition
Having read the second paragraph of the paper, they propose that the time and size cost of self-compilation is a useful benchmark for whether the additional complexity of a compiler feature is justified by its benefits. I agree with moomin that accepting this benchmark carries an implicit assumption that self-compilation is a representative workload. The paper doesn't argue "you should have some benchmark": it argues for this particular one.
That’s not at all correct, without deduplication enabled I have observed massive memory usage across BSD, Linux and ZFS on macOS.
Better than that - it only really works for languages that are only used to write their own compiler ;)
I don’t think end users would be the ones doing the code review. Making source auditable by “a tiny minority of geeks” would be a net positive, increasing the chance that someone (bug bounty hunter, appsec blogger, etc) would find and report on malicious apps. It would be no silver bullet, but more transparency would be no bad thing.
I know that feeling.

A lot of times I feel like there is not career track after you hit "Senior Software Engineer", especially outside of super specialty tech. It feels like the only real track is management, and most places don't want to promote or change the management structure at all.

It's honestly very hard to get excited about going from Senior Engineer to Staff or Principal or whatever the text title is. Nothing will change in terms of the job. Pay is pretty well pegged to what you started at with single-digit percentage increases every year or so.

Skill wise? Learning new frameworks is just not as exciting as it used to be. Even then - the reality is that whether you're the most skilled dev in the world or a mediocre dev with only a 9 week bootcamp of experience, you're going to not understand the new environment you're dropped into when you start. It's full of weird quirks and historical oddities. It'll take time to understand those and get productive in whatever the particular stack is.

All of which feels like... every time you start a new job, you're starting over. With a little more insight and vision, but fundamentally, doing the same thing over and over.
what will this do to the program ?
I think this is all missing the point. Do they want to store, say, the entirety of the base Windows OS in a single git repo? If that's the case, sure, git isn't a great fit for their use case, and they should either use something else, or find a way (as they're doing?) to change git to fit their needs.

I can't see MS having tens of thousands of developers working on any single component of Windows, so I'm guessing they _do_ want a giant monorepo. If they were to break it up into separate repos per OS component, I doubt they'd have scaling issues (of course, breaking things up introduces coordination and dependency issues).
That's probably the ARC, the in-memory caching structure, which gives up memory when applications need it. The weird thing on Linux (and maybe the others) is that the kernel marks the memory as "used" and not "cache", so tools like top/htop show high memory usage, even though ZFS will shrink its ARC when any actual applications require it.
Details on why it happened here:

https://groups.google.com/forum/#!msg/mozilla.dev.security.p...

Good read on what not to do.
Is this new technology? Hyperlink into content inside