skysight-inc/HackerNews huggingface dataset:
Obviously the world is unaware of anyone who has survived for centuries off of any food source. I think they meant to say, if you insist on being so very specific, "For centuries, within a typical human lifespan, individuals have survived by eating this diet."
How’s Lockheed’s Z-pinch based compact reactor?
All states must inevitably collapse.
Anker’s new audio line has few frills, some faults
Idris is pretty well documented. It feels pretty inaccessible when you're just looking at the code, but in an editor with a plugin (Emacs, Atom, Vim), everything can be inspected, and it feels much more alive that way. Editing dependently-typed code has a particular development style which is very interactive, in which you fill in "holes" (code to be written) with help the from the editor/type-checker, providing feedback and suggestions.

Resources:

http://docs.idris-lang.org/en/latest/tutorial/index.html

https://www.manning.com/books/type-driven-development-with-i...

https://github.com/idris-hackers/software-foundations

https://www.youtube.com/watch?v=4i7KrG1Afbk
This is not true. What makes you think that?
6 Git Aha Moments
What can you offer? We probably don't want to do for money. What skills can you share so that the person can share his python expertise
From a network engineering perspective, it's pretty easy not to decrement the TTL (keeping devices from "appearing" in a traceroute).

Hell, this is pretty much the norm where MPLS is concerned. Your packet may hop through a dozen routers along its way without showing up in a traceroute -- you just see it go in one side (then it goes through a dozen routers) and you see it come out the other side.
Watchtower: we shall fight on the breaches
I agree that’s an unfortunate development [1], but that’s getting kind of off topic. The article is discussing legal, non-shady, non-socially destructive ways of reducing labor costs: providing less service to the customer.

[1] as is the popularity of the Orwellian euphemism “undocumented”.
First Prototype Emerges of Japan's Post-K Exascale Supercomputer
Yes, a Bluetooth 6DOF accelerometer/orientation sensor/magnetometer affixed to each shoe and you're sorted. I've long wanted to see a pair of such sensors set up as MIDI controllers. If you're using them on uneven or moving surfaces you might want separate sensors for heel and toe.
Andreessen Horowitz has a new crypto fund
I used to be exactly the same way. 25 years later and I’ve had my fill. Eventually, you’ve seen it all a few times. The packaging changes but processing information and getting it from here to there can only be done in so many ways with 1’s and 0’s.
Price seems a likely candidate.

Liability as well.
I'm not sure if this was required for low-power mobile, but it certainly helped:

https://www.theregister.co.uk/Print/2012/05/03/unsung_heroes...

When the first test chips came back from the lab on the 26 April 1985, Furber plugged one into a development board, and was happy to see it working perfectly first time.

Deeply puzzling, though, was the reading on the multimeter connected in series with the power supply. The needle was at zero: the processor seemed to be consuming no power whatsoever.

As Wilson tells it: “The development board plugged the chip into had a fault: there was no current being sent down the power supply lines at all. The processor was actually running on leakage from the logic circuits. So the low-power big thing that the ARM is most valued for today, the reason that it's on all your mobile phones, was a complete accident."

Wilson had, it turned out, designed a powerful 32-bit processor that consumed no more than a tenth of a Watt.
None of those three countries have a highly-guarded technology advantage which the US is trying to catch up on.
Been blocking ads for years pretty thoroughly. Its a trillion $ industry that might as well not exist really.

My advice: buy an unlocked Android phone. Throw DNS66 on it to block in app ads. Use browsers that support ublock origin, I advise Fennec which is Firefox for Android stripped of the Mozilla crap.

You are not a powerless victim, you have agency.
I dunno ... seems to me an indication of a larger systemic problem: "we couldn't even provide a company-wide engineering solution for this simple problem, so here's how we used a hack..."
This is fantastic. In a reply, you mentioned that you were interested in writing more about your setup and findings. I would love to pay you for a full article from you on this for Better Humans. See our "Write for Us" page here with instructions on submitting a proposal, or drop me a note via email - I'm terrie at coach.me. https://betterhumans.coach.me/write-for-better-humans-4c6c98...
I have been looking for someone with experience monitoring and using their blood sugar data to manage diabetes, so I hope to hear from you!
Algorithm books are the same way. No solutions. They ought to have a question section for professors to test and a separate question section for students to practice. It doesn't have to be one size fits all.
Why the dislike of the new interface?
Well this is horrifying.
>Of course this is going to end terribly.

It is basically guaranteed to do so unless the business cycle has stopped for good (unlikely). The question in my mind is who the scapegoat is going to be, and how much denial there's going to be if the real effects of slowing growth start becoming apparent.
Trade advisor Navarro says no plans for investment restrictions on China
Honestly, spinning up a SQL server really isn't rocket science. SQL is easier to read and write than that messy mongo query language. Though, if you're used to taking the quick and dirty route for everything, you're probably using ORMs anyhow. But why do things twice? Just do it right the first time.
Welcome to stackoverflow- where avoiding the question is an art.
Personally, and somewhat surprised it wasn't mentioned, I'm less concerned about everything mentioned in this post and more concerned about the docker ecosystem involving people using random and potentially compromised containers off of DockerHub: https://arstechnica.com/information-technology/2018/06/backd...
Yeah, but we usually know what "undefined behaviour" actually means in practice. In programming languages, we can just go check what the particular compiler we're using spits out when you do something stupid.

It might not generalize to any other compiler—and that's the reason you don't try to build anything predicated on any particular assumption about the behavior—but you can still know it for a particular context.

And, in fact, often there are conventions in compiler-writing that mean that every compiler basically does the same thing in response to certain UB code. (Like optimizing away always-false branches, for example.)

So, by analogy: there are a limited number of autopilot AI programs in existence. Of those concrete implementations, is there anything they would be predicted to do in response to this event they're not coded for? What would it look like to them—what branch would they take without an explicit branch for "ejected"—and how would they react to being in that branch?
>Oxy operates as a hidden service, and connection initiation occurs over two phases: a UDP "knock", followed by a TCP connection that will contain all subsequent connection data. The TCP connection defaults to port 2600; however, the UDP "knock" uses a port number between 1025 and 65535, derived from the server's "identity" value. By not using a standardized port, detection of oxy services (and thereby deployment of exploits targeting the oxy service) is made more difficult.

By not using a standardized port, I can't firewall off UDP on non-essential ports... I hope there's a way to disable this.
I've found that a lot of typical residential traffic (Netflix) is blocked when routing through datacenters.

I'd love to hear your experience.
> In the example on the docs page it looks like the logic is happening in the app code

Not quite. The code in the docs you linked to handle what happens when a transaction does not complete server-side -- typically, you want to re-try the entire transaction a few times in case transient locks have been released or preconditions met. It does not suggest that the transaction is being controlled/orchestrated by the client.

> Are you saying that transactions are serialized as a series of pure updates and sent to the server as such?

Yes, generally. Check out examples of Postgres transactions -- they are plain-text "queries" that are executed with all-or-nothing semantics.

> (to me) transaction implies interaction with the data in app code.

Transactions, generally, are groups of statements/queries that are either all applied or none at all. They do not imply interaction with the data in app code, unless the app code itself is executed as part of the transaction itself (e.g., UDFs or stored procedures). They are like mini-programs that are shipped to the DB to be executed in a concurrency controlled and undo-able environment.
Actually I think this just smells of low effort.

As a comparative: https://www.wireguard.com/

That how a serious open source project looks like.
My thought is, why would you try to appeal?

If you've been marked for firing, obviously management has a poor perception of you. Sure, your coworkers can vouch for you and stop the firing, but to management you're still a marked man or woman. You might still have your job, but you're probably looking at poor performance reviews and no raises for a few years. I know very few people who've ever dug themselves out of a situation like that.

You'd be far better off to just leave for another company and start fresh.
You say "don't invest what you can't afford to lose". If you want to eventually retire, what's the alternative?

Editing as clarification for downvoters: This was a sincere question. Since no one can afford to lose their retirement savings, but few people will generate enough income to retire without making long-term investments in the stock market, I was curious what strategy timr was actually advocating. My own approach is to invest in index funds that automatically adjust their investments to be more conservative as my retirement date nears.
You are correct so let's talk about how there PCF solution is deprecated, and how they were still using a deprecated container management solution instead of kubernetes, and how if you use Java the for you to use liberty build packs, and how they push XP and TDD practices from he garage yet many of their consultants don't practice what they preach.
As always, it depends on what you are needing.

Do you only need console? Then SSH and tmux work great.

Do you need to take control over the other person's desktop? Transfer files?

In this case, there are lots of options. VNC, GoToAssist, TeamViewer, LogMeIn... etc.
> It’s impressive to see the pace of Chinese censors.

I'm not sure that impressive is the right term here...
This is such a poor implementation of what has proven to be a very robust mechanism.

Since the employee is being fired (deprived of something), they are "the accused" and "the burden of proof lies with the accuser". All the charges that are presented must be presented in such a way as to be challenged. Allowing the manager the last word -- and not allowing the employee to even be aware of what was said -- indicates that accusations are being made without being challenged.

The selection of jurors -- three non-managers or one manager -- seems strange in part because it recognizes a hierarchy of people and in part because it involves such a small number of people. The validity of a jury hinges in part on a certain notion of the equality of people -- we don't have juries of 12 ordinary people or 2 senators in the United States because we don't expect that senators are "more just" than ordinary people. It's hard to see why expecting managers to be "more just" is any more reasonable.
The feature you are talking about only applies to FAT or NTFS filesystems.

In other words, even if only Linux existed you couldn't have a universally R/W usb stick without FAT or NTFS.
If there is good labeled data, is it still 'hard for people'?
I wouldn't b surprised if lots of people comes back from a PIP. But I would be surprised if my co-workers were bragging about that time they survived a PIP.

ie. it's likely we believe the odds to be low, because it's not something people talk about.
Water and a soft brush on a stick would probably work
Yes, the comments about how Docker is really just a bunch of tools strung together reeks of the same ignorance.
Suppose politicians or local citizens believe the following:

- that there are some jobs necessary to basic local functions even though marginal productivity doesn’t add much value to the employer

- nobody wants to work those jobs, and so the people who end up with them end up there in a musical chairs sort of way and, for whatever exogenous reasons, cannot retrain for different jobs

- workers at these jobs will have their wages marginalized toward zero, with unlivable lack of medical benefits, in free market operation, because employers will respond to the lack of adequate value added for marginal additional labor in these jobs.

Add a fourth, more speculative position to the discussion:

- in the media and in political grandstanding, people in the working class who depend on these jobs will have an outsized sympathy effect from how cases of suffering or perceived unfairness are amplified to create bad press for businesses or politicians.

In the end, it creates a real mess.

- You can’t allow market forces to pay these people less, cut benefits or outright remove the headcount. This creates an unemployable underclass who cannot move away or retrain. They either can work these jobs or be wards of the state or appeal to live on charity or just die from lack of resources.

- You also can’t require businesses to pay more or pay for adequate insurance, especially at inflated modern insurance prices. Businesses are already fighting for their lives at the margins and it would be counter-productive to require them to pay more as they’ll just reduce headcount instead.

In my view, it suggests that the local government should pay a living stipend with insurance to many of these workers, which could be supplemented by part-time or low-wage work in some of these jobs.

People might be incentivized to work them if the money is meaningful as a supplement to a living base stiped, while allowing businesses to maintain staff.

But basically, as a tax-payer in SF, one option that is not possibly open for belief is to keep wages & benefits low and/or economically force out low-wage workers. It’s just not a possible option, because the result would just be a bunch of people either living on charity or just directly dying from lack of resources. In no scenario will they be able to move elsewhere to get more resources for a low-wage job or retrain to get a higher wage job. Just no.

To me, this issue is one that demands some serious reckoning, and politicians who don’t want to catch the falling sword can only keep pushing it off a little longer before we start having urban zones where it’s just opulent wealth juxtaposed with humanitarian crises on virtually every block.
I'm now imagining what someone from those days would make of your post about their contact info being picked up by "robots and spiders." :D
I'll drop this here. One reason for this is Chinese and European managers are _a lot_ better at running companies than American ones. That's because US managers are focused almost exclusively on looting that companies they run.

The US management class has grown fearful of foreign owners. Because the foreign owners generally do not place Americans at the top levels because they can't trust them.
Ah, thank you. I knew it existed in some language, but I couldn't remember where I had seen it. I need to practice Haskell a bit more.. it's not one of the languages I ever seem to get around to.
As someone had a horse in the race during the previous recession, it's not some sort of "game" and I find this flippant attitude incredibly off-putting to say the least. These are people's livelihoods we're talking about here. The last recession took a huge emotional toll on me, more than can be explained using words.
Good question! RL (and ML generally) definitely works better as you add more scale, but I still feel that this particular work is roughly "grand challenge" level. You shouldn't expect to just try this out as your first foray :).

I will note this paragraph from the post:

> RL researchers (including ourselves) have generally believed that long time horizons would require fundamentally new advances, such as hierarchical reinforcement learning. Our results suggest that we haven’t been giving today’s algorithms enough credit — at least when they’re run at sufficient scale and with a reasonable way of exploring.

which is mostly about the challenge of longer time horizons (and therefore LSTM related). If your problem is different / has a smaller space, I think this is soon going to be very approachable. That is, we recently demonstrated training ResNet-50 for $7.50.

There certainly exist a set of problems for which RL shouldn't cost you more than the value you get out of it, and for which you can demonstrate enough likelihood of success. RL itself though is still at the bleeding edge of ML research, so I don't consider it unusual that it's unproven.
Yep, Mr. Bean, for example is a much bigger deal in China than John Oliver.
Since the other stuff on the chip is the main obstacle to running open source software like Linux, Coreboot, u-boot or even your own OS on typical ARM SoCs, this means that these RISC-V chips aren't actually an improvement in this area. Having to reverse-engineer the proprietary, undocumented DRAM controller is basically the same as bringing up (say) one of Allwinner's much cheaper SoCs. (Except Allwinner released the DRAM init code as open source a few years back, so I don't think you even have to do that for most of their SoCs these days.)

As it currently stands, I think the $10 quad-core ARM board based around a set top box chip currently sitting on my desk is running a more open software stack than anything available for SiFive's $1000 board. (To be fair, the SiFive board does have sixteen times the RAM.)
Gnome proposes AppMenu migration from the top bar (to the App Window)
If I had to guess I would say that Dota is a very complex environment that could be akin to real-world complexity that is simulatable to the point that simulation and the real game work identical. The real world isn't nearly as clean, however, as we get better and better at these "toy" examples we likely could learn more efficiently on the real world problems.
Mumbai bans plastic bags and bottles
There can be plenty of reason not to trust a jury of co-workers.

Somebody I worked with was fired. He wasn't doing much work and seemed to devote most of his days to manipulating his image. He was not just "managing up", in fact if he were better at that maybe he could have survived longer. What he did especially well was molding perception of peers.

Maybe tops ~3 people working closest with him knew he was full of shit. But in very far breadths of the organizational tree, he spread the word that he was the guy to talk to on the team, pulling all the weight. If you asked most of his colleagues to this day, they would probably tell you he was a productive to high-performing contributor, which he was not.

I think this is actually how he got the job in the first place. He schmoozed far and wide in company X, then more productive employee lands a gig at company Y, where I worked, and he greased the wheels through social connection to also go there. I suspect he collected stock options at some pretty good places over the years doing this.
The whole idea behind smart contracts that code can be law is fatally flawed, because it is a bet on our ability to write bug-free code. We know from experience that this is virtually impossible, especially at large scale, even for the best people and organisations in the world.

This means this ultimately require some form of human arbiter to decide in cases like that, but this ultimately defeats the entire purpose of smart contracts.
I have always referred to computer opponents as "AI".

YouTube recommendations aren't great, they have a short memory and my feed is rarely diverse, it just shows a bunch of whatever I just watched.
I feel so safe and protected. NSA should give out branded teddy bears to kids. (edit: added>> Oh, wait, the apparently already have them!! http://scienceblogs.de/klausis-krypto-kolumne/files/2016/06/...)

Awwww....ain't that sweet??
I think the theory is more that everything ends eventually.

Even democracies can produce political and economic collapse. And there are examples of long-lasting dictatorships (Cuba, North Korea, etc.) that are still surviving with economies and technology far less advanced than China.

I think the scary reality is that throughout history a small percentage of a population has frequently been able to hold power over even millions of people for multiple generations. And unfortunately, there does seem to be "economies of scale" in this where only adding technology and a few more people to the power structure can dictate power over an increasing number of people.

That said, it's easy to see the faults in other countries and I'm sure the diverse group of readers at HN can find similar instances of this power structure in their own countries.
Then OS updates and or application updates can break your scripts. It is also nice not having to be married to a particular linux distro. That seems magical to me.
To understand the folly of using long-dead social theorist Foucault for the reading of economic tea leaves, let's turn the tables. "Doug McMillon's lessons for writing literary criticism." McMillon is the CEO of Wal-Mart. Each was equally qualified to write about the other.
Exactly. I would be happy to take my skills elsewhere rather than stick around in a place where I am not needed.