skysight-inc/HackerNews huggingface dataset:
Thanks for responding! I really wasn't hoping you'd think my rambling is worth responding to.

> Imagine if we put up with bridges that collapsed because "most engineers are nowhere near prudent enough..."

Most developers don't develop nuclear reactor control software.

And I'm saying this, not because your statement about education is wrong, but because there's a cost-benefit analysis going on, and traditionally correctness was too expensive. This is due to insufficient tools, a very strange mindset ("That seems like a failure of education."), plus the path-dependence of the real world (the whole history of computer programming somehow led to a lot more close-to-the-metal imperative code and programming languages than "here are the correct abstractions and let's see how far can we go with them" ones). Also, as far as I know we need dependent types to be able to easily model a lot of invariants that would help with many kinds of programming errors. (Of course validating safely composable components would go a long way - like that project targeting some subset of Rust, but that's basically what static analysis is. And there's a whole industry that tries to bolt-on this kind of correctness verification after the code has been written.)

...

All in all, I'm simply pointing out that the Haskell ecosystem is still not exactly approachable. You say it's because education, and people's choices, and other reasons. (Which is tautologically true.) But that doesn't help much. In my experience programmers get better when tools get better, and it makes sense to learn them, when it gives them sufficient value. (Correctness, productivity, ergonomics, performance, hipness and whatnot, and all of that on a reasonable time-horizon.)

This whole comment thread started out from talking about jargon, and about the value of having mathematically exact, precise (correct) concepts as definitions used for everyday programming, and my observation is that programmers and programming as an occupation don't have the need/want for such high level concepts and correctness, and on top of that, even if everyone wants better programming tools, somehow the obvious answer isn't rewrite it in Haskell. Maybe the gap is [stil] too big [in the average case]. Maybe the very strong static typing, and pure FP (and the basically necessary immutability) and jargon, and unfamiliarity is still too constraining, too "expensive" to learn and use.
Yeah, maaaaaybe. My guess is you'd end up reading a lot of book chapters for the essay club.

The problem I think is that the economics of writing books is much more author-friendly than writing longform articles. So by the time you put a shitpile of research into writing something /good/, you really should be writing a book. Even if the 'cream' of the content is about three chapters. And the rest of the deep dive is still worth it for many readers (and those who aren't reading the whole book for book club can still go back for the rest later, if they want to).
Depends on what you enjoy. If you're into beer, the brewery scene here is pretty great - Asheville, Charlotte, and the Triangle all have great options. Live music scene depends on the city and the type of music you like. Lots of hikers and outdoorsy people and amenities for that sorta thing. But the cities here all feel pretty small and spread out when compared to northern or west coast big cities. But it's easy to hop in a car and drive to the beach or mountains or to touristy towns for a change of pace. Flights aren't very expensive, but you often have to transfer in Atlanta.
I've not only heard it, I've been told.

"If you relocate from our San Jose office to our Austin office, there will be a compensation adjustment due to COL and prevailing market rate."

I don't think that's unreasonable.

I'm sure they make exceptions for those employees who they want to retain at all cost.
Love for Kerala +1
I just meant to say that the majority of the world is tuned into the Western media machine, including Russians, so they have a tendency to evaluate every country based on Western metrics such as GDP-per-capita and LGBTQ-friendliness. I think these statistics are misleading because they fail to capture a lot of the nuance and quality of life that is found in Eastern Europe and elsewhere in the world. But sure, there is a lot of rah-rah Russian patriotism, just like there is a lot of rah-rah American patriotism.

But there are also blatant lies in the Western media narrative about Russia. For example, the West claims that Putin's "regime" suppresses all alternative viewpoints. However, from spending a lot of time watching Russian media, including official TV channels like Russiya-1, and YouTube standup comedians like Данила Поперечный [1], and seeing memes on Russian social media, I see a lot of diverse anti-government voices in the Russian landscape, which are NOT suppressed. Actually, I find the Western landscape to be more suppressed. Try to be pro-Russian, for example, and see what happens in America.

I find the Russian political landscape, including social media, to be more educated, informed, reasonable, diverse, and intellectual compared to the Trumpian world of American politics.

I personally evaluate Russia using metrics that they value, such as family values. I am not even Christian, I am Muslim, but I have very similar values. But I find that even Russians who are not Christian are still more understanding of my family values than Westerners who look at me like a backwards idiot. In that sense I actually find greater tolerance in Eastern Europe.

[1] https://www.youtube.com/watch?time_continue=387&v=IfTlqfHq1d...
Would be nice if there was a DDG version.
> I'm pretty impressed with this and don't regret spending $1800 on the CPU. It's really a no-brainer for anyone who does deep learning

I hate to ask this but, why would this CPU be any good for Deep learning, especially for training purposes? That doesn't make any sense.

Sure if I needed a workstation that can build large software like Rust, LLVM, Chromium or Linux in ~30s then either the 3970 or 3990X are worth getting. For Deep Learning? this will perform very poorly or even end up permanently damaging the CPU, which is a very expensive investment to waste on. You might as well get the TITAN RTX for that, which is a no-brainer for deep learning use-cases.
Substructure and exact match molecule searches are example of graph matching algorithms
Here is the thing though, and I am gonna phrase this very carefully as I have stepped on some toes before and got downvoted.

Imagine a naive young scientist who has been "trained" to code in Matlab. He is not a computer scientist, of course, but he profits if his program goes fast, even before actual computer scientists get involved to make the thing proper. Indeed that may make the difference between the project getting off the ground or not going forward. Such cases have been known to exist.

Now, he comes across some code that can not be written in pre-optimized matrix routines, but nevertheless populates deterministic addresses in a container without any further side effects. It could wait for some IO, or perhaps it just does a thing that takes a while on the CPU core (like iterations of something with results getting saved somehwere).
In any case, it's gotta go into a for loop and that's slow for most languages of that sort.

Given that he has a good number of cores, threads etc. available, he figures it'd be pretty cool if the thing run in parallel.

So he changes the "for" statement into "parfor". Matlab then starts a CPU pool and runs the loop to completion in parallel on both threads and cores without further issues. The whole thing just runs x times faster.

My point here is this: The whole thing in Python is complicated. It is so, because other languages, like Matlab, make it laughably easy. The Pythonic way would have been to offer such an easy option. However, if you are not well-versed in serious coding, then concurrent anything in Python is hella complicated. If you disagree, you likely know more about multi-x than the average person typing things into a computer.

I do not doubt that such a simple approach has its limitations. But it seems to me that in practice - and in particular when I look at most of the examples presented - such a simple way would have been completely sufficient. I do readily accept that I may be completely wrong.

edit: And now I realize that your verb was "debug" and not "write". Sorry.
> Facebook also uses its own apps' to track employee locations

Not unexpected, but another reason not to work there.
Personally I don't know how much of a problem this is. Where I work, the preexisting policy was "feel free to work whenever so long as you are still available during work hours and doing what you're expected to do". So for me flexibility was already the status quo.
Current home is pretty great (Tucson, AZ).

Ideally, it'd be my home-base to afford a good amount of nomading. Low taxes, low cost of living, excellent food scene (UN City of Gastronomy), and a great craft beer/wine/whiskey scene to boot.

It's not perfect, though. You can acclimate to the summer heat if you put the time in, and you'd be rewarded with our amazing monsoon thunderstorms.

Our college sports team is seemingly in a constant downward spiral. But the University is second only to Raytheon/Air Force in power and influence.

There's a fair amount of gentrification happening; as the case with anywhere, there are good spots and less so great spots crime wise.

But having lived short-term in various places around the country, Tucson is always my home. Happy to answer any questions you may have.
> There is no scientific distinction between food, drugs, and nutrients. They're all molecules. All that matters is the dosage.

A few micrograms of LSD and a cheeseburger is not different only for their dosage. One stores solar energy in its molecules in a form we can harvest. Other crosses blood-brain barrier in a way that alters its functioning drastically. Their structural-functional organizations are drastically different, hence the different categories.

Your CPU is also just a bunch of molecules probably as much as your PCs power button, but one packs a very different nature of consequentiality in that small "dosage" of matter than the other.
or just a search engine that doesn't you know, censor search results.
"Narrative is the worst model for understanding the world, except for all the others." Is the response I would have had for Jeff in response to his question, but I wouldn't have thought of it until after the interview.
cloned em all

https://github.com/popcorn-official
I'm pretty sure you are just wrong about this, and the true IFR is about 17.282%.

"Believe Science(R). Wait, no, not this one!"
Hi there,

I have what I think is a great domain, elope.to.

The idea was to build an elopement app that sold elopement packages to various destinations, working with existing service providers in those locales (most wedding photographers provide elopement packages).

Eg: elope.to/tahiti, elope.to/seychelles, elope.to/lasvegas

I don't think I'll get the time to build it, so am considering selling.

Which brings me to my point... I couldn't find a way to list it on your site.
I went to see Apple's new iPhone SE. T-Mobile did what AT&T couldn't
Even on loaded servers, modern systems tend to be running with at least one idle core virtually always. True context switches are very rare -- CPU-bound processes tend to keep their processor for seconds at a time. Obviously there are software architectures that are exceptions, but all the big ones tend not to switch much. (Which isn't surprising, as cache flush or no, switchin has always been a slow process that software has tried to avoid).
Congrats, you made a pirate moca bridge. Assuming this is from 2006 around the same time as moca was being approved.
The number one thing lots of us don't want for general searches are shopping results.
I have to say, Rust is looking more mature lately. I wrote a little RSS reader in Rust two years ago, and it was a pain to get all the library version dependencies lined up. Yesterday I recompiled it. No more need for version pinning or Github references; it just worked with a default cargo.toml file. Two years ago there was too much "only works in nightly" or "you need to use this version of that library". Progress.

Any progress on a C++ to Rust converter? Not a "transpiler". Something with enough smarts to figure out when to use native Rust arrays, not "offsets" to imitate pointer arithmetic. I'm surprised that one of the big C++ users, like Google, doesn't have a group doing that.
Sometimes it just takes "a terrible outbreak of tuberculosis selectively killing off the biggest, nastiest and most despotic males, setting the stage for a social and behavioral transformation unlike any seen in this notoriously truculent primate."

https://www.nytimes.com/2004/04/13/science/no-time-for-bulli...
That sounds as if you visited SF for the first time...very good speech for tourism.I have been in Bay Area for 13 years, single, with GF, and now with kids. Good luck with the high real state prices and if you can afford it, is probably overvalued, homeless, drug addicts, lack of good public transportation and Infrastructure (no high speed trains). My take i would live in London.
`echo 255 > /sys/devices/platform/i8042/serio1/serio2/sensitivity`

Newer ones use shorter stick portion and reportedly they are heavier that’s true
> Remote work simply means that for any remote position, employees will have more candidates to compete with, which will drive the cost of labor (salaries) down,

Remote works also means that for every desirable candidate, employers will have more competing employers to compete with, which will drive prices up.

What it really means is that both sides of the market will be larger and less segmented, meaning (1) there will be less opportunity for localized shortages and surpluses driving radically high or depressed salaries, and (2) the law of one price will be more relevant to labor prices for the jobs where remote work is normalized.
Its probably both cause and effect, but low turnover helps immensely.

The joy of working on a project where the whole team has been there for 3-5 years and we had no new people to train was huge. Conversely I've worked on projects where a continual turnover of people means no one fully understands how to code works and no one really cares because they'll probably be leaving soon anyway.
> Then, when you context switch it is likely the context to which you are switching would like to use that cache for something. By the time we switch to your original thread it is very likely L1d has already been filled with something else.

The other thread may have been doing work with memory on a GPU. The other thread may already have a hot cache at another layer. It's definitely not an edge case, or else the L1d cache would not have been designed to maintain state between context switches in the first place. There are going to be consequences to this.
>It's probably great for them, but from my understanding it can be difficult to become a member of a club if you didn't get in one at the right time.

I think overall this is probably good for the clubs, assuming it's easy to create a new one. A bunch of smaller groups seems more pleasant than one increasingly unwieldy group.
Real engineers smoke a pack of Marlboros a day.
The fact that you can't open any of the sub links in new tabs (1 domain left, notify me) is just so damn frustrating. why make this as some stupid one page app?!
That's not ... entirely true (edit: I see I misread you, it doesn't do X64, but there is 64 bit ARM in the form of AARCH64):

https://www.edn.com/arm64-vs-arm32-whats-different-for-linux...

You can get Arm64 linux workstations now.

https://www.anandtech.com/show/15733/ampere-emag-system-a-32...
> In the server space however AMD will likely remain as a minor player as ARM inevitably starts to find its way in as a result of its far superior price/performance ratio.

Interestingly that's starting to evaporate. Epyc 7702 is only ~3 watts per core, with Zen2 cores. That's crazy high performance per watt. If ARM is still more efficient at all it's not by very much, and then it has worse per-thread performance and has to emulate legacy code.

There are probably going to be places where ARM makes sense in the datacenter, but that doesn't look like an easy path to taking over entirely.
wikihow.com

webmd.com

mayoclinic.com

thoughtcatalog.com

livestrong.com

tutorialspoint.com
Call. A human will sort it.
Thank you for your kind words, you really made my day! I do in fact write quite often: usually around ten thousand words a week, although most of it isn't exactly amazing.

Also yes, I thought ISoLT and W&P contrasted nicely.
Possibly "What Color is Your Function"? One of my favorites on concurrency approaches. https://journal.stuffwithstuff.com/2015/02/01/what-color-is-...
Traditional economic theory should handle liquidity in pricing.

That is it would be a weird market where prices were artificially high for houses you couldn’t sell quickly. The price would just lower and the rent should follow.

I’m experienced enough to believe markets don’t follow traditional models, but in this thought experiment at least liquidity isn’t an interesting new unknown variable.
Exactly. GP thinks nutrients are just all-beneficial.
inurl filters so that the result URLs must contain the keyword specified. So inurl:w3 would only show results where w3 is in the URL. It works for this use case but it's better to just use site like you mentioned.
Have you read “Traction” by the founder of DuckDuckGo? It’s perfect for startups such as yourself.
No one is arguing that SWEs aren't compensated fairly for the value they produce. What GP is pointing out is that labor in general is not compensated at equal to the value they provide (pretty much by definition), in part because most labor is more easily replaced in a more competitive market. GP's point is that this is just SWE's first taste of the problem that the majority of labor faces.
It's because ZFS is much more than RAID. RAID just exposes a disk to the OS. ZFS exposes a filesystem and knows more metadata, e.g. the checksum, so it knows when to repair the data using the redundancy from the disks.
I feel the biggest city planning lesson you can learn from SF is don't end up like SF where prop 13 keeps big parking lots in the middle of downtown unreasonably cheap, while NIMBYs are empowered to stall new apartments for years/decades.
I think if you compared it to other databases that are designed to scale horizontally like Cassandra and DynamoDB, you might have a more favorable opinion. IMHO, most products at this scale are terrible in different ways, because it is a difficult problem to solve generally.

I have been responsible for <100 clustered Cassandra instances, and <500 clustered MongoDB instances, and I would choose the latter every time.
Just tried that, still not fast enough :(. I distinctly remember it being much faster on my t430s way back when.
>Below, you’ll find first-hand accounts of how essentially every major consumer app acquired their earliest users

Did anyone follow through on the links? Some of these "first-hand accounts" just redirect back to this guy's blog, some of them are just blurbs from other media. I looked at the Etsy one and it's a story by an economist with no first hand accounts by anyone at Etsy.
Phenols/catechols in general tend to reduce (in the electron sense) and complex with metals. This can be anti-nutrious if binding iron or calcium, or beneficial, if binding heavy metals.
I've got Dell XPS 9575 with 4k display and full Prime support via DRI_PRIME=1. This thing is a truly nice Linux experience, except some problems with HiDPI and external monitors.
Pay Cuts Become a Tool for Some Companies to Avoid Layoffs
The Hydra will just grow more heads. Hasn't the MPA figured this out yet?
The “they were going to die soon anyway” meme is a massively incorrect misconception.

Expected years of life lost for Covid victims is over a decade[1]. Plenty of those that die had comorbidities, but they are often chronic conditions, not “die this month“ conditions. The thing to remember is that the expected lifespan for an older person is a decade more or less, because they have already reached an old age e.g. 50% of 70 year olds are expected to live to 85[2].

[1] https://wellcomeopenresearch.org/articles/5-75

[2] https://www.ssa.gov/oact/STATS/table4c6.html
I actually enjoy San Francisco, so I would still work remotely from there. I do wish it was more affordable and safer though.
The CDC is basically testing different methods of creating models based on the available research. They note that these results

>Are not predictions of the expected effects of COVID-19

Nothing wrong with their results, just some grunt work that other researchers may use. It isn't worth this media reaction though.
Thank you - I found the article helpful in giving me a lay of the land
I would so love to have a search engine setting in which I could remove the top 500 web properties from my search, or have similar parameters to help remove large swaths information that I'm not interested in looking at.
A square trackpad being required for laptops by Microsoft or something.

Also third party TrackPoints don’t have that magical touch, they’re hard or slippery or drifting more often or combinations of them. Some UMPC models from Sony, Fujitsu, OQO, Palm ARM laptop prototype had it I think, recently GPD had it.
My wife, and I live in Brazil, and work remotely already, but are planning to move to Brasov, in Romania. If everything goes wrong, and it turns out we cannot get a visa to live there, Bariloche, in Argentina, is our plan B.

I would love to move to Japan instead, but the chances of that working are slim to none, and the wife does not really like the Japanese culture anyway, so.
Look into ImageMagick and pdftk. That will solve your problems.
Possibly, but I suspect the pain would be less if they suddenly started making 200% more money.
Well Lenovo is based in China, so suffers from the exact same security issues as Huawei, HikVision, Zoom and other arms of the government of China's intelligence services who's goal is to siphon off all commercially valuable information and pass it on to private companies like Huawei . And as mentioned, Lenovo have already been caught bundling spyware.

There's no need to install overt spyware once caught the first time: It's easy to hide a backdoor in bundleware or a driver (whether proprietary or open source) to say, allow a well crafted network packet to pwn your machine while maintaining plausible deniability that it wasn't inserted on purpose. Like it or not you need to trust your vendors.

I take my chances with a US owned company, because even with a free press and whistleblowers like Edward Snowden, the US has not been caught doing mass scale theft of commercial information to give to private companies with the goal of saving them R&D costs to be internationally competitive.
The use of quotes around “threat” really shows the sensationalization.
Coffee is rich in phenols and catechols, molecules with a strong electron reduction potential. Metals are more easily absorbed in the cation (eg Fe+2) state. Food and drink is a primary source of heavy metals for most humans. Reducing agents in the diet would reduce e.g. cadmium and mercury from +2 to the less available metallic state, where it would be excreted.
I grew up near Old Hickory Blvd and Nolensville Pk close to Tusculum Rd. At least back when I was growing up, it was a lot of African Americans, Hispanic folks, and Iraqi Kurdish immigrants that lived in the area.
The 0.4% fatality rate is for symptomatic patients. At least a third of infections are asymptomatic, so the actual infection fatality rate is lower.