skysight-inc/HackerNews huggingface dataset:
Show HN: Lin – Kotlin DSL to Create Android Lint Detectors
To the many people who attempted to correct me about what portion of the reals we can use, the computable numbers are exactly that portion (or, as I said, the subset the of it we are large enough to represent). Look up "computable number". Pi, and all rational multiples of pi, are in that set, for instance.

It has many interesting properties. Among those properties is that it contains every number you could every conclusively identify, and that it is only countably infinite, meaning it is much smaller than the reals. It is useful for many things (and a good thing it is, since it is the most sophisticated set of numbers we actually get to compute with), but it is no substitute for the reals.
A talk with Intercoms' App Store Team
There's a setting I saw on Instagram about this where it will send you emails if you're inactive for too long. It's an entirely distinct setting from all other email spam. There was one setting on Instagram I would toggle, and come back two seconds later to find it retoggled, it was to suggest my account to other people to follow, I've managed to acquire like 20 follow requests from total strangers, I can't make it stop.

Something is seriously wrong with IG. I'm a programmer, this is the sorta thing if I heard from someone else I wouldn't believe, but it's fundamentally broken imho.
Facebook has a ton of dark patterns. There is always one unread message in there shitty messenger client. Except there are zero conversations because I deleted them.

And the messenger app is an incredible piece of junk, whoever did the ux with the chat heads should find a new line of work.
This is something that I've been intrigued about too. Most of the cli/text based creation tools out there focus on text based content as well. But, for many people myself included, the desire is really for a text based creation tool that focuses on image or diagram based output. Features like auto tiling (with priority) of images on a slide would be useful.

So many people end up writing what should be their presentation notes as their slide content. Personally I think you're better off with a holding image and move your content to the presenter notes section.

I've used revealjs.com and hovercraft [1] in the past but usually end up on GSuite Slides to throw things together quickly. Slides (like PowerPoint) can't do branching presentation paths though :(

[1] https://github.com/regebro/hovercraft
Not technically true. To dive into the Sun requires a much higher delta-v then to transfer to Mars. If you look at the Parker Solar Probe it is using a 7 year flightpath getting multiple gravity assists of Venus to miss by 6Gm at 200km/s.
EUR 9m in Monero Demanded in High Profile Norwegian Kidnapping Case
There is a long line of people willing to subsidize cab service. A white label app can not compete with them.

After investors decide it's a sure way to lose money, it may happen.
You can’t predict a trend from one data point or better said by xkcd...

https://xkcd.com/605/
Fascinating article. Reminds me of a sci-fi story from 1958 called "Business As Usual, During Alterations". The premise is that aliens introduce a "matter duplicator" to human civilization that can instantly duplicate any item. The relevant quote:

> This morning, we had an economy of scarcity. Tonight, we have an economy of abundance. [...] This morning, you and the lieutenant were selling standardization. Tonight, it's diversity.

With the rise of 3D printers and the availability of electronic components, etc., how long there's a wave of "artisanal technology"? I look forward to buying a smartphone from a nattily dressed gentleman with a handlebar moustache and a solder-stained apron.
Unless the user sets specific build options, or runs `brew install --build-from-source`, Homebrew installs core packages from a bottle hosted on Bintray by default.

While I agree in that building from source is somewhat at Homebrew’s core (as that’s what happens at bottle creation time), the intention is to deliver core packages to end users via bottle as often as possible.
There are no real numbers in nature, as the Heisenberg uncertainty principle means that all measurements have an error bound--i.e. are intervals.

Our mathematical tools for quantum mechanics are wave functions, with presumed real-valued quantities. Problem is, we can never feed them precise enough inputs for that to matter, since all of our measurements are interval-valued quantities.
It's not long before this will end up happening: https://www.instagram.com/birdgraveyard/?hl=en
Hiring: Distributed vs. Local
No, I'm not getting tired of seeing one of the most powerful companies in the world to face some scrutiny, given their past behaviour and non-transparent "growth" tactics (And his founder's).
Well, definitely the iPhone 5s users are not getting the same experience as the iPhone 8 user. There are hardware changes that just can't be done via a software update - so that point is moot. My point, again, was that Samsung's out of box experience has changed a lot since then, and that at present, the experience from Note 3 (from old times) shouldn't be a deciding factor of whether "Android won" or iOS (/Apple).
Repetition is in some ways emphasis. The fact that you are getting fatigued is showing that it is slowly working, and that people are slowly waking up to it.
This is probably what it was. But I can tell you, I never saw such an option in the "unsubscribing" form.
> Am I the only one experiencing “Facebook is so bad” fatigue?

Yes.
Wow economy is really bullshit, not only the Austrian arguments, but also this article authors.
I'm testing this hypothesis. I have not logged into Facebook for three months and am still getting daily emails with links to posts
This is correct. If Apple made a mistake (still a big if), it's building a phone that was simply too expensive.

The margin numbers that can be found are also for Apple as a company. Given the growth in services which should be high margin, this means the iPhones margins have been shrinking even with the price increases.
> Contempt which turns out to be grounded in "I have an esoteric priority which is different from that of the author."

Not contempt. Instead of a lukewarm indifference-couched-in-praise, I'm giving you real feedback. People should cherish that. (I know I do.)

My priority isn't esoteric, it's the priority of 99.9% of those doing slide presentations. For the vast majority of people the problem they need solved is "will this work on their junk setup I first saw five minutes ago", not graphviz integration.

> Anyway, it exports pdf.

If so, this should be point #1 on your README, in big bold letters. In reality, of course, there's caveats, and the exported PDF will mostly fail in real-world conditions.

This is not surprising: the priorities are off, the features tested aren't the ones that need testing, and so the tool isn't solving the problem that really needs to be solved.

Again, please don't take this as contempt. Best wishes and I hope you set your priorities in order.
Seth’s First, ten
I have never heard of the Starliner and the Starfighter went out of service before I was born but consider them both complained about too.
These emails really have to be dealt with in your spam filter.
As long as they force their shitty software down people's throats every day (literally what the article is about), people will keep complaining about them. Just like everyone who's forced to use Comcast complains.

In fact it's mainly abusive monopolies that tend to receive this nonstop criticism. Ordinary crappy companies go out of business because people can switch to their alternatives, then no one complains about them anymore.
you're head of the curve. by the time you're sick of hearing it, many people are starting to realize it and then even more follow.
Unsubscribing from these emails (Facebook, Twitter, idk, doesn't matter) is a chore, they make you go through lots of hoops and then they ignore the request and keep spamming you anyway. Also, by unsubscribing you're revealing to them that you are opening and reading those emails, which is something you probably don't want to disclose.

The best solution is to simply configure a filter in your email client so those emails go to the trash directly.
The World's Most Advanced Breathable-Waterproof Outerwear Technology
This article is a good time to plug LibreTaxi:

"Free and open source alternative to Uber/Lyft connecting passengers and drivers. LibreTaxi makes ridesharing affordable by getting rid of the third party between passengers and drivers. Negotiate the price before the ride is confirmed, pay cash upon arrival. 1-minute hiring for all drivers."
https://libretaxi.org/
It's extremely counter intuitive what would happen if a computer system (a Turing machine) was operating symbolically on real numbers, not floating point numbers which have vastly different properties (for example, addition is not associative there although it is commutative). We can refer to constructive logic proofs in the real number theory. There's a ton of surprising facts there, to pick two:

1. For x and y you cannot prove that x<=y or x=>y
2. Every function is continuous

Some hand-waving to see why 1. is a problem: given two numbers, x and y, as a lazily-computed infinite decimal expansion, the program that loops in parallel over the expansions and seeks the first difference (to determine which number is greater) will never terminate if x and y have identical expansions.

See this submission from two months ago:
https://news.ycombinator.com/item?id=18411935
I am tired too. I am an adult and I don't need the media, who are another scummy and immoral business by themselves, to tell me who I have to hate.
I see all this dark patters and user-unfriendly tactics as a way to deceive the market with metrics that wont matter if in the long term you lose user's trust.

It might increase the perceived value of a company to retain some users, but in the long term such tactics are damaging the company reputation, thus effectively diminishing the value of the company/product.
>The methodology of Austrian economics seems completely unscientific, I believe a part of praxeology is disregarding empirical evidence(?).

Praxeology is supposed to be an application of logic* where economic analysis is based purely on specific axioms and propositions. In other words, praxeology is supposed to be as empirical as mathematics and a decent amount of mainstream economics. IIRC, in Human Action, Mises argues Economics is like (Euclidean) geometry, echoing Kant's rationalism. I believe then in Man, Economy, and State, Rothbard argues for term logic in natural language as opposed to predicate logic represented symbolically. It's good for laymen and philosophy-fans but bad for introducing implicit assumptions (basically Krugman's criticism).

* While I think logic isn't empirical some people disagree https://en.wikipedia.org/wiki/Is_Logic_Empirical%3F
This was posted a few days ago as well, myself and others were asking...

> where is the machine learning?
Amazing. It's a shame it is still quite centralised (as far as I can tell) but definitely moving in the right direction.

Do they have a process for dealing with abusive users/drivers? E.g. if someone gets enough complaints can they get banned from the platform, or is that not possible by design?
Very impressive!

Does this only work for multi-camera devices that store both photos at once? (Such as iPhones)
See people’s faces from miles away in the 195 gigapixel photo of Shanghai
Don’t just blame Facebook. It’s the fault of everyone who buys a
product from a company whose business model is more complex than you give them money and they give you stuff. In this case, every Android phone maker except for probably Google and Google only sells around 3 million phones a year.
The point of sanctions is not necessarily to incite revolution; as duaoebg pointed out, regimes like their scapegoats, and anyways modern historical anecdotes show that popular unrest is insufficient to incite revolution if the military remains loyal to the regime e.g. Tehran summer 2009.

Rather, sanctions attempt to align financial incentives of those in power with the country issuing sanctions. It may seem (thankfully) foreign to those in the West, but in autocratic places like Russia, Iran, and China, the people who control the policy of the state are generally also the people who have large stakes in the major economic engines of the state. Given that autocrats tend to be motivated by wealth at least as much as they are motivated by power, sanctions can force autocrats to try to negotiate with sanctioning countries, wherein the autocrat tries to adopt his policy as little as possible to the sanctioning country (so as to keep a grip on power) in order to get wealth flowing again.
I have 1000s of moles and get checked once a year. I live in crippling anxiety that one they, melanoma will pop up and I won't notice early enough. So I get your fear _very_ well.

All we can do is to reduce the probability by causing less DNA damage through all the various means. Even then, pure chance can still strike because this is what life is at its core: a cumulation of (seemingly?) random chance events.
The bundled crapware is the reason I switched from Samsung to OnePlus. I've actually gone one step further and run LineageOS now.

I've been an Android user since the original Samsung Galaxy, but to be honest my next phone will probably be an iPhone.
What I really hope for is a backend for the Motorola 68000.
That way we would be able to do homebrew in Rust for the megadrive/master system, various atari and apple computer in rust :) .
I saw some work on a llvm-m68k backend but it was nowhere near ready.
It's not just FB, my Samsung S9 came preloaded with 'undeletable' Microsoft apps too. But this is nothing new, Samsung phones have came preloaded with bloat since forever.

When buying a new phone I always spend some time deleting all Samsung, Microsoft, Facebook and carrier related apps. Yes, you can delete 'undeletable' apps through ADB, without rooting the device.

pm uninstall -k --user 0 <name of package>
Google Maps is that app, but they are missing a lot of the white label services, and only have the larger regional services like Uber and Go-Jek.

https://support.google.com/maps/answer/7245278?co=GENIE.Plat...

They also do meta search against other modes too, like walking, bicycling, and public transit.
I like GitHub but you're right. Microsoft does get a lot of knowledge about my interests and work as a developer through GitHub.

In the case of GitHub, I'm (still) okay with it though, since most of the data I reveal on there is public anyways (code, organization membership, stars, ...) and the benefits (for me at least) outweigh the problem that I'm giving personal data to Microsoft.

But yeah, I rarely hear people talk about privacy on GitHub even though we should pay attention to it.
Here is the OECD report http://www.oecd.org/education/ceri/arts.htm which stresses the importance of Arts in education and benefits of arts to students (even students of non-arts subjects). They also conclude that
"The arts have been in existence since the earliest
humans, are parts of all cultures, and are a major domain of human experience,
just like science, technology, mathematics, and humanities. In that respect, they are
important in their own rights for education."

Some Universities have Arts appreciation course for non-arts students who are interested in knowing, understanding and
appreciating Art.

>just that they needn't do so on taxpayer money

May I know the rationale behind this? If I understand correctly, what you're trying to say is that letting people study these subjects on taxpayers money is a waste of public money, which I think is not true. There are people with Academic arts background who have contributed to the society. Even (for the sake of argument) if these are not economically rewarding areas of study, is it justified that the whole field of arts which has been there almost since the beginning of mankind to be not funded by the government just because the system under which we currently live doesn't find it profitable? Is it justified to deny access to an entire group of people who are interested to study Arts but they can't because they don't have the money to pursue it?.
Next time you go to Umami, you might consider asking for a portobello mushroom patty (it's not on the menu if I recall correctly). In my experience, it's better than the Impossible Burger at Umami. However, both are great.

I don't eat any kind of meat. I've eaten the Impossible on a few places, and while I find it great in most, I went to this vegan restaurant in Florida and asked for it and almost couldn't deal with. It just tasted like real meat I almost threw it away a few times before deciding to give it a chance (and mostly just because it was expensive).
Says the site with ~20-30 crapware JS trackers (12 blocked by uBlock, 23 by uMatrix). I'm not forgiving FB here, just pointing out that others are often similarly bad.
It's the old crapware too
>> They still look absolutely ridiculous. The way they hover above the nose just looks silly.

Wait until Robert Scoble gets his pair, he'll make them mainstream :)

As for making them smaller to fit in normal glasses, is there a physics limit or just waiting for things to get smaller?
The study used for this article can be found here: https://scholar.harvard.edu/lkatz/publications/understanding...

"Gig Economy" is a new label on an old practice. Take, for instance, nurse staffing in the United States. In unregulated, non-unionized states, nurses are staffed as-needed. Hospital administrators partner with nursing agencies, who manage relationships with nurses and contract short-term work. This market of nurses enables work-life flexibility and pays fairly well. Yet, the costs and risks continue to rise for nurses.
If hospital census (# of patients) is low, shifts are cancelled up to minutes before work is scheduled to begin. Further, hospital administrators have dramatically increased the burden on nurses, increasing nurse-to-patient coverage and demanded more and more of them without assistance. Staffed nurses play the role of scapegoats, too, blaming them for mistakes and shifting risk from the hospital. There are more problems and risks for staffed nurses than ever.

Yet, despite its Gig-like behavior, nurse staffing seems to elude journalists and academics. This is only one example. There are others.

Again, the gig economy isn't a new phenomenon. It's just spreading to other sectors now because of technology innovation. We must learn what works well and what doesn't, for all involved parties. Academics and journalists are thus far failing to learn what works by ignoring legacy business activities.
My saviour when forced to use a Mac recently has been Nix. Homebrew has only ever caused me pain.
Who do you expect to invest a significant amount of resources and attention to investigate and uncover things that companies do and you are not aware of?

Would you have been able to tell what VW was doing in their diesel cars without the media?
markdeck can create diagrams and charts on-the-fly (graphviz, ditaa, plantuml, a2s, Vega-lite).
And it can export the slides as PDF or as standalone HTML file.
Plus out-of-the-box auto-reloading the slides on change, emojis, font-awesome, math-jax, and some other stuff helpful when authoring slides...

But when you don't need any of the above, then markdeck in fact has no advantage over plain reveal.js and markdown.
Eradicating Memory Leaks in JavaScript
You're thinking as a programmer. I've accepted for programming I will always need a proper computer. But, as a very amateur photographer, the iPad Pro is amazing. I prefer using LR on the iPad Pro now. I also haven't had any cloud sync issues, speed or otherwise.

With that said, there are plenty of improvements needed. File handling is certainly one of them. How to get my RAWs into LR for example is a pain.

> Steve thought all features to the end.

This is simply not true. If you were lucky enough to have your use case match Steves exactly, then maybe.
In the case of IG:

https://www.howtogeek.com/wp-content/uploads/2017/11/6emails...

It's under "Reminder Emails" which most people don't disable usually cause they don't think about disabling it.
10 Minutes Tutorial for Server-Sent Events
I think that's a good example of how the whole paradigm of package management as an application distribution mechanism (at least as implemented) is really terrible. What good is all this management if I have to bypass it and everything it supposedly provides just to get up to date software, or two versions of the same software?
Happens everywhere, you can't uninstall "Xbox" nor "Xbox gaming overlay" from a Windows 10 machine, Microsoft old habits never truly die I guess.
Just to add to a sibling poster, Uber doesn’t require, but does allow you to use Apple Pay for rides. Apple Pay costs about the same as a regular credit card payment to the merchant.
I know I can clean up crapware, via adb, but on principle vote with my wallet. It's not acceptable to charge me something that rounds to a thousand euros and then fleece me for a few extra bucks.

Right now, I restrict my selection to Android One [1] phones. The current one is a Nokia 8 Sirocco.

[1] https://www.android.com/one/
What would you recommend for 2 players? (often I can only play with my SO)
Technically speaking, why would anyone wants to use brew on linux over snap or nix?
Here's my guess: This thing, which is being assembled outdoors in the elements by dudes on mobile cherry pickers and which has low enough build and finish quality to not even make to as a temporary Epcot Center exhibit, is designed to make it to some altitude, careen sideways then EXPLODE, creating a Twitter storm and news headlines.

It exists to readjust people's expectations on how difficult the project to get to Mars is, and how likely it is people are going to die, which is something than Elon has taken some glee in reiterating over time.

Edit: Look at the third picture here and tell me this is anything other that a "rocket sketch" https://www.nextbigfuture.com/2019/01/why-is-spacex-working-...
How about "data accuracy" - you are obliged to make sure that data you store are accurate and be able to prove that you've asked users to confirm that data are accurate.

How about the duty to export user data on request?

How about player consent management? Consent updates, etc.

Those are not simple thing neither to implement nor to manage, especially if someone will accuse you and you need to prove that you are compliant.
Creating a federated platform is technically quite feasible. E-mail, the Web, Usenet (before it was overrun by spam anyway), IRC... plus these days, stuff like PeerTube and Mastodon. Sure, not every one of these is "successful", but the trend is there.
The common MMT objection against UBI is that it's inflationary, that is, the state spends money (UBI) without getting anything (production) in return.

The "efficiency" of job guarantee (JG) jobs is perhaps not the best, but OTOH it's not zero either. The general idea in the JG is that it provides minimum wage jobs, functioning as a social safety net (or, JG effectively sets a minimum wage). When the economy does well, workers migrate to non-JG jobs, and vice versa in a downturn, keeping full employment at all times.

To some extent I think there's also a philosophical point here. Do we regard jobs as inherently useful, e.g. providing a social setting for peoples lives, or are most jobs "bullshit jobs" that serve no useful function whatsoever? How you answer that probably makes a difference in how you view JG vs. UBI as well.
Same here, I never bought Samsung because of their pre-installed software.

I switched to Google phones starting with Nexus 4, which at least has pre-installed apps I generally like and use.
The reason you can't uninstall the crap is that you aren't by default root. The same "root" problem exists on the iphone.
On that note, we shouldn't forget Ricardo and Marx either.