skysight-inc/HackerNews huggingface dataset:
Not all unicodes are equal for a screen reader. The text in case is read for me as every letter is separated from the others by a unpronouncible symbol and the whole line becomes a mess. Something like the chicken language, if you are acquainted with the concept.
Something something RCS.

(It works & is genuinely quite pleasant, as long as you have friends & family who also have pixels).
Same thing on my Philips TV (Europe). It tries to make a lot of calls to *.imrworldwide.com https://better.fyi/trackers/imrworldwide.com/
> Is it also stronger than C with Frama-C?

No, and, in fact, I specifically said that C has unparalleled tooling in the formal verification space: https://news.ycombinator.com/item?id=24618856

But, 1. as much as I like formal verification and am actively involved in the space, we're talking less than 1% of C code that uses those tools (unfortunately), and 2. because Zig is so simple -- simpler even than C from a formal analysis perspective because of slices and casts -- if it ever becomes successful, I have no doubt we'll see such tools emerge.

Of course, the other 99% can't use Zig either because it's not even "out" yet. Obviously, a product that doesn't even exist yet can't replace any product that does, and no one is suggesting that Zig -- in it's current virtually nonexistent form -- is a replacement for anything, let alone for C. We're talking about what Zig could do when it exists in some production-ready form.
> You can reduce poverty by giving people money

... until you run out.
It depends. For a bigger task, can you divide it into smaller chunks? Do you have enough time to allocate a bigger block?

If the task took less than the block... hey, free time!
If you do not pay for a product, you are the product.
So what's the catch here? Copyright of the music is theirs? They listen 24/7 ?
No, it's a requirement after updating to have an icloud account in order to get past the out of the box screen.
I wish I could side with one of the parties in this case but it's too complicated, too fucked up.

Epic would be perfectly happy with a big-boy exemption for Fortnite that the "little devs" (who actually might be hurt by the 30% cut or "walled gardens") would never see. They're half owned by Tencent, which stands for everything wrong with exploitative F2P tactics and China's foot-in-the-door politics. I don't want them to win.

But Apple, of course, is clearly planning to cut off open platform development in favor of a single-store system, slowly creeping into macOS. Worse: Microsoft is learning from them and will clearly attempt to replicate any such system should they be successful, which would end up in something closer to a true monopoly.

It's kinda awful. I wish this wasn't two companies suing each other over creed but an actual investigation by a government agency for exploiting a monopoly position.
I bought a Samsung Galaxy phone and one thing I've noticed is that almost all the stock apps (Samsung Health, Samsung Music, Galaxy Store, etc.) have ads. Their apps are actually kinda nice, but the ads are a huge turn off.
I wrote a simple post on cheapest web hosting companies
This is completely off-topic but the strike-through on links had me confused for a good few minutes. I was not clicking on those because I thought the link were not valid today and hence it has strike-through.
Yeah you are assuming so many things there. Supply and demand definitely works but when you simplify out every detail you come to some bad conclusions. Giving people money will cause only specific things to raise in price. Things like houses where the supply is inelastic. Prices will rise because more people can buy by them but there are virtually only X amount. Things like food however will stay pretty steady because if there are more people competition will cause merchants to bring more food and undersell the competition.

In this examples test phase they also aren't sending everyone money. They are randomly seeding money to several households in the community, which will also influence its spending. Because this is surprise money it probably has a higher change of going into deferred payment. I am not convinced this test a good way to test something like a UBI but its not simple as lesson one. I think its a huge mistake to think you've learned everything and can holistically judge broad scale policy from just lesson one but thats just me.
Plus all your alcohol (and other) purchases are permanently logged and associated with you. Hell yeah.
More people definitely need to be aware of this; the fact that Time Machine doesn't make this super obvious to the user needs to be corrected by Apple since it would be very frustrating if you relied on it and had to discover this the hard way (as you, unfortunately, did). However, I disagree with your assessment that this is "broken". Here's my reasoning:

I think this actually works "as intended". Since keychain items serve as the root for your credentials to various services, it makes sense to protect them with two factors; in this case it's "something I know" (password) with "something I have" (device). A loss of either should render the encrypted data useless.

Local keychain is precisely that; local. It is not intended to be something that is by default transferable, as opposed to say, iCloud Keychain.

I emphasise by default because yes, a user should be allowed to easily export/backup the local keychain if they want. The fact that its a PITA and requires a workaround via AppleScripts is very frustrating. And, as I said, lack of clarity by Apple/Time Machine of this fact.
I think this question begets the question of how we even classify life that isn't based on Earth's organic chemistry. If we only have one frame of reference for "life," how can we possibly classify or even recognize another that is entirely unlike anything we've yet discovered.
it seems most trust is in arms? Correct me if i am wrong.

If so this is equivalent to hanging off a bar (the forces are in opposite direction though).

That is certainly not an easy to maintain for long. If one arm gets tired and you cant land you are in big trouble.
Also a strong wind gust might be outright deadly.
Sceptre TVs are dumb and have 4K.
That's what the book "Black Swan" by Nasem Taleb recommends as well. Basically, he says that if you're working on something that working on things that depend on a huge scale, they also require a huge amount of luck for it to work out, compared to to thinks that don't require scale, which are more likely to be succesful based on the amount of work put in. There's a smaller opportunity for large reward, but a larger chance of getting any reward period.
It is not helpful. There are too many variables in practice.
Trivial example: milk -- different effect depending on genes.
PostgreSQL at Scale: Saving Space (Basically) for Free
To ask you the same question, restated, that the judge asked Epic, which they had no answer for: if Apple wasn't a monopoly before, but they're a monopoly now, when did they become a monopoly?
I did. It was just a suggestion for OP to make his blog accessible via HTTPS.
You don't know what a walled garden is. A walled garden, or closed platform, is a platform that prevents you from going outside the ecosystem, or platform, in order to use it's features.

To continue the supermarket comparison, it would be like a system where you buy pots and pans and a stove and what not from Whole Foods, but you can only use food you purchased from Whole Foods, and anyone wanting to sell you food would have to sell it through Whole Foods.
You only need:

moov [moof mdat]+

This allows you to build a never-ending fragmented mp4. This isn't a new technique. It's been around and used for livestreaming for years.
I don't write much but tried my best to keep the copy easy to understand and short.
"Top" seems pretty arbitrary it seems. Reminds me of people who call iPhone a Top phone despite lacking features and quality.

Price != performance
The field of Political Science does not treat nationalism as inherently bad, nor does it use "nationalism" and "ethnic nationalism" interchangeably. There are a million real-life examples of even ethnic nationalism that people generally consider good.
So as soon as I use a PS4 to do something other than play video games, Sony should be forced to abandon their current business model? Seems like a shaky distinction to me. “General purpose computer” is an opinion, nothing more.
Auth0 Internal Dev Tools: Unleashing Engineering Potential
Helping engineers stay focused on building features that solve the hard problems of identity for customers.
This reminds me of one of my favorite quotes for understanding business and the modern world in general:

"It is difficult to get a man to understand something when his salary depends upon his not understanding it."

—Upton Sinclair

https://en.wikiquote.org/wiki/Upton_Sinclair
You can get books from my local library that can lead towards getting a license in hvac.

Without a license, you can learn to safely change capacitors, contactors, 24v transformers, and thermostats.
Maybe not in the Android case, but in the iPhone case, it is pretty much true and there are clear ways to deal with the variances in capabilities between iPhone models. It's a much more predictable platform than for PCs or even Macs.
> That's not true. They still have the power to restrict a third party store whenever they want without any immediate repercussions.

That's true even today - you can install whatever the hell you want on an Android device by merely toggling a button. You can even root it and go further - much easier for Pixels - sure some apps will refuse to work on rooted devices but that's hardly Google's fault.

What are you trying to demand here - complete anarchy like PCs? I am not sure that's a good thing.
This sums up every Quanta Magazine post I've ever seen.
The core problem is that the companies that make these things are not being controlled by good regulation.

200 years ago it was probably legal for a food company to put a bit of cocaine in the food to make it more addictive. Nowadays I think you would go to jail for that.

Similarly, if we ever make it to the year 2220, the act of making a product that forces users to view certain content or that spies on users will be something you go to jail for, not something that gets you a promotion.

All the technical fixes that people are proposing (disconnect internet, pi hole, etc) are bandaid solutions and eventually the companies will bother to break those fixes. The company is a million times more powerful than any given individual and individuals are uncoordinated, so absent regulation the individuals will maximally lose the game - Black-Mirror-esque
Starkly, incredibly small.
Python has the advantage that it is easier to control the level of indentation by breaking things out into functions without compromising the readability of the code.

YAML sort of allows you to do the same using anchors but I find it doesn't help readability as much and sometimes hinders it. I think this might be because in yaml you are describing a data structure and it's far easier to understand that data structure if you can see the whole thing at once.

In python you are describing code and for some reason in my head functions as an abstraction in code make it more not less readable.
Same thing here, but not for lack of competence. I was working on a project for a data logging system. A customer requested a special daily report feature for one of their projects. The team lead took the feature and that was that. A year later he took some vacation that would take him away from cell service and he had to level with me. The feature was implemented by him logging in as close to 9 pm as possible and sending an email. There were a lot of tricky cases and he thought the project would only run a few months.
My impression is that GiveDirectly has studied this topic and reached the opposite conclusion. Can you post your sources.
It definitely can parse anything, the code that is required to make such a parser might be a bit unreadable but look up somewhere in this thread there is a twitter link to a github project of a generic json parser. Typescript 4.1 isn't event released yet, once it is there will be a dozen of projects like this.

If you think this is useless because it doesn't generate any code then I'm assuming you're not familiar with typescript because type level libraries isn't supposed to do do that anyway. There are already libraries that generate open api client and graphql client but they generate type definition via an extra build step which libraries like this can eliminate.

And this typescript feature was made to parse strings so no this is not "bending the compiler"
Also Coastal Karnataka and I guess Kerala as well.
there used be a site called boredbanker.com
I usually ask clients to send over sensitive passwords and keys via iMsg if possible.

If that's not possible I use

https://1time.app

It encrypts and gives you a cut and paste URL/pass to view, it also times out after a specified time.

and ask client to send user/password separately, and not to include any identifying information as to what service it's for.
The word "Beamer" is a German word that isn't really used (in that context) in any other language. Same as with "Handy" for smartphones.
Unsolicited advertising should be banned.
> Smartphone/tablet OSs are logical successors to the laptop/desktop OSs we have not game consoles.

I think that's a case a person could make in a court of law, but there are also compelling cases for "It's more like a console than not" and for "It's its own thing, a separate category of computing device, which should be beholden to a separate set of rules."

The App Store was one of the value-adds Apple brought to the smartphone ecosystem. In a system of heterogeneous methods to put apps on phones (if the app suite was configurable at all and not pre-loaded onto the device), Apple provided a system where they would do quality curation of the apps that were loaded on the device they made and a clean, obvious method to track the apps a person wanted on their device and install them. No complex configuration, no different-installers-for-different-apps, none of that PC-ecosystem nonsense. Along with the iPhone API (that erred on the side of performance over flexibility), it brought a strong product to market.

It's possible what is offered now isn't the same thing, but I think a case could be made by a competent lawyer that the store is part of the entire product offering and makes for a better consumer product, which is what US antitrust law often hinges on (consumer harm).
I think they're talking about the blog itself not being configured to use HTTPS. I had to add an exception in my HTTPS everywhere extension to read the article.
Such tricks are aimed at the same sort of people who are the target for the badly-spelled-and-grammaticized text in 419 scam emails. Such people don’t tend to have a very good sense of the “formal etiquette of computer software vendors”, so to speak—they don’t know to expect that a system will be guaranteed to follow certain unchanging stylistic conventions.

To such users, an OS desktop is an unpredictable thing. Their (live) wallpaper and (dynamic) lock-screen background change out from under them at random. Their theme changes between Light and Dark (and they haven’t yet noticed the concordance with the time of day.) The Google Doodle changes without a seeming pattern (and they’ve never clicked on it to find out why.) Every once in a while, an app updates and looks entirely different after a restart. New application shortcuts appear seemingly at random on their desktop. Whenever their nephew “fixes” their computer, most of those disappear, and many other features get changed as well. Was it something the nephew did? Or were those just temporary, and disappear if you restart the computer? Or were they viruses?

Why would such a user even be surprised if, one day, the computer decided to change everything about their desktop out from under them while they were in the middle of watching a video? Par for the course. Computers are unpredictable.

—————

But also, it’s pretty easy to make the “desktop” part of the desktop irrelevant. The goal here is to re-invoke the concept that the user is looking at their OS chrome (i.e. “windowed mode”, rather than “fullscreen mode”); not that they’re looking at their desktop specifically.

So, in the video, just display a maximized Chrome window showing YouTube navigated to the innocuous “bait” video that was previously playing up to that point, as if the video had been first navigated to and then de-fullscreened. And then, show the pop-up window on top of that maximized Chrome window.

The only thing the video’s author needs to get right, at that point, are 1. Chrome’s window decorations, and 2. the taskbar.

(It doesn’t matter if the user isn’t using Chrome; even I, as a power-user, wouldn’t find it strange to find that something I had done had managed to install Chrome and force it to open a URL. Happens on Windows with things accidentally opening in Edge all the time. And lots of programs have dark-pattern installers that try to install Chrome for you; especially those of other Google products, e.g. Google Earth, Google Drive, etc.)
Dual-flush toilets 'wasting more water than they save'
Trump cuts aid for pro-democracy groups in Belarus, Hong Kong and Iran
Interesting title. I would argue the level design is better than DOOM as well.
You might be able to avoid a central database of biometric data, but who is going to certify the accuracy of these biometric authentication devices?

Presumably if a manufacturer made a device that didn't actually bother checking the fingerprint, the systems that integrate with these devices would have to refuse to accept claims from it.
My "smart" TV takes a good seven or eight seconds to recognise that I'm madly trying to turn the volume down after turning the TV on because the last thing the kids watched was so quiet they had to turn the volume way up.

Volume controls used to be instantaneous. Why the degradation of user experience alongside incredible progress in technology?
s/games/software and this could be a quote from 5 years ago about how nice it is to develop for iOS because of its uniform hardware and how long Apple supports their devices.

We can go back and forth naming differences between phones and consoles: phones are smaller and have cellular chips, consoles are usually connected to TVs -- but if you can't say why a difference is so fundamental that they should be treated as entirely different classes of things then it doesn't matter.
What Do Human Beings Need?: Rethinking Technology and the Good Society
Haha yeah, I've been procrastinating for the last 5 years now
I have to imagine that in most businesses and startups alike, at least those that survive, it's relatively common knowledge at this point that intelligence is not the critical determinant of a success. It's important if not necessary to be smart, but I think it's pretty ubiquitously agreed upon (especially by the firm this forum stems from) that just having smart people will never [1] make a business successful.

[1] never taken loosely, of course. There's certainly still some business models out there (small quant shops come to mind) that thrive mainly through intelligence.
Many of these universities would state the point: university education enriches the mind, introducing students to a broad range of topics, perspectives, and readings that were pivotal to human history and human civilization. For example, at UChicago, the Core Curriculum has most of the students reading Das Kapital by Marx, a text with profound implications for the history of the 20th century.

I'm agnostic about the value of this: on the one hand, we need informed citizenry who can dissect media and think critically. On the other hand, we need practical skills and we don't need a massively indebted younger generation.

The DIRE push for undergraduate education in many K-12 schools has probably undervalued solid vocational training. What does it say that I'm now into woodworking and making things, but in my entire 22 year education, no one ever showed me how to use a single power tool.
true, haven't thought this through apparently ^^
XML is in a totally different category than JSON: it's a tool to craft formal languages. A data format or a config is also a language of sorts, so it can do that as well, but it's real purpose are languages in general. XML languages are what is left of a language if you omit parsing and start with AST.

Configs and data formats normally don't require all the benefits of a language (e.g. composability), but other things do, e.g. UI systems.
I'm one of the owners. I'm never buying a samsung anything again.
Why don’t my Time Machine backups count as something I have?

Why should that only be the behavior for the Local Items keychain and not also the Login keychain? From the user’s perspective, what’s the meaningful difference between the two?
If Microsoft wants to start doing that in their app store, I don't see why they couldn't. But they'd be competing with all the other app stores available for buying PC software (as well as physical stores selling physical media).

But Microsoft doesn't make hardware that's the only target for their desktop OS, so they don't have the market lock-in Apple does, nor could they claim the app store and the hardware they don't make are part of the same product for PCs running Windows.

In contrast? They already do this for the XBox Live store, where they are the sole online distribution channel for software running on the console they manufacture.
offer something that is privacy-first analytics ought to be a pixel embed. Why would I trust an external js source that could change introduce security risk?
in what world is removing poison to an acceptable level unreasonable? If the process is complicated and convoluted, but people don't die, then that seems reasonable to me.

I don't really follow this line of thinking.
What strike-through?
Thanks for the comments. I have actually tried many different public symbolic regression packages before developing TuringBot, and the general conclusion is that while they do find some formulas, those formulas are rather awkward and not really comparable to those found by Eureqa. And TuringBot is both faster than Eureqa and also capable of finding solutions that it cannot find, due to the different algorithm used.

Can you elaborate on why the post on neural networks is "embarrassing"? That neural networks perform poorly on simple problems despite being universal approximators is a well known fact, see for instance (and many others) https://stackoverflow.com/questions/46995209/neural-network-...
Depends. Some devices just want an IP.
Did they include Sceptre TVs? They make dumb 4K TVs.
It looks like a paraglider requires a minimum of 30 yards of runway to take off and land (assuming there's nothing obstructing it at the end of those 30 yards, like trees), with some pilots suggesting 150 yards without tall trees to safely take off. I could see that being an issue in a lot of areas, especially mountainous areas where flat areas are only in the valley.

That said, I don't have any personal experience with paragliders, so perhaps there are VTOL options?
Show HN: Saturated ASCII Text, the unknown markup language
If people buy it than yes.

People said same things about iPhone and tablets.

Now those have their markets. So only future will tell (though I am not seeing this stick mainly due to price).
If Steam, Apple, Google, any of them made a physical cartridge of a developer's games for them, that would seem a lot more reasonable a fee.
You have never seen someone do good work, visibly, and be promoted for it?
In my observation most species of jackfruit are 10-30 KG around here (in Southern India) and wikipedia confirms this.

Not saying it is harmless though. Jackfruit trees are pretty tall around here.
It’s not. V8 is incredibly fast, sometimes within 50% of C perf. This is probably on par with Ruby and other script runtimes.