skysight-inc/HackerNews huggingface dataset:
The Holloway Guide to Using Twitter
I doubt it.

Users will either login or switch to old/ud

There doesn't seem to be any downside to old/ud - it retains users that would otherwise leave whilst being enough of a pain that those who the wouldn't leave just login.
Young women has lot more options than your young men.

I can signal a man with Ferrari on the road and he will let me spend my time with him but the chances of man getting the same treatment is next to nothing.
They are pretty aggressive with trying to push me to a native app or signup. Guess it’s related to the possible ad dollar
And since 3n+1 will never be prime, you'll eventually reach a number which has factors which converge to 2^n
Based on username and DDG, I suspect:

https://www.bruker.com/fileadmin/user_upload/8-PDF-Docs/Micr...
Very interesting, I wonder how this "tradition" came to be in the first place. I suppose if you need a large amount of people who you don't expect to bring any special qualification anyway, it's most efficient to just hire a big group of the highest quality average? Then you don't have to read applications.
My mother's cat used to carry live mice into the house and release them. He'd bat the stunned mouse around but not kill it. I would have to catch the mouse and bring it back outside. The exact opposite behavior you want from a cat.
> I think it's probably pretty easy to prove that 4-2-1 is the only loop that is possible.

Conjecture 2: https://terrytao.wordpress.com/2011/08/25/the-collatz-conjec... turns out its not :p
Show HN: Masking – Generate anonymized database
How to Leave the United Kingdom
>Where did they promise 10nm in 2012? This presentation from 2011 shows 10nm in 2017:

Your link shows 7nm in 2017, 10nm was for 2015.

>Tick/tock was a process shrink every 2-3 years. Using the more aggressive 2 year cadence:

You are confusing "Tick Tock" with "Process, Architecture, Optimization". Tick Tock is strictly 2 years cadence.

So yes 10nm missed by a large margin.

> 10 nm – 2018/2019

Intel has been making 10nm chip irrespective of yield, the current batch were months of stock piling chip before the rush to roll out in Xmas. In reality they barely got it out of the gate in 2019. And if you count Cannon-Lake as 2018, you might as well count TSMC 5nm in 2019.

>There's no way in hell tick/tock's 2007 unveil could possibly be considered "misleading investors."

There were not misleading in 2007, the executed their plan flawlessly, Intel had decent people back then. Pat Gelsinger left in 2009. It was still doing great up to 2012, Otellini retired, BK became CEO in 2013, still promising Tick Tock. That is the point where misleading investor began.

And I forgot to mention during All investor meetings Intel continue to reiterate 10nm is on track all the way until BK was gone. If that is not "misleading investors" I am not sure what is.
Top Industry-Academia Collaborations in 2019
I love the approach, however, the palettes all seem to be in the same style. A bit more diversity would be cool.

Any other sites HN could recommend for picking colors? I suck at that.

Colourlovers is a classic I know about, but iirc it is complicated with copyright. https://www.colourlovers.com/
> since the PhD certificate guarantees that they also have sufficient breadth of knowledge + new-knowledge-invention skills.

In Germany they will ask for your high school diploma before hiring you as a post doc, so keep hold of that masters, you might nedd it to get a job.
What I've Learned About Fundraising After a Decade of Raising Capital
Conductor becomes an employee-owned firm
What I mean is, you'd send `t.co` and similar to your unshort.link server, which then has the `Host` header `t.co` and the path; so it can do the redirect.

I know it's not how it works today, but I wasn't describing how it works, I was describing how I'd like it to.
Yeah, this is definitely at least a semi-decidable problem. By following the process of the video in the beginning you can generate all values that converge towards 1, and you will reach each value at some point. Now, all that is missing is the other direction. How would you test if a number doesn't converge towards 0 in an algorithmic way that always finishes?
The only way to grow infinitely is to hit more odd numbers than even, but you're hitting even at least 50% of the time.

And eventually you'll get a number 2^n x N which will string together multiple divisions.

So you're hitting n/2 more than 50% of the time, meaning your number is getting smaller more often than not, and will eventually go to 1.
... except that the first thing I thought was, did the open source panorama stitching project got ... different?

http://hugin.sourceforge.net/

I thought what a weird coincidence that they'd choose this very similar weird word ... but now that you point out it's the name of one of Odin's ravens, I guess it's not quite as uncommon of a word.
Damn, I was so sure it would be. This problem really is fascinating.
it has become mental for me at this point. i tend to skip anything done by netflix studios... it has to do with the rate at which they are pumping out movies, shows & documentaries. most of them are not very good.

but netflix has some of the best standup comedies ever and that sandra bullock movie wasn't too bad.

even though it's scorcese, i am not interested in irishman at all...
The 100-year-old 'law' for success
It'd be like using machine learning to recreate unrecorded speeches of Marcus Aurelius or Alexander the Great word-for-word.
How about QBasic?
I just pulled up www.reddit.com on Firefox Klar (Android), went to a random thread, and did not encounter it either.

Perhaps they are testing it with a subset of users?
Divine Medicine: The long, glorious history of beer
Basically it comes down to companies having systems for paying invoices. It's hard to get small and medium sized companies to make charitable donations - especially to open source which doesn't even help their corporate social responsibility goals.
Yes, that's the browser extension that I was referring to when I said I'd rather do it (for all devices) via DNS.

1. Resolve shorterners to unshort.link server
2. Use `Host` header and path to redirect to unshortened page
Or just don't do it. Russia has around the GDP of Italy this might have to do something with it.
I think it's easier for Rust (and other languages such as D, Crystal), because they started from scratch. Cargo is accepted as the way to build and distribute stuff on Rust, full stop. There are no endless debates whether Cargo should be used, or something else.

Meanwhile, in C/C++ world, build systems are a mess. You have so many tools. Some folks just use what IDE provides, e.g. MSVC solutions. Some people use CMake. Some people have their handcrafted Makefile solutions. Sure, it works on their platforms, but it's very hard to make it portable. With Cargo and similar, you just go "cargo get" (don't know the exact command, don't use Rust) and you can expect the packages to download and build as needed.
I think the good part about taxis is that I do not have to summon them at all. There’s always a line waiting wherever I want to leave from (except at LAX, because they don’t understand the concept of taxis... seriously, who takes a shuttle to their taxi, that’s insane).
And in this climate I'm sure you could get some venture capital for that...
All of these palates look very trendy 'contemporary big tech'. Something about the pastel colours. They go with the visual design.

But it seems very monocultural. I personally find them really distatesful (and isn't design about taste after all). Give me a nice saturated green any day.
Quora ... :(
I can see that 3n+1 is never prime. Why does that guarantee that you will always reach a previously seen number?
at least you should specify which brute force approach you're comparing it with.
No. If you could prove that you'll always reach a previously seen number, then you could simply say "Let n be the smallest number for which the Collatz Conjecture is false, we have shown that we'll always reach a number < n for which the Collatz Conjecture is true, hence n does not exist."
This is only possible if you have access to the model neural net... If you dont you cant tell the difference.
Great! Love a new set of colors and was just looking for some the other day. There are some other similar websites, but glad there's more! More colors the better.

I've decided on some websites to entirely ditch this color scheme palette and just go with a full-on gradient: https://sdan.io/ since I couldn't find good schemes at the time.
The whole point of the insurance is to pool the risk - a perfectly operating insurance company is essentially a rent seeking parasite on society, because they will practically never pay out the fees and continue collecting premiums.

As such we really need to reassess the usefulness of such organisations in our society - they're useful because they blunt the monetary pain of rare life events and pool the costs of chronic issues. If they stop covering people who need them the most, they stop being useful for us.
Bad Medicine – anatomy of a burn out
If "everyone" uses a word for something, then that is de facto the "true meaning" of a term.
Probably because Vivaldi is based on Chromium.
At the same time, it's my computer and if I want to change the User-Agent string, I will. I don't have to tell you what platform I'm using if I don't want to.
But Netflix frequently subs their local content so it can be watched around the world. As someone who's brain reads subs seamlessly, I like this.
Shorteners are frequently used to hide/prettify query parameters used for tracking; so if you run your own you're losing the aggregate anonymity-ish, and gaining that OP can't see what URLs you're unshortening.

I suppose it depends on your use, but IMO if you run it yourself as the only user, you lose more privacy than you gain.
They also just recently released their own Thai drama series and have done a number of Korean series and films also. I think it goes further than just creating solid content but fostering more investment and talent outside of Hollywood which I think is great.
I might not need more improvement than today's state of the art Consumer CPU. But even the best in class GPU are not over powered for gaming. With Ray Tracing and 4K I could easily use another 4 - 8x transistor density.
Scientists unveil structure of the ‘immortality’ enzyme telomerase (2018)
Self-Paced Labs: Serverless on Kubernetes with OpenFaaS
Um, no. Collatz's conjecture was that the sequence will always reach one, and that conjecture was entirely avoided in GEB. Any number that would result in the 1-4-2-1 closed loop was referred to as "a wondrous number" in the GEB dialogs, and the concentration was on the idea that while you could test any number for the property of wondrousness, nobody knew how to prove that any given number would be wondrous without testing it. It was used as a soft introduction to the halting problem.
@supports is often unreliable for CSS features. At least in Blink, it acts more as a "valid syntax" check then a "supported feature" check and for some reason Blink's CSS engine recognizes many new CSS features as valid syntax while not actually supporting them.
> How does configuration works? Is it just configurable through the webinterface or can I update/set workflows with some external script?

Primarily Web interface. Though, the CommanderAgent can configure and trigger other agents. You can use that in combination with your external script for configuration.

> Is configuration saved in textfiles which I can put under versioncontrol and backup, or is it some unaccesable binay blob?

Agent configurations are stored in the database and can be exported as text files for your backups.

> How much does it break with each update? And how often does it receive bigger and smaller updates?

Making sure updates don't break existing installations is one of the top priorities of maintainers. Most of the updates are small/incremental. And I haven't had any problems with the updates breaking things.

> How does this compare to something like home assistant or node-red, if you know this software.

I looks at node-red years ago and determined it wasn't as mature of a project. Things could've changed since then. And I haven't heard of home assistant.

> Anything you consider missing or lacking on some area?

The UI is a bit basic. Though, I think this can also be looked at as a feature instead of a flaw.
I don't follow this either. ((3n+1) / 2) is always greater than n. If all Collatz sequences are periodic (or periodic after a finite prefix), how does that prove that they all achieve a value less than some constant k?

(Or even that they all achieve a value which is less than their own first element?)
It seems like the rules aren’t so strict when it’s regarding Wi-Fi/Bluetooth device discovery, since you definitely could derive a location from nearby Wi-Fi access points and Bluetooth devices (that’s why this permission behavior changed in iOS 13/Android 10), but the alternative to device discovery is… for a lot of devices, probably nothing.

Putting the blame for this on Apple/Google doesn’t excuse Sonos’s sleazy data collection here, of course.
> No, you miss the point.

Quite the contrary.

> average

And that right there is where you are hiding all your assumptions. There is no such thing as "your risk profile", there is only your risk profile according to some risk model, which approaches what actually will happen to you individually the more detailed you make it and the better your predictive capabilities get, because as you do that, you are shrinking the pool of individuals that this average is calculcated over, approaching only you as one individual in the limit, at which point the average is the same as the actual thing.

> and with zero density on the higher end, meaning you never have a catastrophic loss.

Also, that's not a thing.
It is awesome seeing colours in context. I've so frequently rejigged the palette whilst building the website, so this would stop doing that.

I'd love to be able to pick my own colours and to see how they look, instead of being bound by the pre-set ones... better yet being able to pick a 'starter' colour then having it create a complementary palette and seeing how that appears.
Seems to work well for journalists covering consumer products like cars and video games. I've heard of motorcycle companies holding press reviews in Nevada (which has a lot of good off-road test terrain, to be fair) and giving every magazine journalist a few hundred bucks worth of chips to play at the casino.
AAI
Or Raku https://raku.org:

raku -e 'say lines.pick(4).join' < /usr/share/dict/words
Show HN: Losing an argument online? Respond with fire
Microsoft Announces Xbox Series X: Available Holiday 2020
Lately I have been using color.adobe[0] or palx[1] a lot.

[0] https://color.adobe.com

[1] https://palx.jxnblk.com
Oh, old.reddit.com is the only usable thing.
You are definitely not a scotsman.
I did wonder how two such mediocre long and boring films The Irishman & Marriage Story got such rave reviews.
I’m annoyed with myself, having been swayed by the the critics, so wasting over 5 hours of my life - watching these in the vain hope that some excitement or entertainment would emerge - thoroughly disappointed.
> could be used for price discrimination

Would it be better if the insurance agents visited the house themselves?
The part of the video showing the location bias in phase artifacts (straight teeth on angled faces) is really interesting and very clear in retrospect if you look at StyleGAN v1 outputs.

Their “new method for finding the latent code that reproduces a given image” is really interesting and I’m curious to see if it plays a role in the new $1 million Kaggle DeepFakes Detection competition.

It feels like we’re almost out of the uncanny valley. It’s interesting to place this in context and think about where this technology will be a few years from now - see this Tweet by Ian Goodfellow on 4.5 years of GAN progress for face generation: https://twitter.com/goodfellow_ian/status/108497359623614464...
Really impressive that you can build something like this with Webflow.
While global emissions need to decrease by 7.6% every year for the next decade to meet 1.5°C Paris target, according to a UN report

https://www.unenvironment.org/news-and-stories/press-release...
Energy is the ability to perform work. It doesn't have to be a velocity. A boulder on the hillside is energetic because it can fall down, thereby performing work on whatever it falls on.
Yes the reload is a shame - especially given that it needs a whole bunch of third-party JS to render anyway, it's annoying to have history fill up of different colour palletes.

Great resource though, I'm bad at this, will certainly use in future I'm sure.
ah thanks for answering that for me. I sometimes pondered if i did make an account on reddit, if it then would less horrible. :)
I'm going to guess no.

Had the guy just asked anyone who's used to driving old beater cars from the late carb/early EFI they probably would have guessed vapor lock or heat soaked ignition components right off the bat (probably with a little skepticism because new cars very rarely do that) and then tried to confirm/rule it out.

Vapor lock is a basically solved problem (and has been for 30+yr, the OEMs test for those kinds of things before they scale up production) the engineer will likely weight it lower as a possibility than the more oddly specific things. It's kind of like how a 2nd line IT person may miss rebooting a device as a potential solution because none of the problems they chase down have easy solutions like that.
> Plus lots of contracting in the 80s for people who needed data (send back and forth on floppies) converted from one accounting system to another.

When I was sixteen or seventeen, I worked as a summer intern in the IT department of a local utility company. They gave me this data conversion task that they expected me to complete manually on a timescale of roughly the entire summer.

It took about two days before I just automated the whole thing with a Turbo Pascal 6 program and had the task completed in something like a week. The biggest part of the challenge by that point was moving around a large volume of data (~100MB) on the 1.44MB floppies common at the time. (I remember ARJ helping immensely, between it's multi-disk support and the high compressibility of the data.)

My unexpectedly high output on this task served me well.
To each their own. I thoroughly enjoyed the Irishman.
Explainer: Reducing User-Agent Granularity
The New Xbox Series X
A contributing factor could also be that because for many in the Apple world, hardware goes in tandem with the software, it follows the natural cycle of hardware refresh. Sure every now and then someone finds that an app no longer works, but if they aren't paying big big bucks, who cares?
It feels to me like social media has been imploding recently. It seems like I am seeing more and more efforts to overtly force people use an app, associate browsing with an account, and link their account with a real world identity (e.g. via phone number). This in turn makes the platforms less useful and more hostile to users and presumably at some point that will cause users to leave the system.

It also feels like social media platforms are starting to die faster than they can be replaced. In the past MySpace died but people could move to Facebook, Facebook shifted to emphasizing the feed over groups but people could move to Reddit, but I'm not sure what people could move to if Reddit becomes non-viable.

Is this just me?
Larry Page is quietly funding efforts to develop a universal flu vaccine
Schools and Companies Perish. Can Credentials Remain?
>I'm not going to install a dedicated app in order to read a forum

Apollo (iOS) provides a nice and clean design, as does Joey (Android) which copies the style of the former. Even on the desktop, the experience is smooth and manageable, by using uMatrix and RES, whether you are browsing old.reddit or not. I don't understand the hesitancy in using these enhancements to enrich your user experience.
Yes, and in those years* Intel also had the largest leading edge wafer output. I.e They managed to sustain that lead because they had the volume. So what has changed? Even if Intel continue to ship 200M leading edge node to PC market they still would not compare to the GPU + AI + Mobile SoC Market in volume. Those days are gone. TSMC now has that advantage.

*It is actually closer to 30 years.
Teams is supposed to be the replacement. It's kind of trash as an instant messenger client, for entirely interface-related reasons - they built it in Electron, so it is difficult to pop out separate windows for individual chats, so one is stuck with tabbed soup.

Although it's probably the best voip and video conferencing software they have put out.
Haha, thank you! (I am the author)
> But busier roads also usually correlate with urban density which often correlates with socioeconomic status, race, crime, ...

sometimes, sometimes not. some cities (like mine) vary a lot from neighborhood. I live in a nice one but share a zip code with a poor neighborhood with lots of crime. my premiums are pretty high despite the fact that I keep my car in a locked garage and only use it to hop directly on the freeway and drive out of the city.
Your car already records data like your speed prior to a crash if anyone cared enough to go retrieve it.
great to see Lisp alive & kicking...what variant? Thoughts on Clojure?
Werner Herzog made this heartbreaking documentary on this topic. It has kept me from being distracted by my phone when driving since I've seen it.

https://www.youtube.com/watch?v=9qf85X3extY
There should be some, but dark matter is inherently very hard to detect, so we don't know how much there is.
WhatsApp chat bot in Python using Dialogflow.com
Another way to look at it that doesn't require a convergence proof is to show that ℕ = S, where S = {1} ∪ {n×2 : n∈S} ∪ {(n-1)÷3 : n∈S ∧ n-1|3}.
There is a GitHub repo which lists loads of interesting bugs (vanilla ice cream car, 500 mile email, etc.) with better quality writeups than this. I think it's been posted to HN before. Anyone?
Water Common–Yet Scarce–In Exoplanets
> People with private locked garage will also have better ratings in general.

this doesn't help much in my experience. my insurance company doesn't even have a field to tell them whether you keep your car in a garage.
Point defects in cathode crystals may speed lithium absorption
So would you then argue that before humans invented writing, they were on the same levels as crows.

Crows have an oral tradition, and so did humans in that time, therefore they're about as equally smart, back then?
Show HN: OpenFaaS Classic Templates
The choice to rebrand Lync as Skype for Business after the Skype aquisition has caused endless confusion.

Skype and Skype for Business are almost completely unrelated, and barely interoperate.
They seem like such simple structures. I could build one of those out of rammed earth or cob in the time it takes to put up the rain shield. Cheap housing (especially in rural areas) is a solved problem. Cheap, legal, socially acceptable, housing is not.
Yes, that’s the point :)

People who are suggesting a debian specific package manager to fetch C/C++ dependency issues are missing the full picture