skysight-inc/HackerNews huggingface dataset:
Hey! I work on code intelligence at Sourcegraph, so I figured I'd chime in here.

> why don't you have decent crossrefs

We do have compiler-accurate cross references for many repos. Some examples:

- TypeScript: https://sourcegraph.com/github.com/sindresorhus/got/-/blob/s...

- C: https://sourcegraph.com/github.com/neovim/neovim/-/blob/src/...

- C++: https://sourcegraph.com/github.com/KhronosGroup/Vulkan-Sampl...

Why are not all repos covered?

Because different languages have different build systems, so inferring the right build commands, dependencies etc. is not so straightforward; these are necessary pre-requisites for compiler-accurate cross references. We're working on fixing this with auto-indexing: https://docs.sourcegraph.com/code_intelligence/explanations/...

For C and C++ specifically, auto-indexing is challenging because of the large variety in build systems, informal specification of dependencies (such as in a README instead of a machine-readable format), and platform-specific code.

Outside of auto-indexing, we do have an indexer for C and C++ right now (https://github.com/sourcegraph/lsif-clang) which can be run in CI; that way one can generate an index and upload it to Sourcegraph on a regular basis. It is 'Partially available' (https://docs.sourcegraph.com/code_intelligence/references/in...) right now. We're keenly aware of the interest in C++, and are working our way through different languages based on usage.
Near me in Southern California, it’s cameros/corvettes (I call these cheap sports cars) and trucks with out of state plates. Generally not the modified Nissans/Hondas. Bring it on with these rules! Sick of walking down the street and hearing a car going 40 sound like a race car going 150. Loud exhaust is nothing more than people trying to compensate for not getting the attention they crave in other venues in life. Same with trucks with massive/unpractical lifts. You don’t get any off road benefits above a few inches and the lift just becomes about looking intimidating which is not a part of American culture I enjoy having to deal with
I said the same thing as someone who just turned 30 and was one of the first generations born with the internet. Although I don’t mean to discourage your obsession with it, one of the most beautiful things in the world you can do is learn to think for yourself. Unplugging yourself from others opinions, thoughts, and picking up a book or two can help you start that journey.
I hit on that with the last sentence. It's hard, and it's easy to create unfairness the other way. It's also easy to create perceptions that student B only got on the team because they are female, black, poor, or whatever.

At the same time, when student B shows up, and is nearly as good as A despite almost certainly having less chance to practice... maybe B is actually a better talent and will be better overall.

Making qualitative decisions sucks. But sometimes a holistic, qualitative decision captures better what is going on than the strict quantitative "fair" measure. It's all fuzzy and difficult.

I will say, especially with youth: my "fair" measures have been rubbish at predicting performance. Some of the strongest students on my robotics teams and in challenging classes have been the ones that did not look like it on my first measures.
I’ll read the article but I’ll admit that my first reaction to this was… do they know how folks use their phone? My phone is my entire wallet now, in every way. Wether flying the country (boarding passes, I have clear), or purchasing something (I nearly exclusively use Apple Pay) I’ve long left behind needing to carry a proper wallet. I do make sure to carry a couple of $20s just in case there is some oddball reason my situation wouldn’t work. I also have no reason to carry an ID, but that’s also about to live in your phone.

Maybe the title just comment baited me though.

Edit: read it and this speaks more to the unhealthy obsession with the perceived importance of instant communication. You should delete or turn these apps off whenever you can. Turning off notifications can also be empowering.
Except no because the whole hands full and bottles thing. Did you even bother reading the comment?
It fails if you search for the incorrect quote; the last sentence should start "With" and not "Without". Checking competitors, Bing fails to find any variation of the quote, Yandex returns 5 results if you remove the incorrect word and quote it, but returns garbage otherwise. Considering the single-digit number of results for an apparently very obscure quote, and that it was incorrect, this does seem reasonable.

I'm starting to think that standards are simply rising over time. 10 years ago, would anyone complain that an incorrect quote from a 30-year-old book didn't return results?
I find it strange that we are okay with business requiring our physical address. Maybe with some rare exceptions, I can't think of a good reason why these businesses need to know where we live. Even banks. Usually the reason given is security, anti money-laundering, anti-terrorism or whatever. But I think the real reason is government control and surveillance. We should not be okay with this.
The should make a movie in which a person gets expelled from society because of a bug. In his long quest for his reinstatement, he needs to endure the great corrupted algorithms trying to erase him for good.
> Most fundamentally, if you want to raise your children without, for instance, an emphasis on educational attainment, you should have the right to do so.

Perhaps that's true if you believe that parents should be the only ones responsible for their children's fate, but that puts a lot of power in parents' hands and doesn't leave much with the kids themselves.

I think there's a middle ground between complete standardization and complete reliance on one or two individuals that prevents the worst outcomes, although it may also prevent some of the best possible outcomes. But generally getting input from a number of different sources is a good thing, and even if "authority" may not be great at comprehensive development of varied individuals, it can still set minimum standards and make sure the child isn't entirely subject to their parents' whims.
This Interview Is a Mistake
Unredacted Magazine Issue 1 [pdf]
This is much better than a "personal use" license or a non-commercial license, but the added licensing terms are, in my opinion, still pretty restrictive:

"""

a. Sale or distribution of Content as digital Content or as digital wallpapers (such as on stock media websites or as NFTs);

b. Sale or distribution of Content e.g. as a posters, digital prints, music files or physical products, without adding any additional elements or otherwise adding value

c. Depiction of identifiable persons in an offensive, pornographic, obscene, immoral, defamatory or libelous way; or

d. Any suggestion that there is an endorsement of products and services by depicted persons, brands, vocalists and organisations, unless permission was granted.

"""

This puts is squarely in the 'non-libre' or 'non-open' side of things.

For example, this would be in violation of any GPL-like license. While software licenses don't necessarily apply to things like pictures, I would be hesitant to include any pictures from Pixabay in any libre software I was creating.
‘You are what you do, not what you think.’

- badly paraphrased from Gary John Bishop
https://arstechnica.com/gaming/2022/05/how-to-play-multiplay...

ArsTechnica’s article includes more detail in how exactly they got this to work - it’s pretty great/disgusting.
Recent related work: https://xkcd.com/2616/
I would imagine you could do it easily with a HDMI mod and some edid dongles for a few bucks.
exposure to / awareness of what I would call "financial horizons" is the biggest thing for me.

In poverty there is neither reason nor energy to waste beyond a conceivably actionable point. Learning to overcome that horizon is critical and I think it becomes more difficult the older we get.
This would line up with a broader trend I've noticed and would be interested in reading more about: the use of pop psychology to justify antisocial behavior.

Ten years ago, telling a distressed friend you don't feel like hearing about their problems would be incredibly rude. Now you can find NYT articles explaining how to couch the same sentiment in more acceptable terms like, "I don't have the bandwidth to perform that kind of emotional labor right now."

Same thing here. Telling a person you wronged to "get over it" is unacceptable. Telling them that you've been working on letting go of negative feelings about the past and being more mindful of the present, and you hope they can do the same? Well if anyone has a problem with that, you don't need that kind of energy in your life!
>but none ever worked quite right for me

Try Wox, it has built-in integration with "Everything".
This is mostly regional in my experience in Atlanta: everyone moved back to paper/laminated menus ASAP, as soon as any concerns for covid on objects were alleviated. Only a few businesses took it as an opportunity to save the manager the workflow of needing to print out and prepare physical menus.
It's a matter of taste but after I spent some time onsite where all the chairs were aeron

https://www.hermanmiller.com/en_gb/products/seating/office-c...

I went home and blew the money on one. Still going strong 10 years later.

There are a lot of halfbaked knockoffs that get the best part wrong, the woven seat that keeps your important parts at a comfortable temperature.

One other thing is a usb keyboard, these don't live long when you are mashing them all day every day. I eventually ended up with a mechanical switch one which felt poseurish but it is going to take years to break.
I give you "Brazil" (https://www.imdb.com/title/tt0088846/)

edit: typo corrected, thanks.
I know it used to be that, but it looks like an ordinary HTML web page now.
It's a museum so reusing CRTs and their low latency is probably part of the appeal.
> Taxes? Annual reporting of some such?

US citizens are required to report all worldwide income for taxation. Elsewhere, requirements to pay tax generally depend on residing in the country for some number of days per year.

> do you need to present your US passport when leaving the US and your foreign one when arriving some place?

Yes.

> Would you have to reveal at the border that you are a US citizen?

At the US border, yes. If, say, you have a European passport and you're entering Europe, you present the European one.
You can complain to the banking regulator that they didn’t follow the procedures, but that’s not really an appeal of the decision itself.

You’d have to argue that they either didn’t follow procedure or did a perfunctory job that did not really comply. However, these complaints go to a different team in the bank that may just decide to compensate you.
True Story.

I was newly moved to San Francisco and enrolled in a meditation course on literally loving-kindness (they were all mindfulness, this was a focused seminar).

When I was on my way in someone was having a mental health emergency right outside the front door and looked to clearly need care. Not knowing who to call for this since I didn't live in the city, and definitely not wanting to call cops, I went in and asked how to take actual action to help them out.

Instead of engaging with the real life actual emergency right in front of them where they could practice actually doing loving-kindness people wanted to discuss how they could "use their suffering as an object of meditation". Few even stood up to look. Averting their eyes from suffering was a very strange response.

It was unreal, I'm used to 90% of the people in a room during an emergency being stunned and uncertain (but attentive and worried), but there's always a few people who jump into action... there are times for action and times for contemplation and emergencies are not times to work on self-improvement.

It was eye opening -- thankfully one of them had a more normal response and had experience so we were able to connect them to the Episcopalian church next door which operated a shelter and had people there trained in how to help. It was disturbing though that the people in the class who spoke so eloquently about the importance of kindness and helping others, who were actively practicing mindfulness and learning about themselves, had such a strange response to an emergency 20 feet away.

One might almost describe it as faking being nice while changing little on the inside. Hippie and good person camouflage. A way to feel empathy so hard and so calmly that you don't feel any urgency to take actual action.
Windows has support to remap keys built in, there's just no UI for it oddly. I think it was added in 2000?

https://www.ghacks.net/2010/06/06/the-ultimate-guide-to-keyb...
Agreed, this is an obtuse non-consensus definition that is conflated by disenfranchised, the beneficiaries of this phenomenon, activists, and casual onlookers.

Is there another word to convey this concept more universally?
A terminal based IDE that has quick startup time, vim's keybindings and plugin ecosystem, and just works out of the box without me spending hours on configuration.

I'm currently using LunarVim, which is poorly documented, painful to install, update and configure, and with lots of tiny issues that I've spent hours trying to fix. But, it's still the best thing out there!

I would pay a ton of money to whoever can solve this problem.

Another thing I would pay money for is a terminal based python REPL that resembles a jupyter notebook. The IPython repl doesn't cut it for me and is missing a bunch of features, and projects like Euporie are missing things that I like in IPython. So something that borrows the best of both worlds would be incredible.
Did it increase the actual availability, or just the marketing?

I've noticed things that never had glueten in it, labeled "glueten-free" after the craze a few years ago.
What do you imagine people 30 years ago did, during a time when crime was a lot worse?
> I agree it's a little disappointing that one mistaken word throws Google so far off the trail.

But can you imagine the aggravation if Google chooses to do the opposite and 'helpfully' 'corrects' your quotes for you? Actually I am not sure I have to imagine...
> was given 50,000 IU a week vitamin D to get it up.

It should have gone up significantly. I wonder if your body has a problem with Vit D absorption. I was put on the same dose of vit d for a treatment and I felt it within 20 minutes.
Call me old fashioned but I'll pay an extra $20 for first-party components.

...which are made in China, probably in the same factories contracted by the original manufacturer. Aliexpress just lets you cut out the middleman.
? The history of aristocracy is about amplifying perception of power.

Everyone knows who the King and Duke are and what their means of power are.

The stage elaborate public things to legitimize their power.

The Pharaohs themselves lived an entirely 'stage performed' existence to convince the plebes of their ostensible legitimacy.

There are 'other groups' with power, whereupon the public knowledge of their influence would be to their detriment, and they were not 'aristocrats' though they would have probably desperately like to be that.
Happened to me too. No way to appeal - they simply aren't interested. In their eyes if you've been banned it is absolutely correct and unappealable. Can't even get through to a human.

Oh well, their loss. Mine too.
> Imagine a society where people born in March are discriminated against. People are reluctant to give them jobs, pay them less, don't want them as tenants etc.
> Do you believe the people born in the other eleven months would do better in such a society?

Having an exploitable underclass can absolutely improve the standing of the rest of a society.

Whether it’s a long-term advantage depends on whether the cost (ethical, and lost contributions of the marginalized subclass) exceeds the benefits.

This also has no relevance to the study; what you’re asking involves questions of equality of opportunity, not attempting to engineer equality of outcome.

> If that example isn't obvious enough, imagine removing the state of Colorado from the US.

This is a faulty analogy.
I think Windows window management is better than Mac, and I use both (and Linux too) throughout every day.
Gh.nvim – A fully featured GitHub integration for Neovim
Ive been working on a Neovim plugin that fixes my current frustrations with code reviews in the GitHub web UI.

Its called "gh.nvim" and is a full featured GitHub integration for performing code reviews in Neovim.
It takes a "commit-wise" approach, which is useful in most professional OSS projects where commits are the defining structure of the pull request.

Theres a good amount of initial features outlined in the demonstration video.

Gh.nvim is very new, and probably has a fair amount of bugs still, however I use it daily at this point. Could use some testers to find bugs/report issues/contribute fixes etc.

Code is here: https://github.com/ldelossa/gh.nvim

Demo is here:
https://youtu.be/hhrWwYfMK1I
I’m surprised becoming verified doesn’t require something akin to Google’s enhanced protection program (e.g. requiring 2FA not including SMS, delaying password reset notifications, etc). I don’t think the average Twitter user needs to be subjected to that, but verified accounts being taken over have a bigger blast radius than just the individual losing their account; the scammers get notoriety and legitimacy with that blue check.
That's called addiction. Not as bad as other kind of addictions, sure, but still.
I had a very similar experience and pretty much gave up on eBay (after 23 years of being a happy customer).

https://tsak.dev/posts/the-decision-is-final-and-we-cannot-r...

They still owe me over £100 but it's probably useless to attempt to collect.

The best bit was that I was asked to log into my other account but was unable to connect to customer support because it was suspended forever.

The only sad thing is that eBay is that perfect place for selling random things that are too valuable for Facebook marketplace.
Freak attacks are a thing too. Dumb to go out without concealed gun.
Yes but I disagree that they'd have broken the bottles had they put down a bag. I've had bottles in bags and not once did I break them by setting them down. They could've easily put the bottles down and called the police on their phone, if they brought it with them.
I'm not anti-crypto. But I don't care for hype. Show me the killer app.

As far as I'm concerned, cryptocurrency already has a killer app: it increases economic freedom in some parts of the world.

Is there more? I'm sure there is. But from what I've read, I'm not going to need a kitchen sink anymore because crypto's gonna solve it.

There are a lot of neat technologies in the world with a lot of applications. Crypto is one family of such technologies. Neat stuff, but doesn't apply to everything. And I'll happily be proven wrong, if it comes to that.
The subjects of the equality in discussion - i.e human beings or, "we"
The phone is now an extension of the self. It’s hard to just leave it without becoming an anxious mess. The only way I was able to break that addiction was when I bought a new Google Pixel that had a battery defect that forced it to drain itself each day. I got so used to the phone doing this that at a certain point I just carried around a dead phone. After awhile enough, I just left the phone at home.

Soon much of my life started to feel more full. I’d get lost in a big city like Montreal and have to ask for directions in a language I don’t know. I’d lose touch with coworkers who wanted to go out at night and I’d randomly stumble into them. So much serendipity happens because I didn’t have my phone. Although I only have anecdotes of my experience, I think Nick Carr talks about these challenges in depth with his book “The Shallows”.
I don’t find it odd. It’s “normal”, in that it’s basically always been that way. They needed your address to contact you in a formal/reliable method: through the mail.

Yes we have other communication methods now but the requirement has stuck around.

Maybe it’s because it’s always been like that but I really don’t see the issue with it.
The difference is that the base noun is at the end.

"Panzerglas" literally translates as "armored glass"

"Glaspanzer" would be a "glass tank"

And the Gepard's official designation is "Flugabwehrkanonenpanzer" - "anti-air cannon tank"
It's probably set up so that any larger than normal traffic (hn hug) is tagged as a bot net ddos.

Imagine running a news site and hating traffic to it...
No, I'm not saying that.

Breath mindfulness can sharpen your blade, but it won't tell you when or why to use your blade. I present Axelrod as a modern pop culture representation of that.

https://en.wikipedia.org/wiki/Anapanasati
Personally I find modern technology to be very liberating.

When I was a child, even going around my own city was a stressful thing. What if I get lost? What if I run out of money for the train? How do I know I got the bus in the right direction? (the darn things didn't announce stops at all).

The first times I traveled involved printing a stack of papers including names, addresses, and maps. Getting to a hotel in a country you've never been before and without having a good command of the local language is stressful.

With modern tech? It's all a breeze. I can find a route to anywhere, check if the place I'm going to is open, call for help if needed, find a bar/restaurant/hotel if something unplanned happens, talk to the people I'm going to meet, check on the status of my flight...

Yeah, I don't feel very comfortable without my phone precisely because it provides so much useful stuff that I don't have otherwise. And no, it's not because I've grown addicted to it, but because the discomfort that I already had before smartphones were a thing returns.
In shell (/bin/sh) ${1} gives you the first argument, which for simplicity in this context is trusted to be an integer, e.g., if the shell script name is most_freq_words, "most_freq_words 5" would put the five most frequent words, one per line, on stdout. If you want to use head instead of sed, you'd say "head ${1}"
FancyZones are quite more powerful, eg. you can hold shift while dragging a window to show your layound and snap that window to the layout. With 11 it's pretty much exclusively limited to "either drag a window against the side of the screen for zone hints, or hover the maximize button".
Using authority to take power over their own children away from parents isn't something I'm sure I'm onboard with. I think it suggests a long conversation about the philosophy of cooperation and coexistence that may exceed the depth limit of this forum :)

Edit: More generally, parents are responsible to a large degree for their children's fate, as the importance of domestic environment in the research repeatedly shows. The question is what (if anything) we should do about this, exactly?

Edit 2: Come to think of it, using authority over parents in this way could constitute cultural genocide, for instance as it was perpetrated by the Canadian residential school system. Funny how casually it can be suggested.