skysight-inc/HackerNews huggingface dataset:
MIT Probabilistic Computing Project http://probcomp.csail.mit.edu/

The Design and Implementation of Probabilistic Programming Languages (https://dippl.org) by Noah D. Goodman
https://cocolab.stanford.edu/ndg.html

Stanford CS 228: Probabilistic Graphical Models
https://cs228.stanford.edu and book by Daphne Koller http://openclassroom.stanford.edu/MainFolder/CoursePage.php?...

ProbTorch: Library for deep generative models that extends PyTorch https://github.com/probtorch/probtorch

Anglican: Probabilistic programming language integrated with Clojure and ClojureScript https://probprog.github.io/anglican/index.html

Discussion: https://news.ycombinator.com/item?id=18585465
I'm not talking about copyright law, I'm talking about DRM. Go look at the videogame industry and denuvo. They use it because it's hard to crack during the initial sales window, once it gets cracked usually after a couple months they patch it out and don't bother to replace it because its job is done.
O yes, that was one of my goto's as well
But then an otherwise small change might result in changes to type annotations all over a code base.
Or, more charitably: "everybody is capable of improving anything if only they were given more education than they are now."
terms like "delinquent parenting" are a bit incendiary, and of course part of the job of a school is socialization.

But I think a lot of changes have happened in how kids are raised that don't promote good childhood development. Specifically, unsupervised play with other kids. It just disappeared. Now parents have to supervise everything, which puts incredible pressure on parents, especially if they are working.

In previous generations of our own society and other more traditional societies today, parents had kids younger and there were grandparents and relatives around to help raise them. At the same time, you can open your door and let the kids run out and play in the street. Then ring a bell when it's time for lunch and they come home. That takes huge pressure off parents and lets kids learn some tough lessons that helps them mature.

In every species, play is how the young prepare for adulthood. Play and spending time with older peers. When you take that away and allow only supervised play time -- well, that's too much pressure on parents; they'd have to be superhuman to give their children the same richness of experience in childhood that kids used to have.

I think the consequences of this are huge. For example, I've noticed how even people in their late 20s and early 30s, when they run into some kind of difficulty, immediately call for an authority figure to complain to. You'd learn not to do that if you were engaging in a lot of unsupervised play. But if everything is supervised, then you always have that authority figure to call. Even universities now are acting 'in loco parentis' -- in a very paternalistic manner, and it seems the students demand it. To me, it's as if a part of growing up and taking care of your own problems is missing. Then they go out into the working world and expect 'in loco parentis' from their employer. Well, the employer is happy to help, but now you are in an unhealthy relationship with your job. Then you have people in their 30s saying "God, I wished someone had told me about emotional maturity" -- well, that's really sad.
Business Is Not About Your Product, It’s About Your Customers
In many languages the compiler is a library used by the ide.
That’s why I laugh when people ask Twitter to have an open API for developers again. The press would act the same way for clicks.
You're not supposed to use it for an extended period of time, that's why it has "preview" in its name.

I'll be happy to use their other browsers (mainly, Firefox Focus, my default browser) until this one gets more polished, but the moment this one becomes a bit more stable and adds a few more features (adblock support is certainly on top of that list) will be the moment when I not just switch over, but delete every other browser I have installed on my phone. I can't believe a browser (any browser) makes me feel excited in 2019, but this one does.
We agree on that. My point is that "forcing" is "attempting to instill motivation by some form of threat". If there's no implied threat, then it's not really forcing.
I dislike China for running concentration camps for Muslims, organ harvesting, social scores, no free speech, and having made Xi a dictator for life. I’m pretty sure Americans have a lot of other reasons like job losses, real estate money laundering, etc.
Fullscreen mode would be good. And bookmarks seem like something of a car-crash. They're in there somewhere but it looks like Collections are easier to get to so obviously they're going to get used instead. I don't care what they're called - i just need a way of getting to frequently used urls. And it would be good if I could rename bookmarks/urls/items in collections because currently i'm stuck with whatever the site owner put there which means I end up with 4 links all called "train timetable" instead of "luton-london","london-luton","luton-tring","tring-luton". I would suggest firefox developers use both collections and bookmarks and see how many clicks they have to use, if they have to stretch their thumbs etc, and ask if there's a better way.

And..where to report this sort of thing? There seem to be about 7 different rival official locations.
In that thread someone says that Tao created his own lecture notes for a linear algebra course he was doing[1]. But that page is marked as coming from "2002", which would make him 27. But surely Tao didn't first take linear algebra at 27?? Can anyone make sense of this for me?

[1] https://news.ycombinator.com/item?id=2772019
Halon activation wasn't fatal to people. It was designed to be the least harmful method to people, equipment, and materials alike. (The ozone layer, on the other hand, ...)
He was probably teaching the linear algebra course.
Turns out this guys was right:

https://www.jwz.org/doc/backups.html
I wouldn't say that invalidates their achievements though. It's not like they took a 20+ year old architecture, built it on 14nm to bump up clock speed and were done. Improving something existing still requires you to thoroughly understand the technology. There wouldn't really have been a point in starting completely from scratch (why not even reinvent electricity while you're at it), other than some additional street cred.
Lots of goods are shipped via train. It's very cheap. But it is slower, and you still need trucks for last mile delivery... Or in lots of cases, last 100 miles delivery.
It's great that you have political reasons to use Firefox. But to be most effective, you have to recognize that most other users won't care about it that strongly, so you have to use arguments that matter to them in a practical way.

This way, you can switch your acquaintances to use Firefox, and they'll stay with it by inertia. I'd say that's a win-win.
I find it hard to believe that HK doesn't matter. Even leaving aside the city's economic importance, uncontrolled civil unrest carries the risk of an overthrow of the city government, leading to a rejection of the Chinese sovereignty. (Not to mention, it may also ignite pro-democracy activism in the rest of China.)

Losing HK is unacceptable to Beijing, so if the HK unrest goes too far, it will have be quelled. Doing so without bloodshed may be impossible.

Such an outcome would cause a dramatic escalation in the anti-Beijing sentiment in the Western world. Trump may not care much about what Beijing does in HK but the rest of the US political forces, on both sides of the aisle, do; the resulting sanctions would make Trump's trade war look like a friendly prank. Many other countries would join the US, dealing such a serious blow to the Chinese economy that it may cause domestic problems.

In fact, things could get even worse. The outraged US politicians might send troops to Taiwan (which is likely to experience a major anti-Beijing shift, leading to fears of a Beijing military action). De-escalating such a confrontation could get very tricky indeed.

Obviously, I hope none of this happens. My point is that, from the perspective of the Beijing leadership, mistakes in HK are very dangerous. So I highly doubt that they don't care.
In facebook’s case, that means both backup and restore processes must have access to over a billion encryption keys. Doable? Maybe, but it wouldn’t surprise me if that made it impossible to make backups in a reasonable time frame.

And even that isn’t enough for the case where a user deletes part of their data.
Show HN: Medicine Reminder App
Was that punk as well?

Sounds more like hardcore/hatecore etc.

Usual punk or metal mosh is full of adrenaline and sometimes too many uncoordinated drunk people, who can be dangerous, but I never experienced people intentionally hurting others.
It's not necessarily the meaninglessness of work.

I had one project at a former employer I became emotionally attached to and worked for some weeks from 6am to 6pm on it.

After figuring out the project would not be finished any time soon though I almost couldn't work on it anymore after a holiday. It was like running sprint after sprint and realising you need to run at least a marathon.

I did not have a real burnout but I think I was very close.
Last time I tried FF on Android, the Font Rendering was abysmal :(
I've always been a faithful FF user on Desktop and I wish it would be a good alternative on mobile too. Let's see where this Preview goes.
That is not how the majority of professional software projects do things, and even if it were it doesn't matter because npm is not your average software project anyway. It is absolute clown status that they don't have integ tests to catch this sort of thing, and adds yet more doubt in my mind about the wisdom of using it (on top of an already considerable doubt pile).
I would take Our Accidental DBA at BT instead of the actual DBA team :-) they where the design Guru for an entire engineering centre.

He once mentioned in the pub at lunch that "oh my first boss was Diskaja".
Consider what it would take to guarantee that there are absolutely no insect parts in a given volume of food. Insects are everywhere, and it's almost impossible to eliminate them with total confidence from every step of the food supply chain. Even if it were possible, it would be incredibly expensive.

Unless you want your yoghurt to cost $100 a pot, you have to accept that some insect parts will find their way into some food. The point of regulation is to ensure that the amount is minimized. If the standard was zero parts, food prices would skyrocket, many food suppliers would go out of business, and poor people wouldn't be able to eat. So the standard is some reasonable low level.

These things are always about tradeoffs and not absolutes.
Huh, you mean late 2016, right? I have late-2016 MBP with a Touchbar
>Every data set (file) access and every process execution is logged by default on the mainframe

This sounds very expensive, how it handled?
Mini Ask HN:

Are there things that you've done with probabilistic programming that aren't sophisticated, but were still a good use of pp?

Or, in other words, what's a minimal example of a problem that is significantly simplified with probabilistic programming?

My intuition says that this stuff is great, but conceptually I can't think of use cases remotely relevant to a non-statistics specialist, i.e. me.
Interesting point about reflowing text:
Why don't browsers reflow text on mobile when zooming the same way they do on the desktop? This is a mayor annoyance for me since, well, forever. As a visually impaired user, forcing me to swipe text left to right the whole time after I zoomed to a comfortable font size makes reading on smaller screens really bad.

And before you mention it, changing default font size in browser/OS doesn't really help, mostly makes things worse (Bad categories like "medium", "huge" instead of font size, page layouts breaking etc.)
I’ve been there. Now, I’m working on something that is at least interesting, useful, and not fundamentally evil, while at the same time I rarely leave the office after about 6 and the deadlines are reasonable. The difference is night and day.
I think one of the reasons that your experience is so different is that Americans tend to have a very different work culture than other countries. It partly stems from the fact they get almost no holiday and are often encouraged not to take the holiday they're allowed anyway. Whereas in Europe the idea that you wouldn't take holiday you're entitled to is just crazy.
Will This German Startup Win the Translation Game?
Design trends seems to be getting less and less useful in favor of looking pretty. It took me around two years of seeing hamburger menus before it actually clicked that it was a "standard" icon for a menu. Now that icon seems to be getting replaced to three dots for a menu. Why?
Because any sane person accepts the fact that some games are zero-sum or close to it, and in these games, his interests (and, by proxy, interests of his country) are more important to them. You want your country to spy on others and at the same time stop others from spying on you.
Sizzy - The browser made for responsive design
> Is this traded directly with the site instead of a DSP?

Yep, direct buy with the site, I'm in a niche with a lot of sector specific media - some mix it with other inventory (so I guess serving it as bespoke through a standard DSP), and some only have direct bought. We also buy a lot through standard platforms too for reach and retargeting, but I've noted a marked increase in the last year-18months of sites offering it directly (often at competitive rates).

> Also it seems like you're in the UK, is that right? Aren't the privacy laws having a major effect on the programmatic market there?

Not massively to be fair, the market has just consolidated a bit more - so large scale buys are going more and more through Google (as the industry trusts them to either know their stuff or pay the fines if they get caught). Perhaps the rise of sites offering it is as a result, thinking they can offer a more privacy conscious option, but my assumption is that they're just trying to offer a more niche offering with closer alignment between content and ads (and trying to slowly push CPMs up - which is somewhat fair, my CTRs are higher on direct bought vs prospecting ads).

> SO could start their own self-serve ads

I think that's why other commenters have been getting agro, the fact is they could do it, and they have some very useful 1st party data to make it quite a compelling offering, but they're relying on all our old tools. I'd like to see them get the revenue in and then build it out.
I think this [1] article (Not only applicable to US as it says) is in a way related to discussion. Schools can teach finance/ time/ emotion management may be theoretically to certain extent...but when it comes to it's application for day to day activities which are often linked to our priorities, many people still not able to manage things in right fashion.

[1] https://www.businessinsider.in/wealthy-americans-dont-have-e...
Bug aside, it baffles me that it's a real person publishing rather than CI after tagging.
"Everyone is capable of anything" is a bit of a stretch, but as general rule critical thinking is not improbable for majority of the people.

That is, I believe with better education we can have a substantially larger number of people who are capable of critical thinking and can navigate through trickery and misinformation at a basic level.
Totally disagree. Moving memory to the GPU can be parallelized while doing the computation. For larger files that can fully saturate the gpu's bandwidth, it's completely negligible. "Easily the most time consuming part", no. Not even close.

Also, IO bound? Again, no. My consumer MBP can read at 3.2GB/s. Good luck doing regex on that in real time on a CPU. This is a CPU bound operation for a typical high end configuration.

Does this make sense for a 1MB file? probably not. But anything well beyond that it will be way faster.

Here's a great talk about how you should think about GPU performance: https://www.nvidia.com/content/GTC-2010/pdfs/2238_GTC2010.pd...
I liked this. It looked like a toy but it had pretty serious internals. Kind of the opposite of how things are now ...
"No tea and coffee" is literally the only thing you got right in your entire post.
According to Wikipedia:

> all living former U.S. Presidents continue to be addressed as "Mr. President"

President isn't Obama's job any more. Sadly.
More interesting question: How many hip startups could not build/test/ship their latest iteration yesterday because their whole CI pipeline depended on npm working?
Crunch is “not sustainable” but Blizzard wouldn't be Blizzard without it
Dreher isn't a protestant; he's Orthodox. Really, he's kind of a LARPer, and that book has received vastly more attention than it deserves.
If you actually read the terms of service, it takes an hour. Plus, you'll have to agree to them.
> terms like "delinquent parenting" are a bit incendiary

Delinquent means to fail in ones duty. If you think parents are failing in their duty to facilitate their children’s emotional development, then it’s just tautological to say they are delinquent.

I pretty much agree with everything else you said. But I disagree with the conclusion that it’s the governments right to take over parenting responsibilities in the absence of abuse, and I strongly disagree with the conclusion that the school is an appropriate place to instruct the emotional development of children. The idea of a standardized emotional development curriculum should terrify anybody.
C# dev here. I use this literally every day, it saves me keystrokes, makes the code much more readable, and I almost never have to stop and think about what type has been inferred. When I do, a quick hover will tell me that. In the time it takes these "quite clever" academic folks to get funding and conduct research and tell us definitively whether or not this already-established technology is useful to us, millions of developers will have created a shedload of everyday business applications, partly aided by little productivity boosts such as this.
Coincidentally enough, we just got through writing a nest of regexps to retrospectively validate about 2K user entered addresses, and they turned out to be surprisingly well entered, probably about 98% parsable. In this case the user was entering a field called "street" and we were validating down to a number followed by a street type (e.g ST) and a few local wrinkles such as additions like "RD1" for rural addresses. The most common error, which we brute force corrected, were various misspellings of "crescent". We did not however attempt to unpack the street number, which fortunately was not required.
Well written. And I agree with you. But...

> the U.S. can minimize the loss of relative strength and maximize its absolute strength

It's not an optimization problem that can be neatly solved. It going to be very chaotic. While the train tracks of where the story goes have been laid out, what happens on the train is mostly madness.
Why would you need lawyer fees? How is GDPR complex?

It literally is:

- you only store data you require to run your business

- you delete data if customer requested deletion

- you give the customer their data if they ask for it

If your profitable business is built upon selling customer data wholesale to third parties, then good riddance.
It depends on how you'll use it.

The mechanism to detach the screen is not really reliable. It may work without issue 90% of the time but knowing that there's a 10% chance that I'll have to deal with some annoying bug means that I usually avoid using it.

Taking notes with the surface pen works great and is a huge convenience but if the goal of your notes is to learn something, pen and paper work better (bonus: reviewing physical notes gives you a break from the screen).

If you take away the detachable screen and the digital notes, you're left with an overpriced laptop.

With that said, I can't say that I regret owning one. I've used it for university, for work and for some light gaming.

I would also say that it works great for travelling (slim, light weight, good battery life, comfortable touch pad, etc.)
Nothing, besides the fact that you have to physically carry it around to transfer it.
The article seems to confirm that the issue is not, in fact, an inability to produce a ballpoint pen (tip). Rather, they could not produce a competitive high-end one:

"A year ago Premier Li Keqiang went on national television and bemoaned the failure of his country to produce a good quality version of this seemingly-simple implement.

Locally-made versions felt "rough" compared to those from Germany, Switzerland and Japan, Mr Li complained."
Are you implying that several hundred of people (guided by Hernán Cortés) killed 5 million of people?

The New Spain conquest (current Mexico) was done with the help of natives that hated Aztecs. Even with the help of gunpowder it would have been almost impossible to achieve that body count. Thus, the Spanish Crown wanted the help of the Catholic Church, so it promises keep the population to christianize them.
How do you make an x-ray mirror that won't ablate and burn up when trying to reflect that kind of energy?

Also, I said "pumped x-ray laser" for a reason; this type of design usually involves blowing up the energy source and/or the laser medium. Fits the missile or shell use cases.

> The whole point of ordinance is its cheap

Not in the US, with how much missiles cost.
> They did not include the time it took to transfer the input file from memory to the GPU

To give some context: PCIe 3.0 x16 achieves about 11-12 GB/s. So, transfers for benchmarked 53MB file would add ~4.8 ms (per direction, assuming pinned host memory)

Now, they could also pursue a streaming approach, processing in "micro-batches". I.e., pipelining input transfers (HOST->GPU), GPU-based processing, and transfer of results (GPU->HOST), as pursued by [1] (disclaimer: I'm a co-author). This lower's processing latency. Since the interconnect is full-duplex, it would just limit the processing rate to about ~11 GB/s (i.e., 5 ms for mentioned 53MB). To be fair, though, input has to be sufficiently large, such that there are (a) enough micro-batches to overlap transfer and compute and (b) the micro-batches can be chosen to be still large enough to exploit full parallelism of the GPU.

[1] https://arxiv.org/pdf/1905.13415.pdf