skysight-inc/HackerNews huggingface dataset:
It's a bit anachronistic to compare Lisp's goals from 40 years ago to current JS situation. The latter we're stuck with for political reasons, while the former really did need to overcome hardware limitations to be successful in that era.

Also with Typescript being adopted by most major JS projects, I wouldn't say that dynamic typing "won."
DAOMesh: World Wide Web for a Collaborative Economy
This "advanced AI" would need to be able to experiment in the real world, as human scientists do. This is the only way to observe the universe, and validate a theory. For example, the AI could need to build and run something devices like the Large Hadron Collider, the Hubble telescope, or a molten salt reactor, to test its hypothesis.
OpenAI’s new language AI is available to try yourself
Instead of letting companies do international business, the government creates an artificial war.

It only takes the Republican Party winning 1 election to destroy economic freedom.

My political thoughts are going to change drastically if we can resew economic conditions with China after Trump leaves office.
Going from 0 human-intelligence level pieces of software to 1 is the hardest part. Once you have 1, you can duplicate it as much as you want given resources. It can also be pointed inward to improve its own effectiveness.

Actually, there are a lot of good arguments for logistic growth. The only ones for linear or sublinear I’ve heard are not strong and mostly take as an implicit assumption “those alarmists and their exponential growth! They probably didn’t even consider that it could be a slower, more incremental growth” instead of actual fully-fledged arguments.

There’s also a meta-argument that I have yet to hear reproduced in anti-alarmist sentiments. Which case demands more attention, if it does happen? If there’s a 5% chance of the growth being exponential, how much attention should we devote to that case, where the impact is much higher than linear or sublinear growth. This is such a big deal - it’s like Pascal’s wager but with a real occurrence that I believe most would admit has at least a small chance of happening.

Apologies for any brashness coming across. I’m still figuring out how to communicate effectively about a thing I feel a lot of emotions when thinking about.
Even if the Tiobe rankings said Rust was popular, it wouldn't mean much. Their May 2019 rankings also say Apache Groovy has risen from #91 to #17 over the past 12 months, which is clearly wrong. Those rankings are being fiddled with via search engines such as Baidu.
> A lot of people get mistreated at Google (TVCs, women, people of color, trans people)

It's true that TVCs are not employees, but this different in status does not amount to mistreatment.

The groups you mention are not mistreated at Google. In fact, the company bends over backward to recruit and accommodate them. I challenge you to name one policy that disadvantages women, people of color, or trans people. These persistent claims of mistreatment are in fact cynical attempts to achieve unearned status and special protection from normal rules that govern the company.
i needed quick uwsgi handler for some http endpoints for db connection this weekend. so with some hacky ways i created this.

maybe it will be helpful for educational purposes idk.

i know there are frameworks but many of them are bulky and needs lots of dependencties sometimes. i work on payment systems where external libraries require approval from managers.

i use this to collect some reports from servers, using `dbm` module to store them.
Ive always worked at a much higher level than infra, and I used to be similarly dismissive about the difficulty of infrastructure at scale until I had some exposure to it; You'd be surprised at how much talent and effort and money goes into delivering the volume of content that YouTube does at the reliability it does. The fact that I subconsciously always pick YouTube video search results links over the alternatives has a lot to do with the fact that it's apparently difficult enough for every other entity to deliver video content reliably (with far, far lower volume).
> Nothing they do can't be done with existing cloud networks and off-the-shelf open source software, or a bit of clever coding.

Burn a lot of money on bandwidth while delivering video with minimal hiccups and impressive reliability?
Almost nobody writes assembly nowadays, but I don’t see anyone wanting it gone.

This is assembly. Don’t want to wrap it yourself, fine, don’t complain that it exists.
The internet, at least as we knew it, is dead. What we have now is a highly segemented, highly federated, highly monitored, centralized communication network. The walls and the controls around access are getting more intricate every day, we've long ago left the idea of an open network in the trash can.

It sure seems like the future is more and more walls, more and more reactionary defensive measures. Nobody seems to have any inclination to resist this trend.
I weigh 140lbs, and eat meat probably 2-3 times a week on average. I eat a regular burger probably once every 3 months or so and it usually knocks me on my ass and makes me feel an extreme level of full as well as very tired (I usually have fries and a beer at the same time). A Beyond burger with cheese and fries shocked me with how similar I felt afterwards, I had it around 7p and struggled to stay awake another 3 hours. I even had a similar feeling of still being satiated when I woke up the next morning like I get from eating a big fatty burger.
To prove that a problem is NP complete you have to reduce SAT to that problem, not that problem to SAT.

You can solve combinatorial search problems with whatever method you want, but it can be very hard to beat a SAT solver, because you may have to duplicate all the strategies, engineering, and heuristics that SAT solvers have. If your problem has special structure then it may be worth writing your own solver. Constraint satisfaction problems can often be written with high level constraints that have good constraint propagators (e.g. the alldifferent constraint).
Huawei already saw this coming; at least that's what the company signaled last march when they announced they have a 'backup OS': https://www.engadget.com/amp/2019/03/14/huawei-confirms-os/
Udoo Bolt
Programming a Large State Machine
They appear to be working hard on having it blacklisted in the UK AFAICT. BBC Click did a report and a guy from GCHQ basically said "it's not a problem" whilst there seems to be a deal of press trying to push the political angle to make it politically expedient -- I can only assume that's a propaganda attempt by USA?

I'm surprised that Huawei is such a threat to USA industry to be honest.

Perhaps Trump's team has shares in their opposition, or was trying to short them?
I wonder what the ramifications of paying are? He could now say he purchased a service, and that he got rejected was a problem with that service and demand his money back. Maybe he can get a second interview by saying he is not happy with the quality of the first interview he purchased.
What Happens When a Country Bans Abortion
Do you really believe that these people are enhancing Google's image in the eyes of the general public? You have no idea how many potential employees Google is losing due to the company having acquired a reputation as an extreme ideological environment.
The concept is socialist. You are trying a rhetoric trick by equating that to a socialist economy... That's bad faith.

The truth is that employees do not dictate the direction of the company in those countries. They have virtually no power and the system is used as a discussion platform on working conditions, pay, etc.

This is not quite the same as having employees decide what the company should produce and to whom it should sell it.
> Beef is pretty much as natural as it can come

Prions are natural as well. It was recently discovered that Alzheimer's is a double prion disorder but there's no link to meat. Also, a newly discovered prion disease, CWD is killing deer, elk and moose.
Which USA and USA based companies would never do; praise God for the USA defending us all from giving our money to their industrial opponents, right?
At what point does China just develop its own mobile OS?

There seems value in just taking the reigns, and making whatever you create open-source, so that ZTE and all the other Chinese manufacturers can use it as well.

Its certainly a major blow to the value of Huawei phones.
Right but all of that auto scaling has been essentially donated to the community in the form of google cloud platform and AWS. Now we have cloud functions / lambdas (that are capable of running ffmpeg), Kubernetes, S3, Docker, and a whole slew of things that make this task fairly trivial compared to how it was in say 2005.

There also isn't any rule saying you have to do your video conversions server side. Imagine the cost efficiency of client-side video conversion. You could probably do it in js these days or very worst case scenario have a cross platform desktop / phone client.

WASM makes this an even easier task -- with some effort you could probably compile ffmpeg to WASM and run it fully client side in the browser with no performance penalty.

If you take video conversion out of the equation, all that's left is file hosting, which is commoditized as possible these days, and the search/suggestions algorithm, which pisses people off with its accuracy anyway.
It's every company in USA, isn't it?
S3 can literally do this. There is even a "smooth video streaming" option.
The guidelines for appropriate posts is here: https://news.ycombinator.com/newsguidelines.html

"What to Submit

On-Topic: Anything that good hackers would find interesting. That includes more than hacking and startups. If you had to reduce it to a sentence, the answer might be: anything that gratifies one's intellectual curiosity.

Off-Topic: Most stories about politics, or crime, or sports, unless they're evidence of some interesting new phenomenon. Videos of pratfalls or disasters, or cute animal pictures. If they'd cover it on TV news, it's probably off-topic."
Hah, that's pretty amazing that someone put this online. I did this back at the dawn of time with my old ST, some telephone cable, and Slackware Linux running on - possibly an 8088 (or could have been a 486). Funny to see it crop up again.

Of course, no-one in their right mind would do this to run a second terminal, as the Atari ST had the worst keyboard since the ZX81.
Polymers jump through hoops on pathway to sustainable materials
You can edit your posts after you have posted them
I can't see any Chinese phone company feeling comfortable with this move. If someone sets up a viable non-US alternative to Android and the Play Store, they could jump ship en masse.
I’ve started the process:

* move google analytics to stat counter. Might consider their no cookie option.

* moved email to domain based plus zoho. Keeping web inbox zeroed so I’m not to dependent on web mail or zoho

* did a google takeout so I access to old emails of my acc gets shut down.

* Firefox/safari for home browsers

* duck duck go default SE

* ublock origin

In the other direction:

* using material design for a new side project!
From Wikipedia [1]:

> The AMD Accelerated Processing Unit (APU), formerly known

> as Fusion, is the marketing term for a series of 64-bit

> microprocessors from Advanced Micro Devices (AMD),

> designed to act as a central processing unit (CPU) and

> graphics processing unit (GPU) on a single die.

My understanding is that it has always been a CPU and GPU combined, but is some marketing wangle as you suggest. I've owned one in the past and it was generally quite fast in general use, I believe it off-loaded simple GPU related tasks to the GPU part of the APU which ultimately reduced the graphics latency.

This seems to be quite similar to the Mali GPU which can be bundled on ARM packages to handle simple graphics [2]. I believe this is how something like the Raspberry Pi can output 4k over HDMI despite not being particularly powerful.

[1] https://en.wikipedia.org/wiki/AMD_Fusion

[2] https://en.wikipedia.org/wiki/Mali_%28GPU%29
Link leads my browser to guce.advertising.com and gets blocked by ublock
Python is also really really popular these days. Maybe they haven't so much won but they've definitely become extremely significant, and they haven't lost.
That's wishful thinking. Humanity was not sure how to solve x, until it was solved. It happened all the time. For example, Gödel or Einstein work were major breakthrough, and we didn't wait AGI to solve this.

I'm not saying AGI is useless. On the contrary, I think it could be extremely useful. But we need to act very quickly to limit the negative consequences of climate change. Waiting for an hypothetical AGI would be foolish.
Back in the 90s I ran Minix on my Atari and did serious development on it as a contractor for various defense and aerospace companies.

One war story, a big name company had some image processing that needed to be done on a spacecraft. Their scientist had written some software in lisp which was incredibly slow and took 15-30 hours to process one image on a Sun workstation. I was brought in to port it to C in the hopes of improving it, as well as to add several new features. I saw that his algorithms were really bad and rewrote the entire thing using entirely different algorithms I invented myself, bringing the run time down under 10 seconds on my Atari.

I was pretty excited about this. The scientist took my algorithms and published them in a journal as his own work without crediting me. So I quit. Still pissed off about that one.
Given that there is no chipset in the way, what would stop the use of ecc if the cpu supports it? Are they electrically different?
Agreed. Black tea will never brew properly at 85° - personally I'd throw that gnat's pee away and try and get it right the second time.

As near to 100 as you can manage, which means warm the pot or mug first - though most don't. Pot with loose leaf is much preferable. Let it brew to taste.
leghemoglobin... I don't know all the reasons for its inclusion

It's in all the older news about the company and on their website -- that's what makes it look, cook, and taste like meat.
Sure. Pypy is a separate implementation, they only control CPython. That's a pretty normal arrangement - official moves on, other forks might backport fixes for longer or focus on stability or some other realm of performance or something.
Wisconsin bar owner uncovers 134-year-old circus poster
These Days, It’s Not About the Polar Bears
Well, Paul Singer, founder of Elliott Management, has donated to Trump, and Elliott has a large stake in Samsung.
There are only two games on my phone, Word with Friends and a port of the first cd-rom game I ever played: The Seventh Guest.

Most phone games I’ve tried are no more fun than a slot machine or for paid games they don’t have a demo or the demo wasn’t fun.
> Huawei Technologies Co Ltd will immediately lose access to updates to the Android operating system

Android security updates are part of AOSP [0]. The article explicitly mentions that Huawei still has access to Google’s OSS stuff. And besides, they couldn’t really block Huawei from accessing open-source stuff without making it closed-source or otherwise heavily restricted.

[0]: https://source.android.com/security/bulletin/2019-05-01
Are any of those free to use? Plaid has a free tier but it is limited. I will investigate the others.
Yes it's combined with a sauce or something - meat, tomato, cheese, etc. But then that gives you wildly different nutrition profiles. Just saying 'box of macaroni' doesn't tell you anything.
And the number of companies who care about any of those platforms are vanishingly small.

How many companies that still care about the desktop at all are going to invest resources in Windows only frameworks and not something like Electron? How many of those that are writing native Windows apps are going to use UWP instead of Win32?
Beats me why more manufacturers don't just take Lineage.
Fairbnb Wants to Be the Unproblematic Alternative to Airbnb
Personal development isn't easy, but there is no pill that can replace a healthy lifestyle.

I took the plunge into a strict, healthy diet 3 years ago and it eventually became easy.
Is the license still controllable by the US Commerce Department though? Because if so I don't think the Chinese would be interested
> has suspended business with Huawei that requires the transfer of hardware and software products except those covered by open source licenses,

Could this nudge an interesting (good/bad) development in open source?
> And if it were open...

An OS mandated by the Chinese government. That’s pretty much the opposite open in multiple ways.
Covering some portion of meat proteins to plant-based ones is going to result in a more diverse diet for most of the population.
Show HN: Tree-Sitter Support for VSCode
Its after reading articles like this you start to think about the working conditions for the people who made your childrens clothes or your latest smartphone. Somewhere there are people that knows perfectly well that these dangerous chemicals will just be dumped somewhere, but still give it away, likely for a profit.
Lol, yes the economic conditions with China previous to the current administration were oh so free. Unless you were Google or Facebook and wanted to run a website in China. Or you were a manufacturer and wanted to manufacture in China without transferring all of your IP to a state-owned JV partner.
The C128 was a great machine when it came out. Best of both worlds. True 80 columns and no hacks lol
Android phones sold in China use homebrew app stores instead of Google Play already, because of censorship.

This news, if true, will affect the devices made by Huawei and sold worldwide though.
Simple is better imo, openbsd wins.
I haven't seen anyone promote these products as healthy. I see it as more of a treat for people with ethical or environmental concerns with meat. I share these concerns so I try to cut back on meat and these products just give me more options.
the ingredient that gives it the 'meat' 'blood' taste is from genetically modified yeast furthermore, more than 40 other proteins, which are byproducts of the GMO yeast process, which make up part of the soy leghemoglobin product have never been tested on human beings and their safety has never been established. As reported by the NY times: https://www.nytimes.com/2017/08/08/business/impossible-burge...

You should not use your gut and microbiome as a petri dish. https://www.huffpost.com/entry/fda-casts-doubt-on-safety-of-... This is only the tip of the iceberg with this franken-food https://livingmaxwell.com/impossible-foods-burger-misleading...
Surely it doesn't matter if China blame Google. USA have gone after Huawei based on Huawei being Chinese, so the response of China to stop manufacturing stuff for USA companies would seem reasonable, no?

Is this a "force people to buy USA manufactured goods; but blame it on the Chinese" attempt?
Writing an OS in Rust (Second Edition)
> As I understand it, the point of reducing a problem to SAT is because there's a proof that SAT is NP-Complete which in turn would prove that your problem is NP-Complete.

That's kind of backwards: reducing any problem in NP (not just NP-complete ones) to SAT is possible and mathematically straightforward because SAT is NP-complete. You do reductions from SAT to other problems in order to show that they are NP-complete (which involves cleverness in working out how to represent propositional logic in e.g. Sudoku).
As CBD gains popularity, Washington struggles to keep up
Well you’ve got my support! This is amazing, thanks for sharing!
The fact that you are meant to specifically study for the interview unlike 99% of all other companies, so the interview to a large extent evaluates how much time you've spent willingly studying the Google interview - i.e. how much you really, really want to work specifically at Google.

It's not exactly a recipe for hiring people that are going to push back on corporate decisions.
I didn't realize it was called The Pomodoro Effect (https://en.wikipedia.org/wiki/Pomodoro_Technique) until now, and it's been the one approach to my work that's had the most success.

Cal Newport's book looks interesting, so I'll take a look at that and give it a look. Thanks!
I can already put the device out of sight. I want a tiny case because it takes up less space in whatever nook I store it in.
Lineage isn't good enough on its own. 99% of Lineage OS users also install google play services and the google play store. You need to have a replacement for all of the closed source Google APIs for app developers to use. It's a much bigger undertaking than just recompiling the base OS from source.
DecSync: Synchronize RSS, contacts, calendars, and others without a server
I have discussions with my Big3 engineer friends. They laugh and say, Rick we're going to ramp up and smoke this guy.

I tell them they don't even know what they're up against. That's because they may engineer a better electric vehicle but without the software part they'll fail.
Taking off my devil's advocate hat (horns?)... I agree. Even if we use that logic to punt some problems to AGI -- e.g. solve near-light speed travel, or space-based solar power -- we cannot afford to sit idly by while climate change destroys the planet.
> Well, for one, retaliation against labor organizing is illegal under federal law.

These people are not attempting "labor organizing". They are putting on a few of the trappings of labor organizing, like drawing up lists of demands, but without doing any of the hard work that requires actually organizing a union.

In the United States, a company's employees decide whether to form a union by holding a referendum by secret ballot. Unions then elect their representatives through a similar process.

Google's activists are not attempting to form a traditional union. They know that they are deeply unpopular and would lose any fair secret ballot election in which they were on the ballot. The activists believe that by playing pretend-union, they can gain all the influence of a real union without the accountability and risk. They're trying to have their cake and eat it too.
Dupe https://news.ycombinator.com/item?id=19954673
Why would this cause any change in open source at all? This is already the case for them in China.
Over 12,000 MongoDB Databases Deleted by Unistellar Attackers
It's not so much the GMOs but rather the chemicals they're treated with.

https://www.reuters.com/article/us-bayer-glyphosate-lawsuit-...
I don’t know if that’s really the case, given https://docs.google.com/document/d/11yHom20CrsuX8KQJXBBw04s8...

> Goals

> * The option to encrypt to SSH keys, with built-in GitHub .keys support

And lower on the page, it shows the use of built-in command-line syntax for “github:$recipientname”.

It definitely works for keys that aren’t used for SSH, but support for SSH keys seems to be a large part of the rational for the ed25519 support (otherwise it would just be a tool that operated on X25519 keys directly).
Quick question - if someone buys a Huawei phone without Play Store and Gmail, could they just download those things later? E.g. could it be done aftermarket?
The answer here confirms what you said: http://answers.google.com/answers/threadview?id=500807
Why not just have a captcha for copyright claims:

"Click the videos that also infringe on the copyright you are claiming"

If they choose the wrong ones then they don't get through.
A Journey with Pictures into Yangon's Vibrant Daily Routine
A better source thats not google amp https://www.scmp.com/tech/big-tech/article/3001685/huawei-co...
The open source version of Android is still available. Why wouldn’t that be getting updates?
Not just mobile... Huawei also makes really nice laptops and presumably MS/Intel are under the same obligation to sever relations with Huawei. Unless Huawei is going to make a huge retreat we might see a full on effort for a new OS that covers both usecases?