skysight-inc/HackerNews huggingface dataset:
Navigating Between Screens or Activities Using React Navigation Library
Hubble’s Broken Gyroscope Fixed After Engineers Try Turning It Off and on Again
Example explanation: https://stackoverflow.com/a/99010/1020667 (feel free to look for better ones).
> I spent more time working on the types than on the actual code.

That's interesting. I very strongly don't, when writing TypeScript (but I don't then also mess around with a second type system on top of it). Better Intellisense and fail-up-front checking means I write code much, much faster.

I didn't have to change my coding style because this is already how I wrote code; I now have the tools to actually do it well.

TypeScript is not a "complex dynamic" language unless you step outside its bounds. Which, sure, sometimes you need to; it's not perfect, and one of its advantages is being able to opt out when absolutely necessary. Then you fence off that type-unsafe code by strongly testing before you hand something back into TypeScript because you're a competent programmer who understands the limitations of your tools. But that happens so very, very rarely that optimizing for that corner case seems foolish.
Have robots constantly cleaning surfaces. Then humans clean the robots.
Any stats/references to back that up? And does this extend to first party devices from Google as well?
I suppose there is a little irony that semaphore doesn’t have multiple definitions to MW.
The allure of gambling is powerful. Everyone can estimate ROI on a planned community. Nobody can estimate ROI on hot air, so it "could" be "the next" whatever-the-last-thing-was. Nobody wants to be the one who passed on Facebook or Bitcoin in 2014 to invest in something boring like housing.

Statistically huge pops like those are extremely rare. Someone wins in the casino but statistically it won't be you. Statistically you are better off making rational investments. But... FOMO and daydreams and... there was that one time! ... rat pushes lever, rat pushes lever...
Is that for someone going through the user interface, or is it a fundamental feature of the database (or whatever)? In other words, is there no case where someone could log into a server and see some PII in a debugger or a direct query without being detected?
That true. I always assume HN is reflective of the community at large, but at work it's very different.
That's one thing I noticed at my dentist years ago. It used to be a family practice but then they sold to a larger company. From then on every time I was there they tried to push another expensive treatment in addition to regular teeth cleaning. I am not an expert so how could I judge this recommendation? Maybe it's in my best interest or maybe they just want to make more money. Eventually I just stopped going there because I had a bad feeling. You should be able to trust your doctor but it's really hard to do so knowing that they are after profit mainly.
Our Feces Are Full of Microplastics, According to a New Study
Rsu vs vesting options, really not that different.
There was a scifi flick a while back about aliens from a hot world infiltrating government and industry to push policies that maximize carbon emissions. Forget the title.
'No update' planned obsolescence.
The most important thing, if you haven't already, is to set the noImplicitAny and strictNullChecks compiler flags. I find that not having these flags set is a common source of Typescript type unreliability.

The flags prevent two behaviors that are a major source of type failures: defaulting some types to "any", and allowing null/undefined to be valid values for ANY type (!). Enabling these flags for an existing codebase is likely to uncover hundreds of type errors that are papered over with the default compiler settings.

W.r.t. upstream types for libraries being wrong, I find the silver lining here is that libraries will usually be happy to accept patches for their types, often with significantly less fuss than a patch to the actual code.

edit: Even with those in place, I also notice that Typescript types are not 100% trustworthy. This often comes down to unsanitized input, use of the "as" keyword, or hidden type violations. The conclusion I've come to is that it's just very hard to type Javascript code, partly because the values themselves are so prone to being mutated. So I agree that Typescript doesn't feel like the perfect solution to me. (I usually use Clojurescript these days).
Unfortunately doesn't work if you search "Time Traveler"
Some of these complaints are more "waah, I don't like C and what people use pointers for!", which is a shame, because some are pretty reasonable concerns.

systemd works, that's why people use it. If it needs improving, then improve it, or file these. Somebody will probably agree and at least look into them, rather than a gaggle of strangers pointing and laughing.
Absolutely. I knew a couple who met and married at American Express. It was strictly forbidden that one manage the other. I suspect that's the case at most large companies.
A changeset is basically an accumulator object that contains both a diff and DB operation specifics. It basically says "I have to change this object's 3 fields to the following values and then perform a DB update". It can also contain validation errors. And... that's all there is to it. And you can use it without a database. It's perfectly useable when you accept external data and want to inspect how would it modify your state. No persistence need be involved.

For everything else, poke us at ElixirForum. People are helpful there.
I have no idea who this guy is or any interest in basketball but couldn’t stop reading. Awesome!
20GW is basically nothing next to the environmental damage it would cause by destroying the Mississippi delta in order to build this plant. 20GW gives you 480,000 MWh/d. The US as a whole is currently using over 13,000,000 MWh/d [1]. There is only one Mississippi! Not worth it, if you ask me.

Besides, it's not just biofilms that are the problem. With a river you're going to have huge amounts of silt and very fine clay clogging up your membrane. The maintenance costs for an installation like this would be overwhelming.

[1] https://www.eia.gov/realtime_grid/#/summary/demand?end=20160...
> It seems like some sites are starting to identify these shims as a huge stumbling block in their continuous work to improve latency/quality-of-service.

I'd be curious to know how much time you can actually save because really, honestly, in the case of Facebook this particular aspect should be the last of their concerns as far as page load times are concerned.
I'm an adult, that's why I've worn a suit since high school.
>In the sports that doesn't pay too much (for most people working at Netflix)

Can most people who work at Netflix join another company for comparable pay? From what I've heard: No. Netflix often justifies their culture by pointing out they pay the highest. If you look at a thread below (https://news.ycombinator.com/item?id=18316176) you'll see that $400K guaranteed as a senior developer is normal.

They also used to have a generous severance pay - well above industry average. That again was used to justify their policy: Hire the best, and give them a generous token of appreciation when we replace them. The claim was they don't want people to be worried about being fired, because whether they stay or leave, they'll get good money.

(Not sure if the severance package is good these days - my information is quite dated).
How many dots can you see?Optical illusion in 18 lines of pure JavaScript
I'm wondering if they would have been able to convince the food regulators if the fridges themselves had sensors and such.

Concept would be to create an audit trail of the fridge itself from the sensors.
I think it makes sense that regulations are reactionary against bad shit that has (traffic fatalities, market manipulation, food and drug safety, etc) or is currently happening (global climate change). If we tried to write regulations against everything that might possibly maybe go wrong, I imagine we would end up with an unworkable regulatory landscape that ends up doing more harm than good. And I say this as someone who thinks regulations are a good thing on balance.
Also, if these charging stations are managed by the power company, they can act as reserves of power for the area, so electricity spikes can be handled by EVs. This also goes for cars parked at home, which can charge after peak hours and use other renewable sources, like wind.

I'm very interested to see if this actually happens in the near future.
That's why we should discourage company growth beyond a certain size. They grow because they are better than the competition but at some point they can just overpower any competition or just buy them out.
lol, so google can lose even more money selling you the next phone?

of all the companies out there, i really doubt that google deliberately makes their phones obsolete. just look at how they run their phone business; i don't think they ever expect it to be a profit center.
Developer Makes Game Inspired by '90s Shooters That Came Out Before He Was Born
Most of these are contemporary works in, or in response to, western literature.
I think this implies that degrees in history or philosophy and such are always worth very little and a degree in eg mathematics is always worth a decent amount.

For one thing there are plenty of people with such “low value” degrees who would be quite capable of repaying student loans.

There is also the American system where many valuable degrees (eg Law, MBA) require an undergraduate degree as prerequisite, and these are typically in humanities subjects so it seems that to get the opportunity to have these degrees (where loans will likely be repaid), one must first do a low value degree (where a typical loan might be less likely to be repaid).

Also as I understand it, in the German system the state basically sets the fees whereas in America the universities set the fees and the government has to somehow back loans for them. I think part of the problem is a follow-the-leader one: Harvard can set high fees (although poorer students wouldn’t have to pay them) and teach history or philosophy (where such a degree would likely be reasonably valuable, or rather those people who are accepted would be able to make a good living afterwards), and then many other universities will also want to set high fees (without being able to cut them much for poorer students), and want to teach philosophy or history (even though their students will likely not gain financially from the degree or achieve financially despite it).

Perhaps the universities could be made to take on more of the risk of student loans not being repaid (eg student loans would have to be given out by organisations wholly owned by universities). But I’m not sure I really like the idea of universities having to only do things that will make money for their students. Then again, perhaps this is just the leftover of the idea of universities being somewhere that the wealthy sent their children to enrich their character rather than places where choose people go to to improve their earning prospects.
Why are they against Gmail Auth? What’s wrong with it? I love Gmail Auth. I trust it far above Facebook and Twitter Auth.
This is a big breakthrough. You're getting multiple correct programs from a single expression by "instantiating" it over multiple formal Categories. Implementing new categories is pretty easy.

It can be seen as a generalization of monads and "semiring programming".

I kinda backed into this while writing a type-inferencer for Joy PL[1] (Joy expressions are already in point-free form.) The inferencer and the interpreter wound up being very similar, and I realized I had effectively implemented two categories (kinda): the interpreter evaluates a Joy expression in the Cat of values, while the inferencer evaluates the same expression in a Cat of stack effect descriptions.

So the same Joy expression computes values or infers types depending on which interpreter/category you choose to run it over. And, again, implementing a new category is brief and easy.

[1] http://joypy.osdn.io/notebooks/Types.html#hybrid-inferencer-...
Temp Mail – Disposable Temporary Email
Just because you live in the echo chamber known as SF, based on pushing identity and race into everything, doesn't make it true.
Ludwig von Mises uses autistic in an unusual manner in the section heading Autistic Exchange and Interpersonal Exchange of his book Human Action, published in 1949. It would be interesting to see the context of the first known reference of the adjective autistic from 1942 to better understand von Mises' choice of the word in his context, but I can't seem to find more information other than the first use year.
Sweet success: Unravelling the Jelly Baby's dark past (2015)
Do you mean pre-tax?
The Many Colors of Sound (2016)
An app I maintained that was doing anywhere from 3 to 50 DB queries per request, 98% of the time was spent in the DB roundtrips. The Elixir code itself took 0.2ms to 3ms.

It's really lightweight. Can't be anywhere near Go or Rust of course but it's provably much faster than Ruby, Python and PHP, and very often outperforms JS on V8.

Most of the overhead I observed in Elixir apps stems either from external network requests (DBs, K/V stores etc.) or CDNs / static assets. Most of the Elixir code is almost invisible in terms of footprint.
Perhaps one counter argument to this is that, at the end of the day, pretty much all profit-driven enterprises will do what is necessary to maximize profits (without regards to emotion).

So, if anything, I give it to Netflix that at least they're being honest about it, as opposed to lots of other "we're changing the world", cultish organizations that talk a lot about how "we're all a big family", but then when the going gets tough all that goes out the window in the interests of "maximizing shareholder value".
Hey everyone! I'm going to print a whole bunch of money. It's going to be so awesome. Here you can have some! It's going to be so awesome! You just need to help me convince other people that it's valuable...
This is commonly done in SharePoint.
Microsoft did pull off Bing and Windows Phone technically, they just missed on making them popular. VW is already in the car market and has a substantial user-base, that wasn't the case for Microsoft in those markets.

If VW can launch a quality product with way more supply than Tesla, they'll sell more. Tesla is doing most of the marketing for EVs, VW and other auto makers just need to meet demand. There's far less customer loyalty on things like cars than computers or online services, so it'll come down to value.
I had the opportunity recently to look up autistic in an old dictionary (early 20th century), and it was not present.
Well don't lose sight of the goal. The goal is less bugs. Static typing is just for internal quality. Users don't give a rat's ass if your types are correct as long as the program works. Proof: Many wildly and massively successful programs are duck-typed.

Nobody ever cared to use tests to replicate what a type system does. That's a straw man. Tests go straight for the actual goal by testing actual values. Correct values are what are necessary. Types on the other hand are neither necessary nor sufficient.
He talks like the way he writes code has been established as best practice for decades, and if he can just write enough blog posts and convince enough people, maybe we can solve this problem once and for all.

I think the only way to have high assurances is to program under a system that doesn't have these classes of errors. I don't care if it's a c static checker or a new language or what.

Unfortunately the long term solution to these problems in system programming seems to be rust. But it's going to take decades for it to be established and I'm going to look like a language hipster member of the rust evangelism strike force every time I bring it up.

But seriously, it's been decades and decades and we're still writing buffer overflows. What is the long term final nail in the coffin for buffer overflows?
like i said, i love my pixel 2, but if the pixel 4/5 still starts at $800 i might jump ship too.
150 comments, and nobody is mentioning the maximum version thing?

Am I alone in thinking that's a terrible idea, that having module authors around the globe define a maximum version is going to result in masses of libraries pinned needlessly to old versions, and masses of unmaintained but otherwise solid and complete libs unpinned, despite them now needing a maximum version pin?
I disagree. I'd rather have a defense in depth against the nefarious & accidents and allow a Cambrian explosion of experimentation. The professionalization and permissions culture that's developed over the last few decades is ultimately stultifying.

It's shocking to me that network protocols (layers 1-5 at least) are basically 1970s designs. Why don't each set of machines automatically develop their own "jargon" optimised to the kind of communication they have? That's what humans do, to hone the efficiency and precision in their language, yet it doesn't stop us from talking to people outside our immediate circle.

But amateur experimentation in many areas is basically dead.
I don't think it's a conflict of interest. They got paid by Theranos for their services.

But there should be some ethics about helping clients with a lot of money bullying people with no money. Reading about the way Theranos abused whistleblowers with the help of lawyers was infuriating. The little guy simply has no chance against this unless you are willing to risk everything.
> From my perspective, the activists started their political campaign to regulate CO2 back when the Science (IPCC FAR) said "the observed increase could be largely due to this natural variability" and I have been suspicious of their motives ever since.

The IPCC report is typically more conservative, as it requires a consensus of a large number of scientists. However, even in this case, this phrase is a qualifier that follows a number of stronger statements (and also notes that it could be hiding further warming). For example, the executive summary (we are certain of the following), point two ends with

> These increases will enhance the greenhouse effect, resulting on average in an additional warming of the Earth's surface.

The earlier Charney report (1979), has in its summary

> Their consensus has been that increasing carbon dioxide will lead to a warmer earth

and

> If carbon dioxide continues to increase, the study group finds no reason to doubt that climate changes will result and no reason to believe that these changes will be negligible

Even in 1979, long before the FAR, it was clear that carbon dioxide would alter the climate. Claiming that activists were jumping the gun on the scientific case in 1990 is not fair. They may have ulterior motives, but wanting to regulate CO2 in 1990 is not evidence of this.

The science has significantly progressed since then, such that the evidence is now even clearer. There are arguments to suggest that it would be cheaper to pay for the adaptation to climate change, but unfortunately it is now very clear that the costs for that will be high.
it's Yanni!
Probably about Microsoft Github Acquisition.
They made that pivot a decade ago now. The current work for most of the tech employees is likely exactly maintenance.

They could be looking at another pivot, but that's yet to be seen.
This sounds like an if-it-compiles-it-works argument.
Cesar Sayoc’s Path on Social Media: From Food Photos to Partisan Fury
Ah I see, there's certainly a clear difference between our evaluation. If I see a whole team of freeloaders I blame the management team above them. At least in engineering teams it's super easy to have motivated teams because the people choose this career out of desire for working as engineers. Loads of freeloaders means there is no fruitful ground for motivated people to grow on. So they leave or turn into slackers, and some even might become toxic themselves. I don't blame the potatoes if they don't grow though, but either the weather or the farmer.
you should write a more extensive article on this, you explain it extremely clearly and the public's respect for your profession will mean that people will listen.
The Viterbi Algorithm: A Personal History (2005)[pdf]
> why it hasn't took over the Internet yet.

Yeah - only 21% of all traffic handled by Google is over IPv6...

https://www.google.com/intl/en/ipv6/statistics.html
God the ukulele music.
There is far more than just one US river. Hudson for example is: 21,400 ft³/s, Potomac is 10,810 ft³/s etc.

And the output is just mild salinity water, so you could probably extract form 1/2 the flow without causing that much environmental harm as long as you pipe the output to an area with similar salinity.
There were no kernel/user space distinctions in any of the systems I mentioned, and all of it could be dynamically modified at runtime (no recompilation or restarting) down to the function and variable level. Philosophically completely different from Unix et al.

But you raise an interesting point: one of the reasons I started Cygnus with John and Michael was that I had never used a machine to which I didn't have access to the source code and the idea of that horrified me.
FWIW I was able to kinda sorta do that for basic recursion combinators: http://joypy.osdn.io/notebooks/Recursion_Combinators.html#co...

In "Functional Programming with Bananas, Lenses, & Barbed Wire" http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.1... they talk about morphisms: Hylomorphism, Anamorphism, Catamorphism, Paramorphism.

If you break them down using Joy (programming language) in terms of the genrec general recursion combinator, they form simple patterns, which then suggest at least two other unnamed combinators:

Hylo-, Ana-, Cata-

H == [P ] [pop c ] [G ] [dip F ] genrec
A == [P ] [pop []] [G ] [dip swap cons] genrec
C == [not] [pop c ] [uncons swap] [dip F ] genrec

Para-, ?-, ?-

P == c swap [P ] [pop] [[F ] dupdip G ] primrec
? == [] swap [P ] [pop] [[swap cons] dupdip G ] primrec
? == c swap [not] [pop] [[F ] dupdip uncons swap] primrec

Etc.
It was mandatory in high school for me (one semester of Economics/Finance, one semester of Government, both in my senior year). This was in a (somewhat-above-average, admittedly) public high school in California.
You see this all the time here on HN. "Interpreted languages are useless" coming from the systems and embedded people. "You can't call yourself a developer if you're not an expert in [FOTM web framework]" from the web devs. "Mutability is evil and reassigning variables is a sign of incompetence" from the functional programming sect.
This is both for people using tools and people accessing servers and databases directly.

Logging into production servers is audited and triggers alarms. There's basically no-one who has "root" level access to a large number of boxes (when I left in 2013 there were only a handful of people who could login to arbitrary boxes and systems were being built so that their access would no longer be necessary). Logging into a server that holds live data would be investigated and so would running a custom query against a production database. The goal was to have it basically impossible for an engineer or admin to directly access data on boxes to force people to use the tools.

The tools themselves had a great permission system as well as a way for users to elevate their permissions in emergency (triggering an investigation). It worked well because it was also easy to create dummy databases to develop on (for example by requesting a database extract of your own location data).

In my career to date I have yet to see a more privacy conscious / secure approach to handling customer data.
I have posted it many times yes. You hit it on the head. They are very good for modeling for example rigid transformations or robot joints.

They are a special case of GA. I used to very much into GA only to realize that dynamic 3D is the most interesting space, the other spaces are actually kinda boring.