skysight-inc/HackerNews huggingface dataset:
> but it shows the lack of discoverability that happens when the list of settings gets long and you have to dig for them.

I wonder to what extent command palettes are the solution. At least for me, they are the pinnacle of discoverability. Throw the list of all settings and actions into an easily discoverable command palette and let the user search for them by filtering the list. Make it fuzzy enough to account for different formulations of the problem. VSCode does it (mostly) right.
OK, meta tag added!
I was tempted to use that but Fermat's last theorem is known to the general public for much longer and has a resolution.
Shape policy but not make policy.
yeah, I had no idea this was the purpose behind the feature until this thread - my kids are young enough that our cars have always had LATCH since they were born.
Duplicate (older with more comments): https://news.ycombinator.com/item?id=30184104
How is math experiencing a replication crisis?

> This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study.

> Exactly half a year ago I wrote the Liquid Tensor Experiment blog post, challenging the formalization of a difficult foundational theorem from my Analytic Geometry lecture notes on joint work with Dustin Clausen.

???
Nope. Needs to use chains.
>All too often, especially in the open source world, settings are used as a way to not figure out how to make a good default. When the default is crap, I am forced to go to the settings and spend way too much time finding my way around a gazillion possibilities.

IS there any evidence for this? Like what should be the default font or font size? Is there evidence that there is such a good default?
The problem is you want that the good defaults match your preferences without proof that those defaults are good, Sure there are exceptions where evil or big ego people will force their preference over what the users want.

Do you play video games? , if yes don't you think that sometimes you need to adjust the sound volume, font sizes, difficulty to match you?

Do you listen to radio ? Isn't great you can adjust the volume or change the station?

Do you use and IDE ? isn't great that you can change the color scheme, the code formatting scheme, the keyboard shortcuts, that you can install plugins to add more features to help you with your work?

True story, I installed for my son an emulator and installed a game he wanted to play, after a few hours I ask about the game and he tells me that the controller buttons were weird/reversed but he got used to that. I then went in the menus and found the setting where he could have change those buttons so he do not have to suffer and rewire his muscle memory, the conclusion is we need to teach people to not be afraid to think "this software should work differently, let me check for a setting instead of torturing myself".

P.S was not the emulator program fault, it could not have a default that worked for all game and controller combinations.
Increase in development time (publication can take 6 months to a year).
Maybe having lost his anonymity post NYT doxxing had a chilling effect on him? Even having someone else express their opinions through his platform might still lead to “guilty by association”.
Yes, shame! That film is wonderful.
Rather than "wrong", I would describe those implementations as "not fully general". They work perfectly when `n < some large number` as opposed to `n < some large number * 2`. The latter is the best you can do with the function signature, but that is somewhat arbitrary. You could easily choose a 64 bit index and exceed all practical needs.
For what it's worth, whilst my car and carseat have the LATCH system, this particular carseat requires use of the seat belt instead of the LATCH lower anchors for kids over 30 pounds.
> I can barely describe the euphoria in first months/year following my separation, waking up and proceeding through my entire day completely unbothered whenever I wanted.

What happened for you in the 2nd, 3rd, etc. years?

> But I can tell you that the wanting and longing for companionship doesn't magically go away. You presumably courted, wooed, and married this woman because you're in the 99% of men who want to feel that companionship in some capacity.

Yes, you are right. But is it necessary to commit to just one person for 40+ years just to feel that feminine companionship? There must be other ways... (for ex seeking short term relationships over long term)
As someone who is about to start a big project with gRPC kind of at the middle of it all would you mind elaborating on the other problems you were alluding to? From the outside and some basic testing it seems great
No, it's not. In that specific case, the supervisor thought the value of the paper didn't lie in the proofs, plus it was a rank B conference. He rather has his student working on a different paper than spending 1 week on the proof.
I’ve gotten a ticket before for a rolling stop. It happens.
Yeah, but you have to make tradeoffs. If we look at pareto we can't solve everything without infinite resources. There's also the assumption that people have to be good actors. So why not instead protect individual rights? We get the benefits of cash with anonymity but a digital currency also reduces tax evasion. We can have both. But not either perfectly. You just declare your wallets on your tax forms. We could also make it tied to a citizen ID (update SSN) and presto, everyone has access to banking (in some form). Which is a great for everyone.
Not really. Dark patterns are a subset of nudges that push a user towards doing something they don't actually want. Say you have a 'signup or continue as guest' dialog with a "signup" button and a "later" button that appears when they try to use your app. If a user is seeing it, it's because they want to use your app. Highlighting one of the buttons is a common way of indicating "this is the thing to click to proceed". Highlighting "later" is a user-positive nudge, since it nudges those who are on autopilot, trying to use your app, to get to using your app. Highlighting "signup" is a user-negative nudge, and therefore dark pattern, because it gets in the way of the user's goal, use your app, purely for the sake of your signup rate, since it's optional.
Health Agencies Ignoring Repurposed Drug Fluvoxamine
No by and large mathematics is not having a replication crisis. As the blog post in your link states:

> Question: Was the proof in [Analytic] found to be correct?

> Answer: Yes, up to some usual slight imprecisions.

This has been the case for almost all math formalization efforts. Even when (very rarely) proofs were revealed to be incorrect, the result was salvageable.
I have a legacy /24 that predates ARIN. I know several other local "early internet" users that also have their own netblocks. Back then, all you had to do was fire off an email. The company name didn't even have to be real.
A Curious Journey Through the Story of the Passport
From the link:

>Kefka's line when the party flees from him on chocobos was changed. In the Japanese version he says "ヒーーーー くっそ！ このかりは必ず返しますよ！", literally translated to "Arggg.... you scums! I will definitely pay you back for this!". In the overseas release, depending on the version, he either says "Son of a submariner! They'll pay for this..." (SNES/PSX version) or "Son of a sandworm! You'll pay for this..." (GBA/PC/iOS).

Wow, yeah. I don't care about that level of "censorship," especially from a "news" point of view.

The uncensored images are pretty tame, too, as in a woman in a sheet having her hips and butt partially uncovered vs. covered.

So, I'm glad people put in the effort to clean up little things like this. I'm still confused why this got upvoted.
If in future google changes monetization goalposts, then the poster can potentially make some cash from the older posted videos. And it is entirely possible that one video gets popular and brings in a ton of views and subscribers to the channel.
Authoritarian countries that actively seek to identify and prosecute their citizens for thoughtcrimes have simply compelled citizens to install tracking apps and/or use government-monitored data centers and/or SSL proxies that de-anonymize them, largely removing their ability to make use of whatever online anonymity remains, if they’re even allowed to access our Internet at all. Their access to anonymity from authorities online is therefore neutralized, as countries such as Russia and China and North Korea are all demonstrating today.

Meanwhile, lots of people (especially women and minorities) in non-authoritarian countries on the Internet are being threatened, harmed, or killed (for example, by SWATting) by anonymous people in the Internet.

What arguments exist that support non-accountable anonymity online in today’s world, now that we’ve seen the outcomes of endorsing those argument three decades ago and the resulting harm to societies?
Right, I understand how handshake works.

But if you are capable of running a Bob node, you are capable of running bind or whatever dns solution and manually importing a zone file. Or running tor. Or just running a handshake (or any other) resolver.

There is no benefit to this being entangled with bob.
Grep is nice and I've used it daily, but damn does it need multi threading! Especially for recursive greps. I find myself doing this a heck of a lot these days:

find . -type f -name \*txt \; | xargs -I{} -P24 bash -c "grep -Hi foo '{}' ; :"
I'd checkout FireHydrant, but I'm biased ;)
Kenton, apologies for the OT question/prod, and I dont remember where but I heard you saying there just hasn't been justification/demand for it- a good use case yet- but still really hoping to see being able to pass references between systems, expand more into three+-party rpc.

Do you have any thoughts on whether QUIC / HTTP3 might be cause for shakeup? Surely grpc can be made to take advantage of http3, but that feels incremental. Do you feel like you would made made captnproto the same way you did if QUIC was an established technology when you began?
That's like Elon tweeting about Dogecoin and then saying NOT to take his advice. Lol the meme "this is not financial advice" does not follow logic when you create a momentum, get yourself a platform and then essentially trick people. I am NOT saying that is what DFV did though
Just to be clear: This appears to be mechanical storage (i.e. Hooke's Law) rather than electrical storage. They're embedding magnets into elastomers to create a programable "metamaterial" that has controlled non-linearities in elastic response.
Looks really nice actually. Shame it’s 13 inch just like framework. That’s just irritating to me I could never use it.

The other issue is Windows. Talk about putting lipstick on a pig. Ubuntu should be the default these days.

But, really nice all the same.
If salaries are likely to go down significantly and for a long time soon, I'd double my job-searching efforts, to have to option of leaving within a year or two.

If the current situation seems stable, I'd take it easy and enjoy the next couple years without the stress of having to move soon. I'm not that keen on turning my life upside down right now unless there's a significant gain to make. (The last few years were stressful so I'd like to take it easy for a while.)

I'm not sure why you asked this, but I can assure you I'm not trying to waste anyone's time, and I have a rational reason for asking.
Is it just me or does the website flash with content for a second which is then replaced with a fake "Not found" display?

I'm on my phone so I'll not debug anything right now.
It can be more insidious than that. For example, as time goes on more and more of the engineering might be shifted from product development to contracting. In this way you see revenue growth without realising that there is a hard limit and you're throwing away the company's future.
Here's [1] the lecture where Vladimir Voevodsky talked about the problem and his experience with it but like the blog says, he didn't and they don't consider it a crisis. Even HoTT (and other TT) people present it as how things could be much better, not about how things are terrible.

1. https://youtu.be/E9RiR9AcXeE
no, you misunderstand. You must have only two years experience
In their defense, this is the kind of thing Amazon outsources, so they probably didn’t build this.

Same with the re:invent portal —- it’s outsourced and terrible.
webrings for rss?
ENA does not have this capability, or the capability is not exposed to the instance. Perhaps some of the older instance types with different network adapters have it, but I never tried them.
I don’t think so.

We’ve had atrocities and violence throughout history. Usually in the context of war, but not always. Usually localized, but sometimes large scale. Sometimes condemned and opposed by the rest of society (whether it is a village, country, or continent), sometimes hushed and hidden away, sometimes openly supported.

The impulses and thoughts behind it have always been there, but limited and moderated by geography, time, and social norms.

Now for the first time(?), those limits are starting to blur out and disappear on a global scale. And the impulses and thoughts are visible in their raw form.

This is who we are.
Everyone I know in Google on 80% (which is surprisingly many people) has started full time. I imagine some full week trainings you might want to start with would be quite awkward if part of participants would be skipping a random day of the week. Or, awkward if you've been promised you can keep spending your Wednesdays with your kids, but then suddenly need to stay in the office.
oh yes! that idea was so great they made it mandatory.
Hmm.. The underlying studies (Baum, 2000; Eensoo et al., 2005) that found links between socioeconomic status and DUI/DWI did so by comparing those arrested against a control group – which I believe should deal with that concern?
Facebook doesn't have a released product called Metaverse, though, right?

https://youtu.be/zVWC1tnClSw?t=283 also I don't know how one would play this and lead to the statement

> Virtual reality has essentially been designed so the mind and body can’t differentiate virtual/digital experiences from real. In some capacity, my physiological and psychological response was as though it happened in reality.

Unless you think humans are jiggly wiggly jellys held together with duct tape
Yeah, there are definitely already products in this space, but we're already invested in Grafana, so it makes sense to lean in that direction, even if it meant a little custom work on our end (though it looks like that may not be necessary now)
Yeah, I've installed a bunch of PIR controlled LED strips around the apartment to light up as people walk into rooms automatically, and aside from that there really isn't anything else I see I would need.

The "smart" approach would be having all of them wifi enabled, and then being able to change colour, intensity, duration, etc. via web or app. You know what also works just as well for that though? One or two push buttons on each detector lol.
Labor shortages and inflation will keep the salaries high for years to come, especially, in high skill jobs. The real danger is that universities will start to crank out a large number of engineering graduates. But that's unlikely, since it takes a select few to enjoy engineering as a career. Everyone likes the pay but it's a hard career to enjoy long term. You should keep an eye on salaries outside your company to make sure you don't get too behind in pay relative to other companies. Don't count on your current employer to keep their wages competitive.
Tech will continue grow.

Real issue is brain drain from other industries.
Email me: greg (at) inferex.com
RSS3 Protocol v0.4.0 Adventure
Well, I think my confusion was reasonable since the previous comments were all about Ada++ (the joke that 0xDEEPFAC has decided is serious).
As a Tesla driver, I do not trust the autopilot yet and think it is years away (if ever achievable) from level 5...

The reason this study has this outcome can be because of the survivorship bias - people are letting autopilot drive only in easiest road conditions where chance for something to go wrong is smaller to begin with.

I would have hard time imagining people are letting autopilot drive regularly in a tight, windy road (at night) or in snow, thus completely preventing those (frequent types of?) accidents from happening under autopilot.
Definitely an easier to apologize than to ask for permission kind of thing.
Hey, at least XOM is up 26.88% YTD
If you're young and free (no kids no mortgage), switch now. That is advice I wish I followed :)
Yes, I think I have.

Last year after we got our 2nd vaccine shot, we started going out/travelling a lot but still the love didn't re kindle.
As a... developer

I want... the development experience to be delightful

So I can... be delighted
I love settings. It is the first thing I open if I start a new program. It tells me about the maturity of the program. Whether it is a toy or something really well thought out.
I have an air filter that has 2 stages, a thin, washable filter for large dust particles and a non-reusable hepa filter that has to be replaced every 3-6 months for optimal results.

I view pihole and ublock as the washable filter. It takes care of the big stuff, prevents my computer from ever seeing most of the avenues for malware to propagate. Then my antivirus can easily mop up whatever slips through.
Hey that's not too bad really. Less than a 4 day work week and things might get boring.
The root of the replication crisis in social sciences is not just that many papers fail to replicate, but that there is no way to clearly resolve a result that fails to replicate. A paper claims that pre-K increases test scores a decade later, another paper claims it doesn't, and there's no clear resolution. The disagreement just festers, with both sides citing research that supports their opinion. The argument often "spills out" into the public sphere.

In mathematics and computer science, there are many errors in published papers. However, once you point out an error, it's usually pretty straightforward to resolve whether it's really an error or not. Often there is a small error which can be fixed in a small way. Exceptions like the abc conjecture are rare.
Hmm but is it the screen, or the interruptions?

Personally I don't feel like i have trouble reading on either epaper or a tablet, but in either case all the notifications are off.
>> My friend bought a BMW in 2019 for similar money, it doesn't have half of that.

That's an incredibly bad example, because in German brands you have to pay extra for basic safety features(famously in the new Polo you have to pay extra to have more than the basic 3 airbags, I don't even know how that's allowed). Look at a brand new Peugeot/Citroen/Kia/Hyundai and you will pay less than what a Model 3 costs and get just as many safety features. Yes, all the stuff that is optional in a BMW - but look outside of Audi/Merc/BMW/Volkswagen and you will find that this stuff is also completely standard.
I really enjoy curated link newsletters like Thinking About Things [0] and Findka Essays [1].

[0] https://www.thinking-about-things.com/
[1] https://essays.findka.com/
i m not sure but i think just the css will suffice:

* { font-family: Garamond,serif!important; }
You expect everyone to read the google cloud blog? The distinction between "unannounced" and "not usefully announced" isn't of merit. If they did not specifically make their affected customers aware of the change and when it would actually happen, it was unannounced. And caused a major outage for at least one of their customers.
I've used this for years and never even knew it came out of Facebook
Teams was available before the pandemic.
> It is common to hear in the Linux community that GNOME is currently the best you can get if you want the so-called modern desktop environment.

That's debatable, to put it politely...
Except Teams existed before things got all COVIDy. Back then I even defended Teams when we had just moved off Slack. I mean, it wasn't great and the Mac client blows goats, but it gets the job done.

And then we all started working from home, and using Teams for more than just a glorified chat app. That's when it became evident to me that my defense of Teams was way unwarranted.
Without seeing those studies and knowing how they define "longer" it's hard to say.
Salaries yes, stock compensation not necessarily. It's very rare to cut salaries because you end up demoralizing employees, who then aren't productive, so why bother to pay them anything? That's why companies do layoffs, where they just eliminate jobs rather than pay less.

Keep in mind that when everybody gets paid a lot, everything is expensive. That's the real way that high salaries return to the norm: everything else catches up. Bay Area is already the most expensive part of the U.S; you might get paid $200-300K, but taxes eat half that, rents are $2.5-3K/month, mortgage payments are $10K+, daycare is about $2-3K, restaurant meals are $30, etc.

Not sure how that compares to your country - if you're coming from Eastern Europe you're going to get sticker shock, but a lot of central/western European regions (eg. Zurich, Paris, Scandinavia) are already there. It's a different type of expensive though: in general consumer goods, food, housing, and gas cost more in Europe, but healthcare, education, and childcare cost more in the U.S.
And just a quick reminder for anyone reading this, disabling scripting by default for sites mostly solves the issue of delayed popup modals. The uBlock Origin element blocker can take care of anything that makes it through if JavaScript must be enabled. This is what I've been doing for the last few years and I haven't looked back. If a blog or article can't be viewed without JavaScript, then it probably wasn't worth reading.

Likewise, I keep my phone on Do Not Disturb at all times, and have it configured to allow numbers in my contacts to ring through in case of emergencies. Everything else is silent.

These things have significantly decreased the activity in the part of my brain that expects distractions and adverse UI patterns at any moment.
Great idea, as a recent new Dad can definitely see the value of this. What is the technology you used to develop it? Flutter...?
I would imagine the overlap between people who love settings and people on HN is quite large :)

I also love settings with the exception of web browsers for some reason.