skysight-inc/HackerNews huggingface dataset:
It would be framed as the capitalist "owning the means of production" and the 3%, if indicative of "capitalists", then are owners of the incoming 3%. The show displays this to some degree where the "interviewers" and the Process treats the subjects as some resource that they are going to own through its "selective process". Is it "anti-capitalist"? Maybe, if it were to criticize the messy reality of the corrupted boundaries between capitalism and humanism.
Agile emphasizes value for the customer but who the customer is has a very broad definition. The end-user is first and foremost, of course, but the operations group who has to keep the service running and the development team who has to maintain it (i.e. you) and so forth are also considered to be customers. If your PM doesn't understand that, it's a failure on his/her part, not an issue with agile itself.
Wow! So cool. This is why I love HN. I just spent the last 3 hours reading the paper and then watched the documentary.

Amazing engineering.
So now spreading ones ashes costs money. That is hilarious.
Silicon Valley is a dystopian nightmare.
> A process of invention as far as deciding which axioms to assume (...)

Possibly, but I think what mathematicians find is that they end up having little choice about what sets of axioms (when taken together) are useful, fertile, and/or interesting and which aren't - when studying various mathematical systems. Which leads us to consider that trip down to what those essential various groupings of axioms to once again feel more like discovery than invention.

Further, abstract math tries to shave concepts down to only what is logically essential. Arriving at what's left at that point is more akin to discovering a rare diamond or gold nugget buried deep beneath the surface, and inherent to the basic "construction" of the universe (philosophically, that which might exist beyond/before/after/without us).
The U.S. Foreign Service Institute's School of Language Studies publishes this list of languages:

https://www.state.gov/m/fsi/sls/orgoverview/languages/

They break languages (note: that they teach) into four categories:

* Category I: Languages closely related to English.

* Category II: Languages that take a little longer to master than Category I languages.

* Category III: Languages with significant linguistic and/or cultural differences from English.

* Category IV: Languages which are exceptionally difficult for native English speakers.
I don't know how does your editor work, but my Vim diligently helps me with
identifier completion, so kNaverUrl wins every time with "www.naver.com", even
if it doesn't make the code more flexible.

It also defends against typos, as serge2k pointed.
Can one write apps for this? I see its operating system is "Codex, a custom Linux-based OS optimized for low-latency e-paper."

Edit: I see on their FAQ this question-and-answer:

DO YOU PROVIDE THE REMARKABLE WITH A SDK FOR CUSTOM DEVELOPMENT?
The reMarkable will not initially ship with an officially supported SDK. We might however release an unsupported SDK for best developers.

What defines a "best developer"?
From a technical perspective, all energy is the same. The renewable nature of energy only becomes meaningful when viewed through a political lens.

No politics on HN this week I thought?
You are missing one point though, that the cost of non-renewable energy goes up when there is no renewable energy in the grid often very significantly.

Effectively renewables have an externality cost of their own: they make "reliable" sources of power much more expensive.

Imagine that wind/solar power supplies 25% of the grid's needs - this means 75% of the time you need a gas power station to fill in the lulls in production. Fine.

Then imagine you triple the amount of renewable energy on the grid to 75%. The gas plant is now only operational 25% of the time, but still requires capital cost of construction and maintenance to be ready to go. Ok, it doesn't need as much fuel but apart from that you have tripled the cost of the plant.

So the problem is that it becomes uneconomic to build the electricity generation that stabilises the grid and makes it possible to have any renewables in the first place.

We're now seeing huge premiums being paid to companies by the various electricity grid operators to cover this problem. This then goes on ratepayers bills to cover "distribution" or "grid reliability". And it then turns out your $0.03/kWh wind is not actually that at all and gets more distorted as more wind gets generated.

We need better energy storage options before renewables really will fulfill their promise.
Took a while! As somebody who made the transition from academia to industry this is a huge deal for me. I would not want to work for a company that does not allow scientific publications. Moreover, I think a closed policy would shun off a lot people I admire and would want to work with.
I've been mocking this contest for years, since Netflix apps have horrendous discoverability and lack basic sort/filter features. I often wondered if Netflix deliberately omits features to make their catalogue seem bigger and better.
b) You can't generalize having magical abilities to pick top quartile managers ex ante.

a) Some bigger LPs diversify across multiple VC firms and smaller LPs may access fund of funds (though very expensive). Either way broad diversification across VC funds is not significant in the industry. One reason is because VC fund returns and broad exposure to multiple VCs is not really the main point here - it is the startups behind the VC layer that generate returns to LPs. Thus VC firms themselves are the conduit by which LPs get diversified exposure to the growth/returns of multiple startups, which is the goal for this asset class. Diversifying on top of your diversification gets expensive and impractical.

I agree with you risk adjusting returns is important. Sharpe ratios would use standard deviation and historical returns. Of course caveat emptor "past performance does not necessarily predict future results." https://en.wikipedia.org/wiki/Sharpe_ratio

There is no official must do approach to looking at VC performance. In practice median and mean are both used, along with some other measures that look at consistency and write off ratios etc...

For those interested one can google search for a professional VC analysis to see what they do. https://www.preqin.com might have something not behind a paywall.
I think the touch bar in the new MBPs is evidence Apple really isn't interested in bringing touch to macOS.

Given that, I think a giant screen running iOS is less than 4 years away. Related: I don't think macOS is long for this world.
Trillian: General Transparency
You might also look into google protobufs ('gpb') and grpc, which are newer solutions that make some interesting tradeoffs but focus on performance and small size.
With the aid of a guidebook ("Cities without Ground", ISBN 1935935321) I have crossed central Hong Kong on foot, above street level, from rail station to mall to office and hotel and residential building and been under cover the whole distance. Similarly I've walked underground in Taipei and Tokyo for kilometers, surfacing entirely out of choice for a glimpse of sky, to remind myself this isn't Trantor after all.

These are cities where it is a common experience to arrive at the airport, take the train into town, and never leave cover for the whole duration of a stay.

It may not all the be same roof, but the permanently covered urban life is a reality today.
Related: there's an unfortunate cause of excessive app rating prompts — what's shown in search results/top charts/other areas (on iOS) is the average of the latest version, not the overall aggregate.

If you're at a company that does scheduled releases (e.g. once every three weeks), you'll need to continually ask people to review the app to keep that rating high.

Otherwise you only get ratings from new users and users that are discontent with the particular version. It's rare that people who have already rated the app 5-stars will continually go out of their way to rate the app 5-stars again without prompting.
InstaCalc is great! Love the natural language oriented input for calculations.

Tangentially related to the article, did BetterExplained itself start out as a side project, or did you double-down from the start?
I just got a sudden bitter taste in my mouth when reading "P0" and remembering the people who used to say it out loud; is that normal?

Another great thing about inverting the priority numbers is that nothing can easily go beneath a floor of 0, though ultimately all of this is about fixing the symptom and not the cause.
To clarify your criticism, the definition of ad hominiem (from Wikipedia) is: "argumentum ad hominem, is a logical fallacy in which an argument is rebutted by attacking the character, motive, or other attribute of the person making the argument...".

I criticized him as having a bad history of predicting things (not his personality, position, or viewpoint), and history is the best predictor of future performance. Krugman said that the internet was similar to the fax (back in the 1990s), and was wrong; however, I will grant that Krugman may not be as bad as other NYT columnists.

Krugman, circa 1995:
"By 2005 or so, it will become clear that the Internet's impact on the economy has been no greater than the fax machine's."
Interesting! I run Arch on a number of machines and your comment prompted me to check my assertion. There are in fact a couple that don't have ed. I think maybe it's often a dependency for more AUR builds? That's the major factor that varies.
Ask HN: What's on your Christmas list?
There's a power curve though, yeah? That most powerful agent can just drag you off and apply rubber-hose cryptography. Or just drone your ass. At some point, worrying about what else they can do is kind of a whateverburger.
Also probably 10x slower, at least! Still cool because JavaScript I guess
Visualizing Tweet Vectors Using Python
What is to keep Shirley from simply filing up to four new tickets? Isn't that better?
You have a point, but on the other hand, it is much easier to write (kNaverUrl + "index.html") than to write "www.naver.comindex.html". So it just opens door for a different kind of bugs.
The only analogy I can think of is to a "witness" to a logical proposition in mathematics. In this case the witnesses "prove" that the given concrete type implements the given abstract type.

If that's the case it's kind of a weird way to put it, though it sort of squares with the witnesses in proof-relevant formulations of logout where you care about the form of a proof and not just what it proves.
> This is a property of System F, the core itself, which is quite well established.

So when I repeatedly asked for the aspect of the language design that guaranteed this safety, and you responded with "the design guarantees it", you meant polymorphic lambda calculus, that, as it lacks infinite terms, preventing the creation of recursion through unfolding.

Clearly stating the reliance of System F would go some way towards generating trust in the definition of the language.

> There is no scientific debate to be had about this, anymore than there is a scientific "debate" about what temperature water boils at.

A language is considered to be Turing complete if it can calculate any computable value that a Turing machine can.

Brainfuck was proven to be Turing complete by Muller, and languages such as Piet have proven their own completeness by emulating or translating arbitrary Brainfuck programs.

So, I'm afraid the question in regards to the CPP, is only is limited recursion acceptable for Turing completeness?

The Turing-Church thesis specifically states that it should ignore resource limitations, which leads to the question of whether the limited recursion is a result of available resource or the language at hand.

There are active debates on this topic, and it cannot be so readily dismissed.

However, the point I raised with this, is the claimed safety of Dhall, in that it doesn't guarantee timely normalisation of its terms.

Which I believe you may have also noticed. [0]

> much like you're unlikely to write a Dhall configuration which takes 10 years to reduce when evaluated.

True, however the guarantee of evaluation safety is false.

There is no safety there when you can run out the available resource, such as time.

And people do insane, unlikely things with a language, such as breaching the type safety of Scala, and in response, they developed DOT calculus, so that they might give those guarantees.

Trusting a programmer not to do something stupid, is often the wrong thing to do. [1]

There is a line which must be drawn, but you can't make guarantees that mislead the programmer to feel safe.

[0] https://github.com/Gabriel439/Haskell-Dhall-Library/issues/6
[1] https://github.com/kanaka/mal/tree/master/awk
@dang

Seriously, why was this flagged? I'd argue this has politics in the article, but doesn't seem to start anything related to "flamming" and the figures were interesting.
I think Arcadia Power is available nationally, I believe it was 1.5c/kWhr very cheap. It's the same REC offsetting that Google is doing, just at a much smaller scale.

http://www.arcadiapower.com/
Exactly this. I think dev shops are fairly stratified into quality levels. "fix it now and clean it up later" works in a certain class of shop, and that's great.

But there's a huge swath of dev shops that never pay any technical debt back, and the compound interest on that technical debt consumes all productivity. Past a certain point, drawing a line in the sand and forcing better practices no matter how easy it is to rationalize 'one more hack' is the only way to break that cycle.
how do you explain to your kid santa is a robot?
Go 1.8 – Plugins
I don't think the example is about optimizing for developer satisfaction.

1) He changed a number.
2) There was ( apparently ) a very simple test for the effect of the change being correct.
3) This was high-priority.
I use wasavi, https://github.com/akahuku/wasavi, which does exactly what you describe.
Correct. The only difference is that the behavior is expected when you register the domain yourself.
Greenpeace has some basics but not that level of detail. http://www.greenpeace.org/usa/global-warming/click-clean/
Conference: A Crude Look at the Whole – John Holland
No. These seem to deal with things without consent?
I think I'd need to see some evidence that that is a more effective strategy than starting small.

My biggest enemy is always analysis paralysis. The bigger the project, the less likely I am to ever even start, much less finish anything. Likewise, when I do start, if the scope is too big, I'll flit from concept to concept never really finishing any of them. But, when I have a very small, concrete, and actionable item, I can knock it out in no time...it almost doesn't even feel like work sometimes.

I don't think the "overengineer it" approach could ever work for me.
Disputed
It would definitely be a good place to reuse their Cocoa/Carbon strategy.
I like the mainframe PC analogy but I think in this case we are running up against ergonomics. People's hands are not shrinking and our eyes aren't getting any better. More interface may get offloaded to audio/voice, but we are such visual creatures. Until we are beaming data directly into our eyes, I don't think we will abandon the palm-sized display-- maybe foldable one like paper, or a tattoo, or my shirt sleave, but something.
I honestly just meant the term, but to what you are saying, I think it depends. If a company outsources their work force to a sweatshop in Asia is that following the TBL? Maybe, but probably not. It will, however, cause their stock price to go up and make them more competitive in their market.

Most public companies only started reporting a sustainability report about 4 years ago.

http://www.ga-institute.com/nc/issue-master-system/news-deta...
I agree with this sentiment. Nothing motivates me more knowing there is potential to make money on it. Then again there are those side projects you do just for fun but those are ones I also don't invest tons of time on.
Shirley keeps finding problems everywhere, she's not a team player.
Yeah it's sad I was thinking '6 days? that's pretty quick'
Partial Knowledge
How to Be Patient with Your Trade Entries
The benchmarks on the Titan-X are taken from a 2015 paper, thus they are definitely testing the older Maxwell (as opposed to Pascal) GPU. The FLOPS and memory bandwidth differences are significant.
And hard rules like config files vs hard-coded constants reeks of fetishization of process and rules over judgement. If something has been modified once in 10 years, with no near-term modifications planned, hard coding it seems pretty reasonable.
But Apple doesn't just push security updates. They have a well established track record of pushing entire new OSes the same way, a very poor record of crippling performance or outright bricking older ("old" is hardly a fair description) devices in the process, and a stubborn insistence that applying these updates is a one-way process that may never be reverted regardless of any harm they do. Any business that adopts such customer-hostile policies deserves every bit of resistance they bring upon themselves, and I have not the slightest sympathy for them.
If the company's Target is noticeably low, then I really want them to put up the salary. I do however want them to be very honest about there range. This allows for me to be much more particular about what my other needs are from the company.

If they are paying market rates for their employees, then I don't particularly care. I'm comfortable with negotiating at the higher levels.

It looks like a company's range is dishonest, then I'm comfortable with having wasted their time when I am searching for work.
Please don't. All you're doing is polluting the data at Spamcop and violating their terms anyways.

https://www.spamcop.net/fom-serve/cache/125.html

Bulk email can be split into two categories: Opt-in and Opt-out. Opt-in is email that an individual requested or agreed to receive. Many legitimate mailers use opt-in methods for marketing. Individuals are responsible for reading and understanding a company's privacy policies and acceptable use policies (if applicable) before submitting an email address. If a privacy or acceptable use policy clearly states that signing up for the service results in receiving marketing or commercial email, then the individual has "opted-in" to receive email and that email is not spam.

A company emailing you when you have given them your permission to email you, but about certain topics you decide you don't like is not spam.
Well, more than 50% of the companies have negative returns in the public market. So why do people invest in the public markets? For LPs, investing in VC firms is just to way to diversify and invest in private markets.
I'd also assume Google hires MANY more PhD's than Microsoft did and does. Could be wrong though.
TRWTF is that it is considered a problem that it took 6 days. Sounds like there was no harm done and 6 days was OK.
The intersection of the two might be ok, but not the set-difference.
Get Started with .NET and Docker
Sorry, reward was the wrong word. My primary intention was to suggest a mechanism that didn't involve screen time, as many parents are sensitive to that.
Oh yes, I've been following this, at least the bits of information that emerge publicly.

But my dream is that this work could make it back into typescript itself - that a future version could possibly be persuaded to emit Closure type limitations without the help of a parallel/postprocessing pass by a tool.
Why does clicking blog take me to a "Hello World" application?
Microsoft created Haskell. Google created Go.
Some inefficiencies are more equal than others. Brand, the number of people in your network, reputation all add up.
Sure, so the point is to avoid their notice. That's harder to do when they can snoop on your communications.
We're not going to.
Do you find a shorthand for wraparound math (like Swift's &+) so bad?
Thanks! BetterExplained started as a collection of notes on my university website:

Sadly after a decade the CS department shut down my alumni account :(. But I have a cached backup here:

https://web.archive.org/web/20150708043012/http://www.cs.pri...

https://betterexplained.com/~kazad/

I started BetterExplained about 10 years ago exactly (wow), just taking some of the notes online. Thankfully they were on evergreen math topics (divergence, flux, gradients... stuff I desperately wanted intuitions for) and it grew from there.

I had been thinking of doing a decade year retrospective on what's worked/not worked in terms of keeping motivation and momentum for the projects (so far, so good). Thanks for the reminder!
They did Oberon System one of the previous years, but I don't know if it used the Oberon CPU emulator or an x86 port.
As I read it, he's complaining about (1) gating high-priority releases on tech debt (priority inversion); (2) the fetishization of rules over judgement (no hard-coded variables that have been changed once in 10 years with no near-term updates planned); and (3) the systemic lack of urgency.
Such surveys aren't reliable. If anyone wanted to classify comments manually they might come up with something, but I'd guess it would just lead to more arguments.
I work with the author regularly, and am inclined to a more charitable reading. I was serious when I suggested that he'd love to receive your Rust benchmark showing that it has no slowdown, and would happily include a note about them.

I'm not sure of the the purpose of the "obfuscation" comments. I'd guess that they were intended as jokes, but missed the target. Rather than mocking the use of reduce, I think his goal was probably to defend the utility of the humble for loop. On a larger level, both he and I have a concern that people often assume "a sufficiently clever compiler" without checking to see that they actually have one.

Here's the sort of thing I've been working on him with: https://arxiv.org/abs/1611.07612. It's shows how to count number of set bits with SIMD in a way that is faster than the using the builtin POPCNT instruction. This is a different level of optimization than concerns most programmers, but if you are trying to get that last 50% of maximum performance out of an implementation, it's likely that (at this point) Swift shouldn't be your top choice.
What about

> Also, there are 2 old Debug commands, an unassigned variable warning message, and a hard-coded Employee ID that will all have to be fixed before this module can be moved to production.

F* that s* indeed.
If all you have is a form, what am I paying for?
Sorry but those animated gifs distracted me from reading. Normally I will scroll things like that off the page but when they come so close to each other all I see is the movement.
exactly what I thought.
Then it becomes a function:

kNaverUrl('index.html')

Multiple functions:

kNaverWwwUrl('index.html')
kNaverApiUrl('resource')

Then it get's refactored:

urlGenerator('www.naver.com')('index.html')
urlGenerator('api.naver.com')('resource')

Refactored even more:

urlFor('naver_www', 'index.html')
urlFor('naver_api', 'resource')

Even more!

urlGeneratorFactoryFactory(.......
> We live in an amazing time. Collectively our species knows more about the world around us than any one individual could ever learn in their lifetime.

This must have been true for centuries, if not millennia.
I've been pondering the recent trend in pop up ads where if you try and dismiss it by clicking the tiny, hard to find, checkbox, and you miss, it will cause it to move. This forces you to actually pay attention, to a degree, to the ad, rather than habitually dismiss it.

These are usually found in ads, or notices like the New York Times puts up notifying you there are only so many free articles left.

I think of this as a gray pattern usually, as it is designed to keep the source of revenue going to fund the sight you are currently reading. It's a surprisingly effective innovation.
Ironically enough, the original ublock does on safari.