skysight-inc/HackerNews huggingface dataset:
hello.py 1-liner on Ubuntu Linux:

$ python -m pip install nuitka

$ python3.8 -m nuitka hello.py

install Nuitka with no problems and compiled "hello world", also with no problems.

It created a 4,060,104 byte hello.bin with no symbol table, so no need to run strip to make it smaller, which again worked like a breeze.

(The developers say on GutHub they will work on smarter ways to keep the dependency list small, which can at present escalate for modules like pandas that themselves have >1000 dependencies.)
I think some South American countries (Chile or Argentina) have sunk illegal Chinese fishing vessels in their waters.
Companies see Mac products as more attractive for their workforce than Linux-based workstations. Having printers, wifi, other products seemlessly work, since Apple devotes time and money ensuring that, improves productivity, generally, and lowers costs in (in terms of Helpdesk staff and time spent diagnosing and fixing systems integration). So, developers and admins make use of what's offered, as it is a middle-ground between stability and functionality.
Hong Kong police declare Apple Daily newsroom a crime scene
It honestly feels like short term thinking is dominating not only businesses, but government officials too. It boggles my mind, frankly, because of the exact things you mentioned: losing citizens, economic damage, and so forth.

Perhaps the incentives just aren’t there to think long term, for either business leaders or politicians.
Linux, Windows and MacOS aren't going anywhere. Things are working today. Not particularly well, but well enough not to engage in the massive undertaking it would be to move from one to another.

So yes, Fuchsia is likely to take off, and some small companies will move to it, but don't expect any Fortune 500 company off windows/linux in the next 20 years...
Although the other provisions in the bill mean that urban areas would be subject to the ban anyway, I do want to point out that when the article mentions "cities or towns", the Cincinnati and Cleveland metropolitan areas have a lot of neighborhoods that are independent political entities with their own city-councils, police forces, schools, etc. (I think Columbus is more just one big city.) So there can be weird quirks in local law.
I'm not sure I require proof as such. But I am more likely to give something a try if I think there is something that might help me. I know that nobody fits into the statistical mainstream for everything.
No one should be managing 7 Rasperry Pis as a server farm unless it’s for fun.

Get or build a cheap server, install ESXi or Proxmox, and run virtual machines. Perform automated backups of the server.

Once you add up all of the costs of Rasperry Pis, non-SD card storage, PoE hats (as used in this article), cases, and most of all the time spent managing this architecture, it’s not actually cheap at all.

Fine for tinkering, not practical for actual work.
I would never buy or use any hardware tied to facebook. Period.
This entire thing reads like a UltronBrowser commercial
I hope the way we surgically treat cancer by cutting it out and hoping we got enough margin will be viewed by future generations as primitive. I’m hopeful medicine will eventually advance to the point where cancers can be treated (or, fingers crossed, cured) with a pill, or perhaps even prevented altogether.
I don't know about state budget bills, but at the Federal level, the budget bill regularly gets unrelated stuff tacked on because it can't be filibustered in the Senate and there's a lot of political pressure to pass the bill.

As to fixing the underlying problem, I've been advocating for a benevolent dictatorship by a race of alien superbeings. It neatly avoids the political turmoil and will hopefully result in cheap, easy to use jetpack-based transportation.
I would never buy or use anything associated with facebook in any way. Period.
Building LightOS with React Native (2020)
I second this! I spent a few days of summer vacation in highschool slowly working my way through this and it was mind expanding.
Mac Mouse Fix: a simple way to make your mouse better
Python developers I know get their interpreter installed. This is vs people in college I know that are dabbling in Python or people starting with it on a professional setting.

I currently have over 5 different python versions installed to be able to test against them. The different software I work gets deployed to different environments and I have all those versions installed locally to test.

For end users, it doesn't matter as long as it works. The less moving pieces, the better. A bundled interpreter in the OS gives a stable platform to develop against.

The interpreter can be bundled with the application, of course. But now you have n different interpreters with their own php.ini files and their own set of things to change. Upgrading the application means overwriting those files and causing more pain when they have to figure out why something stopped working.
New commodity in the making will it change the crypto currencies way, NFTS and
Create your own world of Elementoons
It´s not just a game it´s a commodity.
Create, Collect, Trade, Battle, Buy or Sell Elementoons.

The Interactive card game that you design, play and own.

Show your creative side.

(To be or not to be an NFT? You will own it so it can be what you want it to be)
> That's why Turing / Gödel results really tell something fundamental about computing/proving; it tells everyone that they do not need to spend time solving an unsolvable problem on computers "as we know them"

Consider something like Turing's proof that the halting problem is undecidable – does that have practical relevance, even just in telling us that there is no point in trying to solve an unsolvable problem?

That's the standard line but I doubt it. The thing is, the halting problem is practically irrelevant; what has practical relevance is the bounded halting problem. Practically, you don't care about the difference between a program that never halts, and a program that halts after a googolplex steps, but that distinction is essential to the halting problem as defined. And, the practically relevant, bounded halting problem, is in fact decidable. Now, it is still intractable, because it is EXPTIME-complete, and we also know (per the time hierarchy theorem) that EXPTIME-complete problems are not in P.

So Turing's proof doesn't actually tell us anything much useful about whether the halting problem is solvable in practice, whereas the proof that the bounded halting problem is EXPTIME-complete does. Suppose (counterpossibly) that the bounded halting problem was in P instead of EXPTIME-complete; then the halting problem might actually be tractable in practice, even though Turing's proof of the unbounded halting problem's undecidability would still hold.
Yes, at least for the example of "apple" it does restrict to just books if you choose "Books" from the pulldown next to the search field: https://www.amazon.com/s?k=apple&i=stripbooks
For end users the OS can be bundled with the application, that is much more stable for everyone.
This resonates with me in a somewhat unexpected way - exposing a lack of self-confidence, or believing that any choice you make will automatically be worse. I have specific life circumstances that set that belief deep in my bones. I am working my way out of this lack of self-esteem, probably layered with some depression.
>Amazon search is rather lame. [...] Please, Amazon, verbatim matches should go first.

To see an illustration of how bad Amazon search for exact products is, here's an example.

I want the newer 2020 Milwaukee 2161-21 flashlight and not the older 2017 model 2110-21. This is the manufacturer's product page: https://www.milwaukeetool.com/Products/Lighting/Personal-Lig...

Screenshots of searches:

- amazon.com[1] search for "milwaukee 2161-21" gives the wrong item 2110-21: https://imgur.com/a/2lrHb0I

... but I can go to Google and append "amazon" to find what I want...

- google.com[2] search for "milwaukee 2161-21 amazon" : https://imgur.com/a/afpJSgF

So Google's scraping of Amazon's shopping pages returns better results than Amazon! It's ridiculous.

Lest one thinks that there's an Amazon profit motive to show an older 2017 model that deliberately doesn't match the customer's search query, I'm not sure about that. In this specific case, both products are sold by 3rd-party resellers which means Amazon gets the same 30% fee either way.

And as more trivia, both HomeDepot.com and Walmart.com return the correct result for "milwaukee 2161-21".

[1] https://www.amazon.com/s?k=milwaukee+2161-21

[2] https://www.google.com/search?q=milwaukee+2161-21+amazon
That used to be the case, but is not so much anymore: for example, Reuters filmed the launch today live. Wenchang spaceport, on China's Hawaii-equivalent island of Hainan, which you can even visit visa-free in pre-COVID times, has become a major Cape Canaveral-style space tourism destination with rocket watchers gathering for launch picnics, streaming live, etc. Today's launch was from the other major spaceport at Jiuquan though, which is the middle of nowhere deep in the Gobi Desert.

That said, the Chinese space program has deep military roots and every Chinese astronaut to date is an air force pilot, so we're not going to see NASA-style transparency anytime soon.
View source doesn't show anything that cURL doesn't, and browser inspectors are far more useful. Still, I would hate to see view source disappear.
I don't know how common this is but I live just outside of Ohio and use a small ISP based in Ohio that is a sort of spinoff from the municipal service they have.

That is to say, A municipal service exists as CompanyA and they started a private CompanyB to service people outside of the municipal service area. To the best of my knowledge it uses the same core infrastructure for both companies.

If they shutdown I will have no options in my area besides dish. It is a good product too; 400/10 with 40ms latency and very stable at a decent price.

Honestly, I would have to move to keep my job unless Starlink became available.

EDIT - I called my ISP and I am wrong. Both company A and B are private and this ruling will not impact them. While this news is still terrible, it should not impact me as directly as I had originally thought.
Not to downplay their success too much, but doing those things in the 2020s, while still expensive and difficult, is not nearly as expensive and difficult as doing them in the 1990s.

And given their propensity for stealing Western IP, would anyone be surprised to learn some of China’s progress is thanks to groundwork laid by Western space companies and agencies?
In case anyone missed it, the Actually Portable Executable is well worth a read:

https://justine.lol/ape.html

https://news.ycombinator.com/item?id=26273960
I think a crucial important first step in a discussion of the type "is X a Y or a Z" is that we have very clear definition of X, Y and Z.

Unfortunately the article isn't very clear about any of this, so then the discussion becomes a discussion about definitions. Which is useless. There's no objective definition of a term. Terms are artificial symbols designed to mean whatever we want them to mean. And they're often incredibly overloaded, or underspecified.

Also coming to a thread about the nature of reality and talking about how there's no point in discussing the nature of reality is a contradiction of your own advice.
And that works well if you have a small number of SKUs with a set weight and dimensions. Amazon has billions of SKUs.

The robotics and ML needed to be able to open a storage bin, see what items are inside, choose the one you are looking for- and only it- and then carefully pull it out without disturbing the other items, that is the problem Amazon faces with full automation.

You could reduce the number of SKUs per bin, but then you have a storage problem- there's way more SKUs than bins in a building. You could go slower, but then you have a throughput problem.

It's really, really hard. And while humans have a high opex, they're really good at that particular problem. Hands and eyes are incredible tools. Robotics is catching up though, and it's awesome, but it's not there yet.

Source: I spent many years working in Amazon Fulfillment Tech (and these opinions are my own and do not represent me speaking for the company).
They have Jazz with spatial. Apple Music on android doesn't have spatial audio support annoyingly but Tidal does if your phone supports Dolby Atmos so I've been checking out a trial of that instead.
Tell it to Tor. They are destroying every URI created, indexed, known, and used over the last 15 years on Oct 15th, https://blog.torproject.org/v2-deprecation-timeline . Because of this indieweb has refused to add tor onion service domain support for identity.
agreed, at the margin there are buyers with a virtually unlimited ability to borrow. If interest rates stay low for long enough I'd expect the majority of housing to be owned by hedge funds and investment banks.
Writing Reliable Ansible Playbooks
A16Z Launched Its Blog by Arguing Financial Speculation Is Good for Society
Whatever the cost, versus current crypto prices it must be worth the investment.
491 scams have little chance of multi-million dollar payouts.
Insights from an Inspiring Researcher Who Helped Create Covid-19 mRNA Vaccines
Robert's Rules of Order have a "motion to split" or "division of the question". The UK parliament has a similar rule. It's used for things like this.

The problem is that it makes compromises harder. It's common to say, "I am OK with your motion but it does X harm to my constituents. If you add Y to the bill I'll vote for it." That's a pretty reasonable and common way to reach a compromise, and it doesn't work if other people start splitting the question.

Adding more parties wouldn't really help. The bill still needs 50%+1 to pass. You can do that with one party, or you can assemble a coalition. But either way they're going to make compromises, and splitting a bill makes compromises harder. So US legislatures usually don't have a motion to split.

Still, the UK manages. And so do all of the organizations operating under Robert's Rules. So perhaps it would work.
I like the idea, but isn’t it best practice to rotate TLS certificates every year? Even one rotation would destroy the usefulness
In Argentina, cheap government-issued netbooks sparked a musical Renaissance
>I know Microsoft will move or even outright delete important content because chasing shiny new ideas will get somebody promoted. And so I direct people away from Microsoft

Do the other providers that you recommend in place of Microsoft have a better record of not changing/removing URIs on their website?
If they thought it was worth the $5 to do it, they would. Most people don't seem to catch onto poor grammar in the first place, it would seem.
The problem any competitor will have fighting FB is entry price -- FB is the only player right now that sells a standalone unit and that unit is one of the cheapest, if not the cheapest, headset on the market with a $300 MSRP. Everyone else is far more expensive and requires a PC with a discrete GPU (or game console, in the case of the PlayStation VR), so the total cost of entry ends up being far higher.

What Valve is doing with the Index is really cool, but they're still operating as if they're trying to sell to VR enthusiasts, while Facebook is cornering the market by trying to sell to the general public.
Even better: use OS packages. They allow listing what is installed on a host, remove it cleanly, do atomic updates, ship manuals, configuration files, systemd unit files, implement sandboxing and so on.
I got burned by a bunch of bugs in Vagrant years ago that were easy to fix, but HashiCorp just neglected the project completely. I was using multiple awful workarounds.

After that experience, they just felt like the Google of infra products, and I decided never to use them again.

I'm not sure if things have changed or not, but for something as vital as infra, I just need something that has excellent support, probably by a large company if we're being honest.
First past the post voting systems are also a problem, as you are always voting for the lesser evil.
The Ledger Co-Founder talked about their security model here: https://www.reddit.com/r/ledgerwallet/comments/4xgi2t/does_l...
One thing I wonder is why couldn’t private companies be formed to accomplish the same thing? Honest question.
Anyone here who believe they now belong to the dreaded "no room for growth" segment ? And why ?

In my case, I know it the hard way, because I drop from burnout for serveral months after starting and preferably completing such major projects. Since a few of them over the course of two decades, I feel I can't reach such an intense commitment state anymore. And haven't.
Would it be if the United States were viewed by the rest of the world as
Differential Dataflow is (and has been for ages) the name of calculating the result of a Datalog query and yielding delta-sets of the result given delta-sets of the database.

The name "differential" is not exclusive to gradients of continuous functions.
OpenGL over Vulkan driver Zink gets a performance boost
"We don't upload a private key in the device , we ask the device to generate a key pair - the private key stays onboard. Then we sign the associated public key during the manufacturing process to prove that we issued that device. This protects against attackers that would produce a clone looking like the real device but not behaving like it." - Ledger Co-Founder
I looked on MacPorts for some of the software I use, but none of it is not available there. Does it only have packages for open-source, command line applications? If so, it's not going to compete with Homebrew.
The media in most European countries do not have the resources to do independent reporting on China nor Russia, and thus relies a few usually American news outlets. I have notice how one often can find articles, where you can see on the language it has been translated line from line from an English source.
That doesn't mean that statistics aren't a useful tool for checking the strength of evidence, or building a case for a hypothesis.
(and the other piece is, I doubt the US government has the ability to easily "shut down the internet" for a day -- at least I hope they don't, although they might, they shouldn't, and if they do it shouldn't be easy or expected. Cause they would definitely use that ability for nefarious ends).
Maybe he should try writing it in Elixir instead of ActorScript?
I did a small script to go through my past tweets.
An awful lot of the links I mentionned in them DO NOT WORK anymore.
Such a pity.
Imported Autos Hit Highest Share of US Market Since GM Bankruptcy
Beijing exhibition dives into the animated world of Hayao Miyazaki
I think its typical that only one python runtime is installed in the system. What is the use case for bundling the runtime with the app?
How I became the honest broker
That’s the only reason my employer hands out MacBooks. If it stopped being something that used the same CLI tooling as our infrastructure, it would be Dells all around.
How easy is it to transition to Python/Flask from PHP for someone with limited experience in Python?
Microsoft's packages of its own software for Debian.
I hope you’re letting your representatives know that — I feel like a lot of these guys assume there’s not much cost to the decision, so why not take that lobbyist’s money? The prospect of losing good jobs in their district is a bit more noteworthy.
This has been posted a few times and never attracted more than a couple of comments, I don't know why. I found it a fascinating account and amazingly full of detail considering the start of the story was well over 40 years ago. Check out Dan Ingalls on Wikipedia; he is responsible for a great number of innovations over the years
> bizarre imprint of an interpretation of the universe by the universe

It’s an insightful idea. That my mind is both part of the universe, but also able to conceive of the universe, and beyond? Where are the real boundaries?
> It should be noted that on processors that do not support LZCNT, the instruction byte encoding is executed as BSR.

This. Boggles.
FinTech Goes Sustainable – What Is Green Finance and Green FinTech
Growing Growth Mindsets
It wasn't opening on my browser. Can you enable https by default.
Revisiting the Calibration of Modern Neural Networks
PDF: https://arxiv.org/pdf/2106.07998v1.pdf
Could it have something to do with which party supporters are gonna lose more if internet is slow? Can internet be linked in some way to poll results?
> I don't understand why only one party is looking for a solution to this problem.

Are you retarded?
I would pay $14.95 to read that in trade paperback edition.
Haven't we already been told we are past this tipping point? Is anyone seriously researching climate engineering?
I'm not even remotely a BJP supporter, as my comment history will attest to.

The union government's Covid response has been spectacularly bad, anyone who argues otherwise is a brainwashed idiot.

If INC was in government some of the more megalomaniacal screwups might have been avoided. Lockdown wouldn't have been announced just hours before it went into effect for example.

However, I don't see the overall results being much better. Be it Sanghis, Commies, Congressis or any flavour of regional satraps, I can't think of a single state government that actually did a halfway decent job.
Ironically this was linked to with the .htm extension link but it was nice to discover that the non-page specific URI also worked on this site: https://www.w3.org/Provider/Style/URI
Your mind does not conceive of the universe in any meaningful way, though. It's not as if a mind can simulate all the particles, light, and physics. What you have is closer to an encyclopedia page: a collection of facts and descriptions which are broadly true, but don't offer much in the way of specific understanding or predictive power.
It would allow them to compete to set up high quality ISPs rather than being forced to subsidize a low quality local alternative.

It’s one thing to pay a bill. It’s another thing to pay it twice.
That’s literally an Apple issue. It’s as simple as not allowing competitors to buy ads for brand names. This can easily be solved by the ad seller - Apple.
Earlier you claimed that users will just ignore safety measures, and now you say that of course they'll obey them.

> You have to trust the Signal people (maybe), you have to trust Intel and their SGX

You don't have to trust either. SGX only gets involved if you are willing to trust it in exchange for having quality-of-life features which are optional. The sort of person who never verifies Safety Numbers probably should take that deal, the sort of person who needs Safety Numbers to protect them from the Secret Police should consider carefully.

The most important thing SGX is doing for you is making guesses expensive. If your Signal PIN is a 4-digit number then SGX's expensive guesses make it impractical for an adversary to just try all the combinations, but if your Signal PIN is 12 random alphanumerics then that's too many guesses to be practical anyway even without SGX.
It’s not just you, but you are a tiny minority. You’ve expressed a sentiment that’s very popular on HN, but not among the general population. Take YouTube - a popular ad supported service with a premium tier. How many people are willing to pay to remove ads? Less than 1%. Even on HN I don’t think that number would be more than 10%.
I presume religious groups that support Republicans see internet as a source of evil.

https://www.technologyreview.com/2014/04/04/13684/how-the-in...

"the drop in religious upbringing, the increase in college-level education and the increase in Internet use—that together explain about 50 percent of the drop in religious affiliation."
> Any hypothetical "grandma" can open it up and use it immediately

Is this necessary? Would it be acceptable to say "Any hypothetical <person of a certain ethnicity> can open it up and use it immediately"?