skysight-inc/HackerNews huggingface dataset:
I am curious how hard a problem it is for the system to figure out what side of the road the driver should be on. Could they put a little arrow or something in the UX so I could point to which side of the street I'm on? Ideally before I order the car so the dispatch algo can prioritize cars that are more likely to approach from the correct side.

If the street is busy it can be hard as a pedestrian to safely get to the other side of the street. I've also had drivers just go the wrong way like I was standing between Gough and and Octavia on Market maybe 10-15meters from Gough. The driver came down Gough and turned left on Market at which point I knew it would be > 10 minutes before they could make all the correct turns to get back to pick me up. I cancel the ride and was surprised the system didn't direct them better.
Time for a new type of social. That FB users do not move for something less slik-polished-and-widely-used is understandible. But I believe a large part of the reddittors is more keen on privacy, openness, ad-free experience, uncensoredness, etc.

I like this one:

https://github.com/dessalines/lemmy
I've seen ads for it in the UK: https://www.moneysupermarket.com/car-insurance/how-does-blac...

It'd be cool (from a hacker point of view) to spoof the smartphone's GPS/accelerometer data: put a delay of, say 10 seconds. So you can accelerate like mad off the red light, but the blackbox app receives a spoofed acceleration curve which is gentler. I guess it's harder if you like going over the speed limit, e.g. you'd arrive to your destination after driving 90 mph, but the app still has to spoof you being 20 miles away doing 70mph (the highway limit in the UK).
The perfect insurance would know that I was going to have to pay catastrophically large amount and would therefore charge me a catastrophically large amount.
WebAssembly Host Runtimes
I used and programmed HyperCard quite a bit back in the day (even C extensions into HyperCard!). The jump from HyperCard to web is bigger than it appears from the UI:

- to make HC work on the hardware at the time it had quite a lot of optimised MC68000 assembly so it wasn't very extensible which was why it didn't take off like visual basic i.e. you could build stacks but not really apps

- there was no declarative format, stacks were binary files

- It didn't support networking at all as far as I can remember

- Networking at Apple based on AppleTalk so their thinking was very much in the local network, in fact their TCP/IP extension (not built into the OS at the time) was not very well supported.

HyperCard was great, but it was never designed with a browser model in mind, mainly sharing binary stacks between people.
if you want an autobiographic a take read Rocket Boys: by Homer Hickam.

These days those kids would probably have gone to uni but in 1950's company towns they where destined for the mine or blue collar jobs

Homer got drafted and went to Vietnam only later joing NASSA
Although if the 'small rogue black hole' theory still has some merit then we can at least pretty conclusively rule out that there are no such black holes.
Thought exactly the same. The end result is pretty amazing.
> Tao used this weighting technique to prove that almost all Collatz starting values — 99% or more — eventually reach a value that is quite close to 1. This allowed him to draw conclusions along the lines of 99% of starting values greater than 1 quadrillion eventually reach a value below 200.

Isn't this equivalent to saying that "99% of starting values greater than 1 quadrillion eventually reach 1"?

I mean, once you reach a value below 200 then you will continue and reach 1. Not only below 200, but below any limit that was experimentally verified (i.e. around 10^20)
I drafted the definition of antisemitism. Rightwing Jews are weaponizing it
There are still wild untrained humans. In most cases, it's a very sad state of affairs when that happens since a lot of child neglect has to occur. But I'd argue that children that have been fed but other than that left alone for 10 years, classify as an "untrained" human.

It's sad, but they do exist.

See also: https://en.wikipedia.org/wiki/Feral_child

(thanks boatswain for providing the link in another comment)
> The problem with TSP is that you want to prove that your solution IS the optimum.

This can't be right? The whole definition of an NP problem is that while the solution may or may not be hard to find, it's always easy to verify the correct solution if somebody gives it to you.

As applied to "you want to prove that your solution is the optimum", that means there is a polynomial-time algorithm to do exactly that. That's what verifying the solution means.

The problem with TSP is that it's hard to determine what the solution is, not that it's hard to determine that the correct solution really is correct.
Show HN is supposed to be for showing your own work

https://news.ycombinator.com/showhn.html

so you might have miscategorized this, m1guelpf.
And that's good. Ideas like religion should've been see as a idea of building pyramides or having a slave in your village
If you will even need to solve TSP, this guy solved it almost optimally for millions of cities

http://webhotel4.ruc.dk/~keld/

This is from my experience of dealing with it more than a decade ago.
Octopus: Kubernetes-native acceptance tests runner
I guess they probably did... the explanation with the breathing is just to show how fragile it really was.
hmm? why not
And don't the Washington posts film/media Journalist go on media junkets
Yeah, you can do a lot with it. One of the (unstated) ideas behind uni is that it can work as a backend for a lot of different integrations: dmenu, Vim, fzf, Emacs, a more domain-specific emoji picker GUI, etc.

Other than this, the feature set is roughly similar. The biggest difference is that uni knows how to deal with emoji sequences.
Show HN: Find proven topics before they take off
Please don't believe you know why others down vote.

I down voted because it's a comment with unsubstantiated claims, only tangible related to the article.
My dad set lots of examples. They don't have to be good examples, to teach valuable lessons.
Well, if we got a new theory that explained exactly the same facts as QM without making new untestable predictions, and if that theory had some desirable properties such as being more intuitive or being mathematically more desirable, the new theory would hopefully be embraced.

However, string theory does make significant new predictions, though a lot of them are untestable at the moment. The problem with this is that if you accept string theory you have to accept, for example, that there are 10 spatial dimensions, though we can't notice them in any way. You may have to accept that there exist many (or an infinity) of other universes that are too far for us to be able even theoretically to notice.

The meat of the issue is this: physics is ultimately concerned with describing what the real world looks like and how it works. When evaluating a physical theory, we shouldn't care just about its self-consistency, but also about whether it is likely to be a good model of the physical world. And to be able to tell, we need to test all predictions of this theory, especially the counter-intuitive ones, and check whether they actually describe the real world, not simply whether they are theoretically possible. Sure, if one or two new predictions remain elusive, but we've checked all of the others, we may have good reason to believe the theory (e.g. we had good reason to believe general relativity even though it predicted black holes even before we were able to observe the first black hole, because it made so many other predictions that we did confirm, and that no other theory could describe).

A good example of a theory that is still floating around, that doesn't make new predictions compared to QM, but that is more desirable in other ways is the DeBroglie-Bohm pilot-wave theory of QM. It's not yet complete (it can't account for all aspects of QM), so there is still a good chance it is simply wrong. But, IF it will be able to account for all of QM, even without making any new predictions of its own, it might become a much more popular new theory, on account of simply being more intuitive (no more particle-wave duality, no more randomness, and particles would have properties even before you measured them; note however that it does have non-locality, so it's not all roses).
Would be awesome if you build something like that!
You can get the currently to unshort.link known short link providers in a nice json format from https://unshort.link/providers

Maybe you can run a cronjob setting that urls in some firewall file or so.

You can get the redirect info from unshort link also via its api without redirecting, just replace /d/ with /api/ in the GET request: e.g. https://unshort.link/api/https://tinyurl.com/unshortchromeex...

If you build an DNS solution, please do not forget to add the documentation on how to do it via a pull request to the unshort.link repo, so everyone could profit from it
That Dutch resistance one sounds interesting
Haha I hope I don’t turn into one! It’s hard to get it all on a page and still be a little concise. Would love to answer any questions. There certainly are many options, for the ones you mentioned federated or decentralized I feel like the concept while really cool isn’t as accessible as just a website. Other options are also too niche. I think Facebook did a couple things well one of which was have a diverse user base.
Please don't mess with my back button
Junk mail helps woman discover her home had been stolen
Mouseover on the emoji to see the unicode name.
I spent some time finding good colors for my terminal, I usually reuse that when I design some website / webapp. 99% of the time I use monospaced fonts and my interface ends up looking a lot like a CLI application, but since most of my work is oriented towards technical people, end users often tell me they dig the design.
(3n+1)/2 is always greater than n, yes, but you'd need to find a loop where you're always alternating 3n+1 and n/2 to reach a rate of increase which could not be overcome.
Which I take to mean that if n/2 occurs > 50% of the time, will eventually take the series to a number lower than your starting value and eventually to 1.

Maybe the threshold isn't 50%, but the proof then becomes finding that threshold
“Clever trick” should be treated as a pejorative.

Knowing why I have to `#define FOO_IMPL` before I include the header, but only from one of my compilation units, is a “clever trick” that now anybody reading or maintaining my code has to tuck away into their brain as well. Along with all the other tricks they’ve had to memorize because some other asshole thought they were being clever too.
Ask HN: Are you a digital maker, indie "hacker", indie developer?
Hi,

I'd like to learn more about the maker, indie hacker community so I created a survey.

If you are a maker yourself, could you please, help me with your answers?

It takes about 15 minutes. Most of the questions have predefined answers, so you only need to select one of them.

https://themakerreport.com/

It'd make me extra happy if you'd share what other questions would you ask from fellow makers, indie hackers.

Thank you.
The situation described is basically a textbook perfect example of heat soak.

If you tell someone with experience repairing vehicles that your car starts fine when cold and find when you shut it off for a short while (e.g. buying gas they are going to nearly instantly hone in on "something is hot that shouldn't be".
It's quite astounding when you think about how much of our life has been automated or made virtual. But basic house hold tasks like cooking, dishes, tidying up, folding clothes are still fully manual. Also shopping for food, vacuum or tending your garden (for the majority of us). Tasks which all together take many hours each week.

Think about all the time going to waste. Yes, there are tasks which some actually want to keep manual (maybe you love cooking) and there are (subpar) online service, which try to replace that labor, but there is no automatic option otherwise. And outsourcing labor is not what I mean. I want a washing machine at home, which is a lot simpler to handle than outsourcing it to a washing business.

I sometimes wonder, if the reason is really a technical one or if there are other factors, social or incentive problems, which hold progress back in those areas...
That depends on the Airport and the time you arrive. I have definitely tried to take a taxi before only to be told "Big flight from XXX just arrived at terminal Z, they are routing all taxis there".
There are major corporations running key business software which is 30, or even 40 years old. I wouldn't be surprised if some were evening hitting 50+ with old COBOL mainframe applications.

This is one of the main reasons that corporate OS producers like Microsoft support backward compatibility that seems excessive.

You're probably right that within a given hardware platform, older software will generally be very fast on newer hardware, but if one tries to migrate platforms (e.g. mainframe emulation on Linux or Windows), that's not a safe assumption. Around 2009, I saw a team try to migrate some of those early-80s mainframe apps to an emulator, and even on high-end HP servers running Windows, performance was too poor to use a lot of it in production, because it had all been written with ridiculously high-throughput mainframe storage I/O in mind, and emulation couldn't keep up.

You may think (as I do) that those corporations should just bite the bullet and replace those old apps with something modern, but they're the ones writing the checks, so Microsoft and company give them what they want.
The Chinese government attacks websites which support a free Hong Kong.
That's why it took the engineer so long to figure it out. He wasn't expecting a "solved" problem like heat soak.
You Only Think You Want to Be Rich
There is a benefit in separating the parts that are actually just insurance that replaces low-probabily low frequency costs with a predictable payment (and thus can be efficiently provided by competing capitalist companies) with the parts that are social redistribution schemes.

The latter are necessarily the government's remit, and the political discussion on whether they are desirable can be had in an informed manner if costs are clear and they are not commingled with insurance elements.
Great site! I love playing with colour combinations, but I don't have the colour sense to be able to put together palettes myself.

On the data side, I have often (mis)used colorbrewer [0] to play with colours and see what might work well in visualizations.

[0] http://colorbrewer2.org
Juicero for water ?
The Animated Facebook Battleground Chart – UK Election 2019
Does Calorie Restriction Slow Aging?
> and isn't design about taste after all

As much as software design is about taste. So, depending on what your objective is, a lot or not at all but mostly somewhere in between.

Best practices, industry standards, the-right-tool-for-the-right-job-thinking, psychology, math, trends and, of course, personal feelings will all take part in the design decision making process.
Puddle and Pile–the app that predicts when your puppy needs to go–is amazing
I really think they've missed the boat by not bringing back a NLP version of Clippy...
Artificial Intelligence Index Report 2019 [pdf]
Hey Google+ was a great replacement for Reader. And social media hermeticism was a great replacement for Google+.
How to Build a Remote Team: Resources and Advice from Remote Companies
>Isn't it basically just matter that isn't detectable but has to exist because the known laws of nature told us it does?

> Instead some mystery goo that hides from our sight?

Maybe. We assume "dark matter" has to exists because it interacts with/creates gravity. The only thing we know that can do so is matter.

However this besides detecting gravity interactions with normal matter, this dark matter cannot be seen, not in any wavelenghts, nor does it block any light or radiation from normal matter that's behind it.

It's not like it's just a bunch of normal matter that hides in a corner we cannot see by normal means.
I understand it as that people with expert knowledge from the field, mathematicians in this case, agree with the classification of the problem on a social and cultural level.
Show HN: Pinda – multi-player minigames in pure JavaScript
Source code is at https://github.com/pinda-fun/pinda-fun/
Lubuntu 18.04 (and most other Ubuntu derivatives like Xubuntu etc.) is only supported for 3 years.
EDIT:

I am satisfied that, under the assumption that all Collatz sequences are periodic[1], they must all achieve a value less than their own initial value. (Unless that initial value is 1.)

Because the sequence is periodic[1], the ratio of (3n+1) applications to (n/2) applications must be constant[1]. This implies that the value of a term of the sequence will look like ((3^pn)k / (2^qn)), where p/q is approximately equal to the ratio of (3n+1) applications to (n/2) applications. Since no integer greater than 1 is simultaneously a power of 2 and a power of 3, this must trend toward positive infinity or toward zero as n increases. But for the sequence to increase without bound violates the assumption that it is periodic[2] -- so the terms of the sequence must instead trend toward zero.

[1] I'll use the simplifying assumption that all Collatz sequences are periodic after a prefix of 0 terms. For sequences that are periodic after a prefix of more than 0 terms, just treat them as equivalent to the same sequence with the prefix removed.

[2] A periodic sequence can take on only a finite number of values (equal to the period). But if the sequence increases without bound, it must take on an infinite number of distinct values.
There's a lot of fluff in this article but the main things for me are that strategy includes deciding what not to do, and that it's easy to mistake goals for strategies.

Maybe the best place to see this is sports. How often have you been playing a match, and at some point the coach says "we need to score a goal"? As if that's not obvious. What he needs to say is "keep a high line and only let the defenders take time to pass".
Only in mobile. I never do any serious web browsing in mobile, so...
>You can't just say "use a parser generator"

You can just give students grammar for parser generator, and a parsetree/AST. Or use Lisp (Common Lisp or Scheme) and avoid syntax whatsoever.
There is a difference between estimating a risk with exactitude and predicting with exactitude that an event will or will not happen. Suppose we can accurately say that I have an annual risk of a certain event happening to me as 1/1000 - this is neither a prediction that it will happen to me nor that it will not. If we form an insurance pool of 1000 people all with the same risk, and we each annually put in 1/1000 of the cost of the event to one person, we would have coverage against being unlucky (subject to the usual caveats of liquidity, uncertainty and changing circumstances.)
> Getting a better risk estimate doesn't get you closer to "not having insurance", but rather closer to "perfect insurance" where everyone gets a distribution that exactly matches their risk profile.

That is the same thing if you have produced a perfect risk profile. The perfect risk profile completely predicts reality, and all costs can be accounted for. If it doesn't completely predict reality, it's not perfect.

So with the perfect risk profile, insurance is a zero sum game. Instead of paying a small premium you can put your money in a bank account and instead have them pay you "a small premium" in the form of interest.

And no, I don't believe that there can ever be a perfect risk profile, but as risk assessment gets more fine grained, insurance approaches that zero sum game.
“Strategy is choosing what not to do” is the standard trope.

Start-ups sorta get this already: focus on a core base of customers who love your product despite its flaws. Iterate.

The insight I liked best in this article was, “In contrast, top executives should resist the temptation to decide what projects live and die within their firms. Strategy implementation requires top managers to design the company’s internal system that does the selection for them.”

So much your job as an exec is to design the system that gives others enough context and autonomy to flourish.

And hopefully over time that system continues to improve itself.
Awesome, thanks for the tip. Osm2pgsql looks very interesting, the docs lead me Mapnik which is pretty much what I was looking for.
Good. They almost killed my late wife and I.
While we were on board I watched the Shuttle driver force a car up onto the side walk to avoid a collision. If anyone had been standing at that corner they would have been killed. That was only one incident in a half hour ride!

In LA I found it was cheaper to have a Limo on call than use a taxi and more reliable than the ride sharing services. The Limo driver made it seem more like a tour explaining the things we drove by, unlike they others that had no interest in anything other than our $.
I knew it immediately too, but only because I'd heard this story or something very like it before. For the same reason, I might quickly figure out a problem related to janitors and vacuums, or light sensors on the inside of cabinet doors. That's probably the only correlation with being an engineer - not any systematic skill, but exposure to a certain kind of folklore.
Because unless you're deeply involved in politics or some nefarious activity, all that surveillance isn't likely to impact you immediately and directly in any noticeable way. Most of it isn't even seen by other humans. Whereas parents have direct power over their children, and they tend to pay close attention - which makes "eavesdropping" on children both a huge risk for parental abuse, and a general source of development issues, as tracked kids know their movements are watched and subject to consequences.
May I recommend http://paletton.com You can start with your base color and introduce variations above the colour wheel.
I'm no physicist, but the article says "phonons can indeed be transferred across a vacuum by invisible quantum fluctuations."

Which is not the same as "heat can be dissipated in a 'vacuum' as it is transferred to virtual particles."

spot the difference: "transferred across a vacuum" (to some other object) vs. "dissipated in a vacuum" (to nowhere).
Folks interested in compiler design: here's a list of resources I put together for building compilers - http://hexopress.com/@joe/blog/2019/04/14/awesome-compiler-r...
Very neat idea! I like the different color palettes available. You can see how a slight change in a shade can have a lot of impact.

I think the experience could be vastly improved by using CSS Variables (Custom Properties): you can update all the colors with JS in a single click (even the colors embedded in SVGs). That way, the color swap would be instant (no page reload) but you could still provide a direct sharing URL by replacing the state of the URL in the address bar.
I tried to find this movie but failed. I only found a 2009 movie by the Coen brothers. But I assume you meant a different one?
I got sucked into this problem as an undergraduate in mathematics. I similarly wanted to limit my search space and my initial work lead me down the path of prime factorization. If every prime number follows this pattern then logically every number also follows this pattern. Then you get to the hard part which is why or why not would a prime number follow this pattern. So then you go looking for the reasons why prime cycles can or cannot exist, your brain melts, and then you work on something else. Fun times though.