skysight-inc/HackerNews huggingface dataset:
- Maybe there is a component of RLSL that could be useful. I have to think more about what I want that component to be.

- I want Emu to support general Rust code but still use stable Rust and provide really nice compile-time errors. Maybe Emu could do AST-level checking to (1) ensure that only legal transpilable-to-SPIR-V subset is used, (2) infer the kernel parameters, (3) infer global work size, local work size and then do MIR-level compilation to OpenCL or SPIR-V?

- At the moment, I want to focus on AST-level compilation because I think many applications (AI, ML, simulations, etc.) can still technically be implemented without a huge subset of Rust.
So if a program causes a crash it’s state will be saved and upon next boot it will cause a crash. What could go wrong? Perhaps state is better left at the data level rather than in memory
Neat. Didn't know Patagonia had that. Though, truth be told, the Patagonia clothing I could potentially buy used probably lasts me so long that I don't really need any more.
you're right. we should get rid of artists and actors and musicians and everyone should just learn python.
Farming could be absorber of carbon by 2050, says report
>When combined with the free speech principle it animates arguments for allowing free speech on Facebook and throughout the Internet, while simultaneously also fueling arguments for breaking up the company and decentralizing its functionality in the "users have a right to privacy and should own their data" sense. In that sense it's like the motives that produced the Apollo missions, and a politican who approached it that way, as a "defense of our digital property rights requires the investment of our brightest minds" kind of issue would probably be very successful.

People have a tendency to conflate Facebook's privacy lapses with the calls for antitrust action.

GDPR isn't meant to punish big tech companies like Google or Facebook, it's literally meant to protect individuals' privacy. That's it. It's not a Rube Goldberg machine to punish Facebook or address competition concerns. GDPR isn't even limited to the tech industry, it applies to every industry.

Governments already have antitrust laws to deal with monopoly power. The reason the calls for antitrust action are heating up is because of actual anti-competitive behavior. Antitrust also has nothing to do with free speech no matter what opportunistic politicians say to conflate them. The First Amendment protects private corporations to make any moderation decision they want. Section 230 lets them do it while also immunizing them from any liability.
UBI isn't a redistribution scheme, it's meant to be that everyone gets money, regardless of need. Obviously if a government takes away $1000 and "gives" you $100 back, that's no different from your perspective to no UBI and slightly lower taxes.

UBI as suggested can't possibly ever work without being massively inflationary. It is indeed economic nonsense.
Why is this a headline? This is a title for a research paper. A headline would be "We have reason to believe 5G is unsafe." Until then this is could just be viewed as lobbying, if I were the cynical type.
It seems clear they want to remove the disincentive for drivers to simply not work when higher pricing multipliers are not in effect (which they have the right to do if they are ostensibly independent contractors).
I never consented to Equifax storing my information, or selling it to others. Why are the executives not in jail?
Men already had that in the past, the suit. Up until the first war clothing was expensive to make so generally men had only one or two suits and they would wear them every day, and repair them as they wore down. Shirts were, to an extent, a step above underwear. Men would spice up the same suit every day with different ties, pocket handkerchiefs, and other small accessories, all of which were generally more affordable than an entire suit.

These days suits appear to be worn less often, mostly in business environments, very formal life events, and by fashion enthusiasts. But ironically, maybe one of the greenest ways to dress (for men) is to get a secondhand suit or two from a thrift store, in a natural material like wool or linen, have a tailor or dry cleaner alter it into a stylish cut that fits your body, and wear it every day. They can be altered to fit literally anybody in a flattering way, different materials can be either warm or surprisingly cool to suit your climate, and there's so much more to suits than the depressing shiny blue/black polyester business suit we all picture these days.

Want to be green and look great? Drop the Patagonia fleece and cotton t-shirt swag from last week's startup, and buy a used suit in a nice natural material!
Maybe I'm biased, but in the last days there were plenty of Show HNs about social networks:

https://news.ycombinator.com/item?id=21252544

https://news.ycombinator.com/item?id=21241476

https://news.ycombinator.com/item?id=21224211

https://news.ycombinator.com/item?id=21312318
Unless you are in Manhattan, very few places in the US are that easy to hail a cab.
They did not fine him right off the bat, there was some back and forth where, possibly because of a language issue, they got the impression that he was asserting himself as a licensed engineer. That's bad in nearly every jurisdiction in most places in the world.
The question this headline poses implies that we should tolerate the existence of tech monopolies, and this is a premise we should question -- or summarily dismiss.

Instead of merely taxing monopolies, we should be cutting them apart. It's one thing to have your own business. You have no business trying to have your own empire while still claiming to be a citizen of the United States. If your business is capable of dictating terms to democratically elected officials, then your business is indeed an empire and thus inimical to the democratic republic some of us in the US still care enough to try to maintain.

Your private empire should therefore be broken up, because money is like power. No individual should have too much of either, lest they yield to the temptation to set themselves above and apart from everybody else.
Saudi Aramco is owned by the Saudi government. The Saudis have repeatedly been a pain in the ass to the US including the embargo, long before Prince Bonesaw and the savage murder he orchestrated.
It was recently cheaper for me to buy an over-the-counter medication through Amazon Prime Now than it was to buy it at an actual drug store in SF. It was like a $5 difference after tax and tip.

I was initially going to buy it on the way home, but I was so annoyed by how much it cost in store that I refused to buy it, even though the difference wasn't significant.
either Patagonia or The Gap (maybe both) did an environmental impact analysis in the late '90's and were surprised to discover that cotton had the biggest negative impact. I don't recall the exact reason or numbers but it sounds like someone needs to do another analysis on total cost of production for each material.
Richmond has entire malls where you will not find any English language. I do not believe that is the case in Cupertino. Also, Canada's approach to multiculturalism allows this to flourish, whereas America's "melting pot" almost makes minority heritage a quiet shame. Even though the US Census says Cupertino is "66% Asian" I just don't think it is at all the same as Richmond, which has large areas that really feel like you're in a Chinese city.
One major taxi company there has their own app, with dispatch and taxi tracking.
https://www.mearstransportation.com/mears-apps/
I'm sorry. Perhaps you should legalize a sport that purposely kills people. Tell me how that works out for you. And for the record, I don't care for football or hockey. They can both wither on the vine for all I care.
I have a directory named “mystuff” that’s gitignored globally, in every repository I work on. This is where I store commands, snippets, scripts, ideas, meeting notes etc. To organize things I find on the web, I simply use bookmark folders in the browser.

In our company we use both github wiki and google drive to share knowledge.
When your link is bargain basement C* "good luck" peering, it can be super cheap and honestly will likely get everything most users need.

When you care about packet level SLOs... yeah, you start to shop around.
Maybe the problem is job hopping. I got 5 weeks after being with the employer for a decade. I might be close to getting 6 weeks.
New tool gives researchers a better look at online anonymous marketplaces
This logic is all well in good if people are actually pushing for that living wage. In reality though it seems like a lot of people who don't tip are just being cheap and are are taking advantage of the fact that part of these people's pay comes from tips and are using that to basically get cheaper labor.

People who refuse to tip out of "principle" but also refuse to do anything to change the existing situation are just as guilty of exploiting workers as the employees who rely on tips are.
JPM's Jamie Dimon talks about his cloud strategy on the most recent shareholders letter, page 34.
(https://www.jpmorganchase.com/corporate/investor-relations/d...)

Note that he leaves open the option for both public and private cloud.
That doesn't appear to be true, Duryea and Benz vehicles (ICE burning petrol/gasoline in the late 1800s) appear to have replaced bicycles and horse-drawn carriages and acted as functional means of transportation, rather than "toys".

Earlier electric and hydrogen powered vehicles I've seen appear similarly to have been created as functional replacements for horse-drawn vehicles.

Maybe you could expand your comment to demonstrate your point?
Thanks for the clarification on both points.

You've changed my mind a bit about the update capability - I suppose any wireless protocol necessitates a software update capability because it's exploitable remotely (e.g. from outside the house), and you'll never get it bug or vulnerability free the first time.

But this then calls into question the utility of consumer-level IoT as a whole. It's nice to be able to operate devices remotely from wherever you are, but this immediately creates a very large category of problems.

> Competition would prove out which model is best, though, so no need to think too hard about it.

Unfortunately, I'm not convinced of that, for several reasons. Information asymmetry - non-tech consumers can't evaluate these products, so vendors designing bad products have competitive advantage. Thanks to recurring revenue, service-backed devices can be at much lower price points than their service-independent counterparts, and most customers are very price-sensitive. Add in surveillance and data mining, and the price can be lowered even further. User-hostile business models have a distinct competitive advantage, because they offer immediate benefits but the costs are deferred. Therefore, I don't think competition alone is going to solve it.
I'd guess fibre channel, to connect the blade servers to storage, like a SAN.
> every other byte of data striped across

I assume you didn't mean that literally because I can't see how that will ever work out in terms of cpu cost. I think breaking it up into blocks like what RAID4/5/6 would be better but will still impact the performance of reads.

The performance of writes is going to be worse. Not because of the parity calculation but because you will be taking the max latency over all the cloud providers.

I can't see people trading off that much performance for better fault tolerance (in a world where S3 guarantees 11 nines) or ease of switching.
I have a question for those who were there at the very beginning of the internet. I heard that many were skeptical about both personal computers and the internet.. did it feel the same as it does right now with crypto-currency/quantum-computing? I wasn't there, but on my side, it feels like people were able to use internet right from the beginning, whereas there's a bigger leap to using crypto/quantum. Is it just that the infrastructure isn't in place to allow normal people to do easy things?
Ask HN: Pain-points in your current dev editor/IDE
What is it with your current dev setup ops (editor/IDE and workflow) that is an absolute pain. And how much time/money would you be willing to spend in order to fix it?

Personally I just code myself out of every problem, I have for example made my own editor/IDE, but my problem is that I love working on my editor more then other stuff. So I'm checking if it would be possible to make it into a business. Or is every developer like me that they make their own pain go away.
By this test, is Lego the next big thing?
If you're a man you can immediately stop contributing to this by opting out of fashion and buying high quality garments that will last you a decade or more. Buy handmade shoes that are worth resoling. Buy shirts and only wash them when necessary. Stop wearing printed t-shirts that degrade quickly. Don't wash your trousers.
Something like that has been tried before, using a timer display. It was pretty disastrous because people accelerated to beat the red. I think this was in China, so perhaps in other countries it might work better if the driving culture was more cautious.

Timers on the red seem to work well though, giving people advance waning to prepare to go, get in gear etc. There is one near me that seems to help get the traffic moving through faster when the lights change.
As someone now living in Switzerland, I've found it largely futile trying to explain anything about Switzerland to most non-Europeans. For starters, no one seems to bother with what countries are in the EU, let alone the EEA, let alone where Switzerland is in all of this. Apparently "everyone in Europe" has free government-paid healthcare and never has to pay for any medical expenses. I could go on...
Fibre Channel, I think: https://en.m.wikipedia.org/wiki/Fibre_Channel
>- We haven't used that machine since that exploit was made public.

So what? You were exploited before kayako patched this bug, it was glaringly obvious to anyone who ever looked at the cookies set by your site.

>- We were never exploited.

This simply isn't true, either you're misinformed or lying.

>- The specific machine was a backup helpdesk test server without any real user data.

The specific machine (Which you took down really fast after I pointed it out! :P) I linked probably did not even exist in 2015, I was talking about your prod env.

I don't have a horse in this race, there's no incentive for me to lie about this. I know what you are saying isn't true.
Giving Robots a Faster Grasp
I thought a big issue with Uber was sexism in their corporate offices?
Great, you want one password, use one password and two-factor authentication.

TANSTAAFL
I recently started running more Google Cloud VMs in the UK instead of the US. It was costing me £2 a day to run the VMs, but somehow I also paid £12 a day for "GCP Storage egress between NA and EU”.

Turns out that by default Google's Docker container registry only stores the Docker images in the US. So each time I launched a VM the Docker image was downloaded from the US. I wrote more about it here: https://www.mattzeunert.com/2019/10/13/reducing-docker-image...

The billing interface didn't show that the Cloud Storage cost was related to the Docker images. I was investigating my normal Cloud Storage use, but it didn't explain why I was being charged so much. Only after a few days did I get the idea that it might be the Docker images that were causing it.
Yes to both.

Doesn't 'fundamental' often span a wide range, from bottom-up to top-down? Surely CS fundamentals lie not only at the bottom (e.g. assembly language or discrete math or algorithms), but also at the top (e.g. programming concepts or software design and engineering)? Where would an education in CS be without at least an introduction to high-level concepts like object orientation or computational complexity?

And yes, I think Shakespeare is fundamental to the study of English. If the omission of any set of works would have the degree of cultural impact and leave so great a void as overlooking his would, then it qualifies as essential canon, and thereby fundamental.
Dealing with the Startup Police
The Los Angeles Fire Department Wants More Drones
Right, when I was first exploring alternatives to Javascript was around the time Elm was removing first class FFI's in favor of ports and it was the primary reason I chose not to use it.

But the poster I responded to was saying that Elm made considerations about the wider web that none of the ML family languages had and I was hoping to find out what those might be since I'm not aware of any non-language advantages of Elm over ReasonML.
What did you order to have that many problems? I've never had any of the issues you've mentioned.
Show HN: Computer Engineering for Babies
I had an uncle who was color blind, as in fully color blind. When I was a kid I asked him how he could drive not knowing if he should stop or not.

What he said to me was "Green is on top, yellow is in the middle, red is on bottom." It's such a simple answer that I was amazed I hadn't thought of it.
I'll counter your anecdotes:

I've never had a defective or counterfeit order in more than 100+ orders on Amazon of electronics, household items, or foodstuffs. And yes, I've checked.

How do you avoid counterfeits, etc on Amazon?

Simple: never buy from a seller that isn't Amazon.com. They don't commingle their own inventory with third party sellers. Commingling is merely a "feature" they offer to other sellers.

They maintain their inventory separately for product liability law reasons. In a nutshell, if they don't under most US product liability laws, Amazon is strictly liable for all damages related to the use (including potentially misuse) of a defective product they sold.
Would nice to see this note appearing more often in every second post about China.
I recommend authors and public figures to decide on their own official Chinese names. Unless a well-known person declares his or her Chinese name, Chinese reporters have to make one up or see how others transliterate it. The Chinese language is full of homophones; thus, there are literally thousands of ways an alphabetical name can be converted into Chinese. Unlike most other languages, Chinese has no standard way to translate names.

There is no one central authority in regard to Chinese names. Reporters in China, Hong Kong, or Taiwan — each of these regions is its own trademark jurisdiction — often have their own ideas. This results in multiple Chinese names for the same person, each with its own meanings and connotations that often are not the best.
It didn’t hold up because, while it does sound catchy and nice, the assertion is wrong.

And it’s wrong not because of the “toy” part but because of the “next big thing” part.

There is absolutely no guarantee of a ”next”, a ”big” or “a thing“ coming, regardless of origin.

A different future is not inevitable, at best it’s a toss up. This last decade went for inertia. Next one? Who knows...
> Spotify's audio didn't use to be all that great, except with the normalization turned off. Now with their 'quiet' normalization option, that doesn't compress quiet tracks (a clear edge over Apple Music), it's starting to sound transparent to me, as -q 9 encoded (~320 kbps) Vorbis should.

What annoys me is they're mixing together two features (namely normalization and dynamic range compression) and putting them behind one toggle.

I want normalization, it's hugely annoying playing music on my PS4 because the Spotify client doesn't have it there and I constantly have tot tweak the volume.

I do not want compression.

But on my phone and computer I have to use their 'normal' normalization level and take the compression because 'quiet' means I am constantly turning up my sound level when listening to Spotify and turning it back down when I do anything else so my ears don't get blasted.
Startpage and System1 Abuse Your Privacy Under the Guise of Privacy One Group
Probably the thing that concerns me the most here: If it is as described... turning it off and then back on again probably won't fix whatever it's doing wrong. :/

I'm very curious what troubleshooting a system like this would look like.
no prices. don't underestimate the bandwidth of a fully loaded tractor trailer, 21st century style
What a cool thread, I mean it.

I don't know how to organize wiki-like things for teams, but here are my two cents for the topic of personal knowledge bases.

First of all, regardless of software, I prefer less structured and less constrained approaches so that it doesn’t take too much time and effort to add things to my knowledge base. I try to minimize the total number of entities (lists, files, notes) and to avoid folders at all. Usually I achieve this by using tags.

Secondly, I am still in a search of a perfect approach, but here is one thing where I succeeded to some extent, namely collections of homogeneous items. I use AirTable for that, but one can use Notion. For example, here is a list of software, I started it several months ago: https://airtable.com/shr8Wd96FurJmiTLs/tbl0n17xFuXrs0kMS?blo... I have a similar list for scientific papers that I read. And I started two more lists for other things. It is important that 1) the number of lists is low (I have 4 now) 2) the lists have simple structure 3) I can always download them as csv and do whatever I want.

As for the rest, I use markdown notes (I edit them with https://typora.io) stored in a dropbox-like cloud for ideas-like stuff. I use Google Keep for super-simple lists and I also have there a temporary note that serves as a buffer for sudden thoughts and ideas, from where I move them later to more appropriate place. I use https://todoist.com for my tasks, they are not organized very well (because no tags in the free plan), but the app is really nice and the number of tasks is not that great, so for now this works fine :)
Thanks for the links, I’ll have a look.

If you remove the “murder” part from terrorist you basically just have a disgruntled crackpot, but one with political motivations.

I know that I’d rather be a theoretical, non violent terrorist than just mentally ill.
ChromeOS, iOS, Android and plenty of IoT MIT licensed OSes prove otherwise.

We just need money and willingness to press forward no matter what challenges come into developers direction, to avoid a Linux monoculture.

And no, the fact that ChromeOS and Android use Linux kernel doesn't matter, as it is hardly exposed to userspace.
This could be a social politics move. By disassociating trips with money earned, it’ll stop a driver saying “I’m not going to accept a trip from these people/this area because then I won’t make as much money than if I waited for a trip from this person/this area”
I learned yesterday that Uber maxes out tips at $10. My Uber driver returned my lost phone and I wanted to thank him with a big tip, unfortunately after giving $10 Uber suggests that you tip the driver further in cash. I'm confused about the rationale for this is..
> you’re comparing a highly homogeneous culture

Are you talking about a different Switzerland than everyone else? A country literally made out of three different cultures (French Swiss, German Swiss and Italian Swiss)?
Thankfully, changing Linux distributions or switching to a BSD is significantly easier than the significant legal hurdle of immigrating to a country that doesn't have a reputation for being an easy country to immigrate to.
The gadget part has not been needed for at least a year.