skysight-inc/HackerNews huggingface dataset:
I'm not sure what this means: https://www.collabora.com/news-and-blog/blog/2022/03/23/how-...

> We're not actually writing one here but it'll make the examples easier if we pretend we are. Just for the sake of example, I'm going to pick on NVIDIA because... Why not? Such a driver is clearly missing and really should happen soon. (Hint! Hint!) We're going to call this hypothetical new Vulkan driver NVK. It's short and obvious.
I'd also like to point out that by resigning Nixon was assured his pension

https://www.nytimes.com/1974/08/10/archives/nixon-to-get-600...
Exactly. It's always inner joins unless there is a reason not, and then there should be logic to deal with the null results from the outer table. It's not strange to always do left outer either, it just makes reasoning about the query easier (start with the driving set, the inner/outer join the others as left joins). Mixing right and left outer always confuses me, and full outer joins are difficult to optimize, so I usually do left outer joins with unions in the rare case that I need a full outer join.
> If I build an image using the Dockerfile in the blog post 10 days later (...)

To start off, if you intend to run the same container image for 10 days straight, you have far more pressing problems than reproducibility.

Personally I know of zero professional projects whose production CICD pipeline don't deploy multiple times per day, or in the very worst case weekly in very rare cases where there is zero commit.

> OP's suggestion is to build a separate image with required packages, tag it with something like "mybaseimage:25032022" and use it as my base image in the Dockerfile.

Again, that adds absolutely nothing to just pulling the latest base image, running apt-get upgrade, and tagging/adding metadata.
Sourcetrail (Google) had been my primary go-to for large multi-MLOC C-code and C++ project like Mozilla Firefox recently for me. I can now insert instrumentation testpoints deep inside Firefox JavaScript JIT engine within two days from zero-knowledge, quicker there on.

- Sourcetrail (GUI/Linux/Windows, closed-net-capable, archived) - https://github.com/CoatiSoftware/Sourcetrail

- SourceInsight (repo/web-server/closed-net) https://www.sourceinsight.com/

- OpenGrok (web server plug-in/Java/closed-net) https://oracle.github.io/opengrok/

- CLion (GUI-based IDE) - By IntelliJ/JetBrains - https://www.jetbrains.com/clion/

- SourceGraph (Web-based) https://about.sourcegraph.com (thanks, gravypod)

- Codesee.io (GitHub/web-based) - https://www.codesee.io/privacy-and-security

For free as in beer, I prefer OpenGrok so I can get more than JetBrains
Capitalism doesn’t set any goals, people do that. It just recognises and guarantees individual ownership rights and economic freedoms, but what people do with that is up to them. It’s just that achieving any material goal takes capital, whatever your economic system. Elon Musk is as capitalist as you can get, but his goal isn’t to accumulate as much capital as possible, it’s to build a civilisation. Bill Gates is a capitalist and is busily giving away as much capital as efficiently as he can.

This is of course all about goal setting. I think those fearful of maximisers are being rational, but if we’re going to build AIs then we need to make them part of our community. The things that stop us as individuals going off the rails and taking everyone else around us down with us is respect for community, for others rights and interests. The need to seek consensus and consent. Figuring out how to implement that is the real challenge.
> Criticism and responses would be fine.

That is always the majority of comments. Just like not all tweeters are being cancelled.

> So the only reasonable thing to do is just not express opinions online.

And yet, here you and I are expressing our opinions and having a discussion.

Every single criticism I’ve heard is about policing the people who point out any problematic opinions. Truly ironic!

> You could "cancel" literally anyone over anything if you got enough traction to start going "viral."

Care to link to any real cases of non-racist/sexist/etc comments that got someone cancelled? Or are you just being facetious?
Libertarians are in favor minimizing restrictions on voluntary interactions between consenting parties. Most are fully in favor of government intervention to deter private interactions which are not voluntary, like assault, or pollution.

How the commons - which exist outside the purview of private property - are treated, is completely orthogonal to one's belief in libertarianism. For example, you can be a libertarian, and believe no pollutants should be allowed to be emitted into the atmosphere, because the atmosphere is part of the commons, and should be maintained in a way where it remains useful to humanity at large.
It's been frustrating dealing with their constant double speak and contradictions in their blog posts. The worst example was them saying that it's not a breach and then showing how they've been breached by the very definition of the term.

The only rational reason I can come up with for this duplicitous talk is for the shareholders; with this double speak they can reduce just how much their shares fall. I'm not on a high horse, I'm positive that most of our orgs was do the same thing.

And I'm not surprised that they're just like all other large companies that choose money/PR over accuracy. What is maddening is that they made it so hard to zero in on required information to help us assess risk; they're at the center of a lot of security workflows, and accurate information is more critical from them than it is from others.

I fear for Auth0 and what it ~~may~~ will become under Okta's 'culture'.
Codesee.io seems like it was made for this.
Ask HN: Why size of pdf output is so large in Chrome (versus Safari)?
When I "save to pdf" the HN frontpage in Chrome, the pdf is 318 KB.

The same webpage saves as a 125 KB pdf in Safari. Why is the Chrome output almost THREE times larger? Can Chrome be configured to minimize the size of its pdf output?
Asian cricketer was ‘silenced’ for criticising club’s blackface party
I went to a liberal arts college, got a degree in fine arts, with the coursework spread all over the humanities and social sciences. I also did some grad school and some law school. I'm not claiming that any of my education makes me an expert on what I studied - education is just the beginning of the process after all, and my experience since then has taught me more. But sometimes the answer of where our knowledge comes from is that simple - school.
100% this!
I kind of agree. I don't like monoculture in general, but I'm not so adverse with git.

I can remember where a place I worked used SVN, TFS, CVS and some commercial system (Perforce, I think), and it was really difficult switching between projects - I made quite a few mistakes.

Git isn't perfect, but it's more than good enough.
You didn't intend to talk about this but...

I think it's not necessarily wrong to write a line of code that is never reached, especially for code that may be changed later, and maybe by someone else, which is really all code ever.

You might write the no-op or unreachable else branch just so that the placeholder is there, to highlight that it needs to be considered in case the original condition is ever changed.

It's only unreachable today with todays condition and maybe even just todays data or maybe even just todays version of the language. Tomorrow another programmer could change the if condition, or the data could start to fall through that condition, or even some implicit behaviour of the language could change which ends up changing how the condition is evaluated.
Presumably you can etch gold using aqua regia. Not sure what you might use for the resist, though.
One of the best times to start a new product or even promote an existing one (in consumer space) is during the infancy of a new social platform. Not only could there be opportunities to build products around TikTok but advertising on TikTok now could be akin to advertising on FB in 2005, cheap and plenty of chances to make good ROI

But u can’t take advantage of those opportunities unless u become an user first and study what works
Sociology is not really a social science. It deals in just-so stories, platitudes and bizarre musings. Science (of the non-experimental sort) is about making precise, rigorous arguments that can be checked for their soundness and assessed together with any available evidence.
By this logic, I wouldn't need a challenge to begin with. Every legitimate sender would already be in my contacts list.
I used this project once and it was a huge distraction. It also ended up making us have to pin the whole project to python version 3.6 when 3.9 was out because it wasn’t sufficiently maintained itself.

It was much more sustainable and maintainable to just write our own build scripts for each platform with template tags and automate from there.
If you can’t easily and intuitively understand why you shouldn’t call it “Mac” here in 2022, I confess to zero confidence that you’ll have successfully achieved any other objectives. Just being frank. The “Go” team ignored sense and it seems to have worked out somehow for them, so it may be moot to lose my random individual interest so quickly.
Well, what is it? Love short sci-fi stories but this ended way too quickly
> all the software they write is purely to make the hardware they sell attractive to consumers.

This view of Apple as a pure-platform company does not comport with reality
Fans of V might enjoy the novel Childhood's End by Arthur C Clarke.

https://en.m.wikipedia.org/wiki/Childhood%27s_End
There is no rule in capitalism that says you have to optimize for capital accumulation over any other goal. There is not even an evaluation function, people can choose their own values.
Meetings, Bloody Meetings
I think Apple should stop putting proprietary fuel adapters on their cars. It seems like you just get this all wrong on purpose.
Spammers have to donate a token amount to the postal service before their real-world letter or pamphlet can reach my physical inbox. And I still get that spam. So why would payment stop digital spammers?
I could read it also as FOSSil with FOSS connotation (free and open-source software).

Also, a single-file repos are akin to a historical artifacts of developers work and ideas surviving through the times.

Don't we all have tons of projects sitting in their various state of abandon under the work directory? Well, Fossil lets us sweep the shame and organize these 'fossils' in a neat set of individual Fossil repo files in a grand /fossils or such directory. All repos 'readily' waiting to be respawned into a fresh work directory checkouts to perhaps offer some chance of completion.

By the way, looks like the Fossil repos can be queried directly without a check-out into a separate directory. It simplifies the review of the history and contents.
> 吳 belongs to at least twenty-seven million people

Is it a coincidence that this glyph looks like a man, waving his hand?
Honestly astonished that superintelligence is a mainstream idea. The story it tells makes sense only if you never bothered to dig further than its surface.

- Replace 'AI' with 'God', does it still make sense?

- Exponents still take time. 2^33 to get to current world population with no hitches.

- Solomonoff / Bekenstein / Gödel - name your favorite limiting theorem.

- For any optimization method we can literally construct a learning problem that it can never successfully learn. Take it a step further and you have a communication channel where the AI listens to everything and understands nothing.

- Was any force ever able to get close to world domination? At one point in history the US had nuclear power and no one else had it. Was that edge enough?

When we get closer to manufacturing universal intelligence its more impressive incarnations will look more like countries and corporations than omnipotent deities. The problems we’ll have to face will have more to do with consciousness and human rights than with alignment. Alignment is really more about automation at the incomprehensible scale, where the clash between dimensionality reduction and Goodhart’s Law becomes absurd.
That's contrary to everything I've heard about having a criminal record. Especially a felony, which is usually what prison is for.
I think if we could turn fake outrage into a blockchain PoW we'd have a real money spinner on our hands
Would be a fun idea for a short story perhaps. An AI goes rogue trying to optimize its reward function, and humans lose hope to be able to stop it. In the last minute the AI figures out how to hack itself and enter the maximum reward, and mankind is saved another time.
So let me get this straight... you enter the event horizon of a black hole, from which nothing can escape. This "frees" you from your deterministic past so that you have infinite possible futures... but since you're in a black hole these infinite futures all probably occur in the ultrahot ultrasqueezy confines of a black hole.
I keep a directory with up-to-date clones of all relevant repos. This is separate from my usual working directory. I experimented with git workspaces, but it wasn't worth the trouble, especially since the set of repos I'm working on is not necessarily the same as the ones I keep in my search dir.

At the root level I maintain two scripts:

clone.sh

update.sh

clone.sh has one

git clone --recursive ..

line per repo.
When I run low on disk space I sometimes delete larger repos.
The clone script allows me to easily re-clone everything in this case.

update.sh is similar but pulls all repos.

For global search across all branches I do:

git grep <regexp> $(git rev-list --all)

(when I forget the line I look it up in Stack Overflow [1])

This is especially useful since I work a lot with Bitbucket and to the best of my knowledge you can only search the default branches there.

When I know the branch, but want to search across all history I use git pickaxe, aka

git -S ...

All of this is not very sophisticated and takes a lot of disk space but it works pretty well for me.

[1] https://stackoverflow.com/a/15293283
> Habits and ignorance. The casual web user is just fine with what Google has to offer.

I think that’s a contradiction. If it’s just fine for their needs, the they have all the relevant information they need. They know perfectly well finding another service would take considerable effort, might well lead to a worse experience, and there’s a high chance they’d switch back anyway. That’s an informed decision, not an ignorant one.
Cloud is what is driving the subscription model. Across the board.
Capitalism's inherent human alignment:

Every final (non-waste) output of a capitalist system is intended for human consumption. Compost, pet food, sheet metal, etc are all intended to satisfy human preferences. Price signals ensure that only things which humans value are economic to produce.
This reminds me of a story idea that I had. Thanks for that.

EDIT:

This guys is clearly a weird dude, which is both a critique and a praise. Most of what makes the world interesting and worth living in is made by people who are weird in some way.

I don't know that I agree with all of his positions - there's a large (and I mean large) compendium on what he calls spaced repetition (https://www.gwern.net/Spaced-repetition) the main thesis of which appears to be that repetition helps learning but only if it's spaced out over time. I don't know - this is an area where I'm out of my depth, but it appears like this isn't his area of expertise (computer science and writing), and he's trying to put together a thesis by dint of just writing a lot. Which I don't know is best practice or peer reviewed - huge amounts of science articles, even peer reviewed ones, are non-reproducible, so even that is flawed. Much of his writing appears to be in this style of long, obsessively researched posts. Both good and bad - it's certainly different than the "No You!" of most social media - I'm looking at you Tik-Tok.

What I do like about the site is his use of deep linking. Personal websites where people put in the effort to make something new that's not just the same old social media paradigm are welcome additions to the internet and I think that they should be featured more on hackernews. It's too bad that this was made in Haskell. I don't know that using stacked Iframes like this would work in javascript without causing an overuse of memory. Would someone more knowledgeable about this than I chime in?

His writing credentials themselves look super impressive. Check this out:

I am a freelance American writer & researcher. (To make ends meet, I have a Patreon , benefit from Bitcoin appreciation thanks to some old coins, and live frugally.) I have worked for, published in, or consulted for: Wired (2015), MIRI / SIAI2 (2012–2013), CFAR (2012), GiveWell (2017), the FBI (2016), Cool Tools (2013), Quantimodo (2013), New World Encyclopedia (2006), Bitcoin Weekly (2011), Mobify (2013–2014), Bellroy (2013–2014), Dominic Frisby (2014), and private clients (2009-); everything on Gwern.net should be considered my own viewpoint or writing unless otherwise specified by a representative or publication. I am currently not accepting new commissions.

In sum, the guy looks weird, but definitely worth reading if only you take what he's saying with a grain of salt.
Capitalism is a system that rewards capital accumulation, the richer you are, the more power and freedom you have. Therefore, it incentivises capitalistic behaviour. People can break with those incentives, but I'm not critiquing people's ability to have good goals - I'm critiquing capitalism.

Capitalism does optimise for property rights, that's true - but if you're taking a utilitarian perspective (as all good rationalists should) then you have to ask what the material outcomes of that are. What we see is accumulation of massive power in the hands of a few, many of whom are doing active harm to the planet (just look at oil billionaires' behaviour). Supporting them is a worldwide underclass of people working in sweatshop conditions or actual human slavery. Maybe optimising for private property isn't providing very good outcomes.
This article unfortunately imho does a poor job in putting the mathematical modeling and Hintz' effort into greater focus and context. Possibly to make it more exciting for the casual science interested reader.

"Some carefully constructed mathematical objects (similar to observed black holes) erase your past (makes it possible to cross the Cauchy horizon)" in GR would be more precise.

Here [0] is a good article about the kind of mathematical manipulation involved (not directly related).
This [1] quora answer goes right to the obvious issues.

[0]https://www.quantamagazine.org/to-test-einsteins-equations-p...

[1]https://www.quora.com/Is-the-violation-of-strong-cosmic-cens...
Sometimes I google a subject just I can reply and sound smart. Don’t tell anyone.
Guessing Safari is just more optimized for PDF.
Thanks. Now I know what I'll be reading tonight.
Study reveals a close link between reward and unease
I was able to parse it but I still had no idea what it meant
Sorry, little unclear. Doesn't this mean Bitwarden is also subscription, if you are paying per year?
Yea I usually also don't use it. For monthly limits in general, a quick research about "Cookie Remover" extension may prove useful :)
I find that in tech you run across more people than usual where because they are very intelligent and successful within various tech domains they think this also sets them up to uniquely be an expert at other domains. Politics, law, public health, economics, etc. This is not true.
Clone, ripgrep (rg). Learning how to navigate shitty code has helped me in more ways than one - one of which being I don't have to rely on extensive tooling to understand codebases.
> shaming is a national pastime, and yet shameless conduct persists.

Wouldn't that be "shameful conduct"?

> In 2013, when people still nursed high hopes for the salvific effects of the Internet and cancellation was a fate reserved for poorly rated TV shows

People were already being harassed, arrested and prosecuted for saying things governments didn't like on Social media, in 2013 or thereabouts. Prominent example for 2015:

https://en.wikipedia.org/wiki/Dareen_Tatour

> Now she was a globally known racist.

She is certainly not globally known (and whether she's a racist or not - one can certainly not know based on her tweet).

> Our social fabric has since frayed considerably... our transformation into bloodhounds

I wonder who is "us" for the author of this piece.
And Android, that keeps users tied to Google services through the power of defaults.
It's crazy to me that David Bradbury is still shoving Sitel under that bus instead of claiming responsibility for his failure. Is he hoping for a golden parachute here or is the organization so rotten that they cannot admit fault?
Not sure what you mean here - both MacOS and Windows have icons in the system tray for background applications and it's been that way since before Android was a thing.

Windows does hide excessive icons, which MacOS doesn't do - it's a great way to hide running the pre-installed Skype and Teams at the same time :laugh:
Hmm, just checked. The two projects I have open now have 510 KLOC and the other one 200 KLOC, and searching in both feels instant. (This is not including node_modules and python libraries/caches that it also searches through by default)
Bing is becoming fairly popular in the US https://gs.statcounter.com/search-engine-market-share/deskto...
So why did everyone start using Google when before that everyone had been using Yahoo or AltaVista?
This is SUUUUUUPER cool. Definitely going to try this out. Thank you for making it.

Is there an easy way to install this on non-windows systems? I'm not familiar with Ada toolchains.
None of the important things are difficult on a diet with animal parts. That is the point you are missing. The rules for a healthy diet only require it to be diversified and balanced so that a person get a healthy amount of calories, proteins, fats, minerals and vitamins. Health studies has not demonstrated any difference if a person get obese through too much bread, too much bacon, or too much sugar. Health studies has shown however that too much sugar has a very high risk for obesity since sugar can easily trigger over eating.

If we were to rank the world worst food product in terms of causing health problems for humans, sugarcane and sugar beet would list at the top. Animal products is in comparison fairly healthy. After sugar the next would likely be corn, as in high-fructose corn syrup. Much of the worlds insulin resistance and obesity is directly caused by those two vegetarian grown products!

If we look to historical diets that killed the largest number of people, outside the context of sugar, it would be diets where people only ate potatoes, rice or corn. Those diets has a risk of missing essential vitamins and during wars there were major epidemics from unvaried diet that focused on those vegetarian options. People who ate meat during those periods was generally more healthy as their diet was more varied and balanced.

If one want to optimize for health, optimize for a diversified and balanced diet that addresses risk associated with weight gain and insulin resistance. Cut out candy, beer, sugar drinks, potato chips, cereals, cheese puffs (corn coated with cheese powder), wine, and so on. All vegan food (except for the coat on the corn), all food that is terrible for health.

No discussion that uses statistics to prove a point should exclude the use of the same statistics. Vegan diet is associated with better health. A vegan diet is also associated with being female, high education, young, never married, normal and underweight BMI, and without any chronic conditions. How much is cause and effect is a bit more complex.
Sure, but this project probably predates the Qt Installer.