skysight-inc/HackerNews huggingface dataset:
The typical working mathematician is a Platonist on weekdays and a formalist on Sundays

R. Hersh, 1979
>I had a digestive disorder for years that made me terrifyingly skinny

Could you elaborate? I have something similar of unknown cause
That could be mostly solved by requiring login only for searches across all repos. Searches in a single repo could be anonymous.

In fact, that's exactly how it was until in June GitHub started requiring login for searches even in just a single repo.
What's amazing to me is that you can buy a device called a NanoVNA for $300[1], which will test transmission lines from 50 Khz to 4 Ghz, with a remarkable degree of precision. This used to be the domain on instruments costing $20,000 and up.

I myself have a knock-off that goes to about 1 Ghz and was even cheaper, and it was quite instructive in helping me get a feel for reflections, etc... and came in handy installing some SMD capacitors in the right places on a 100 Watt UHF amplifier for the 440 Mhz band. A few mm of movement made all the difference in the world in terms of matching.

[1] https://nanorfe.com/nanovna-v2.html
this is true. Being 39 I realized I still can't pay down that down payment because I don't have a vast amount of money I was able to save up, being in a HCOL area, and even if I do get a loan, I won't be able to pay it off before I retire (If I live long enough). And every time I save another chunk, the cost goes up so much more that the chunk I saved may as well have been zero, so I need to use that money to live by this point. Not to mention that mortgage gets more and more unaffordable.

It is a horrible spiral, and I have no idea what I can do about it, other than get richer parents.
Ask HN: What to Do After Burnout?
I’ve spent the last 15 years working for startups and before that was doing software development for agencies, and I don’t think I can do the deadline driven pressure cooker work I’ve experienced in both of those anymore. Getting work done lately has been an incredible struggle — which just compounds the stress as things build up. I recently had a kid I would really like to be able to spend time with him without have work stress in the back of my mind, or being worried that I’m going to get pulled away to deal with a production incident.

I am still at a startup currently, mostly coasting on my previous reputation as someone who got stuff done and because I have no idea what do next. Getting a different job in a startup or an agency sounds like the last thing I want right now. From what I’ve heard big tech is not all that much different, and a non-tech programming job sounds like it’d be boring/horrible in a different way.

Software engineers who’ve experienced burnout — were you able to get past it and find a job you enjoyed in tech? Or did you have success switching careers entirely?
I totally disagree. I think it is more likely we will have quantum chips running your iphone before this prize gets cashed (and I am a bit of a quantum computing sceptic).

For comparison, even field medalists sometime struggle with getting gold medal in the time allocated or identify the trick needed in solving an IMO question.

The difficulty difference between solving an IMO level 6 problem and solving an open math problem is much smaller than most imagine.
An important part of mathematics is indeed formalizing such objects. Mathematicians go further, question these assumptions, and abstract from them. For example, removing constraints on fields gives us rings, groups, semigroups, and categories, and exploring what can still be said about them.

But I'm sure pure mathematicians would also be totally fine studying randomly generated rulesets. The only restriction is that they should not lead to immediately obvious contradictions, since those would probably be kind of boring!
Especially that nowadays password authentication may fade away soon.

Windows already supports password-less authentication quite well. It's just a matter of time until there are good solutions for Linux too.

I have already some systems set up in a way that they ask for a TOTP when doing username/password login via SSH: https://github.com/google/google-authenticator-libpam
The way to fix it is better public policy about food, pricing, roads, active travel (make biking and walking more useful for work and shopping), etc. Making a shitty environment so more big box stores and casual dining chains can open and then berating fat people is as cruel as it looks.
This would be great if it was an optional part of the wipe process. Turn old Android phones into offline encyclopedias.
Worked 6/6 times for me.
I got back into World of Warcraft (Classic) after like 15 years and found the economy to be completely broken. Apparently there's a ton of bots that aren't being banned, creating a massive wealth source. As a consequence there is steep, steep inflation (but I'm not sure how the one causes the other... it's as if high-level characters have a ton of gold) To any who remember the classic economy: Swiftthistle is 6g each and people are given 150g just to participate in a dungeon.

All the fixed price items (mounts, vendor items, skills, etc.) are basically free, which has an interesting effect on the economy in some ways: bags, for example, sell for a lot, as an upper-bound for what the user-crafted bags should sell for. Now they're by far the cheapest option, so nobody crafts bags anymore. This kind of reminds me of a government price-controlled good and the chilling effect it can have.
Amazon's new $195 thin client looks just like a Fire TV Cube
I don't really think ethics courses works even if you just ignore the facts that all ethics are subjective. Most companies I have worked with has ethics training with quiz in the start and it is obvious what the answer should be for each question and you are supposed to select that, not selecting what you would actually believe.
Unix domain sockets support peer authentication, which is way better than anything network sockets do, and the threat that you need HTTPS to protect against doesn't exist with them.
They say expressly when it will be removed in the ToS, if it doesn't meet any of those conditions, then they, contractually, cannot delete it.

But saying that "because they can, they can" is silly. I "can" (as in able to) break into your house and steal your shit. By that logic, if I can do it, it wasn't trespassing or theft.
Is there a way to determine if a phone supports this without just going ahead and trying it? I'd rather not spend the money if it won't work =)
o wow, the KPI of user acquisition should be through the roof with login required
I'd rather be dominated in a political arena than in a military one, which is pretty much the alternative. At least as it is the small countries can throw their weight behind the larger one that has their interests most at heart.

As far as colonies are concerned, that's a very thorny issue and also even further off-topic, and for NL (where I'm from) it is a very much embarrassing issue.
I've been using sourcegraph when I'm not logged in, which has also the bonus of being a lot better (at least when compared to the old search).

It's as simple as appending the repo URL, starting from github.com: e.g. sourcegraph.com/github.com/rust-lang/rust/ (you can try searching for unit on this repo)
https://archive.is/jHeVJ
I don't think so. There is a growing movement on places like Instagram and Tiktok, currently it's mostly played as a joke but there are woman complaining about how they said to a guy "No" and he backed off instead of trying again. Many women want to play hard to get and want a guy to try multiple times. The problem is if an attractive guy does it then he "is confident and really wants her", but if unattractive guy does it he's a "creep who can't take a hint".
>it probes releases every few hours

I can't think of any software I've ever used that I was this concerned about release schedule. Even if I was a user of your site, I might check it daily, but even that is doubtful.
Contrary to what the Dan Luu article says, I see a very specific detail from Bruce Tognazzini that takes the mystery out of the claim that $50MM in research says the mouse is faster. Once you go past the expired certificate warning you can see it too at https://www.asktog.com/TOI/toi06KeyboardVMouse1.html

It's in the context of inconsistent keybindings across different apps, and the pertinent detail is, "It takes two seconds to decide upon which special-function key to press".

Contexts where you instantly know the keys to press are different from what the $50MM research studied.
Human nature is sometimes more malleable than we think.

Many aspects we attribute to human nature are products of a more subtle tribal instinct, yet influenced in a particular way by culture and nurture.

10,000 years ago people didn't consider other tribes as human. 100 years ago some people didn't even consider other races humans. Now, while racism still exist, we don't have those ideas anymore.

In short, let people cook and see what it changes over time.

Sometimes we see positive changes in our society.

Sometimes those movements crumble down due to its own futility.
Whatever studio comes up with the solution to "you should really use those consumables/spend that gold" without the solution inducing anxiety will be a complete hero in my books.
Aside from performance concerns, there have been many occurrences of bad actors using code search to find hardcoded credentials, and then using that to gain unintended access to additional systems.

I suspect the change has more to do with security concerns (and having an audit trail) than performance.
Netflix famously uses it for streaming content

- https://papers.freebsd.org/2019/fosdem/looney-netflix_and_fr...

- https://people.freebsd.org/~gallatin/talks/euro2021.pdf
Hmm, I don't know if I want to add "pay to win" games to the list, even with a tag, as then that will just be every game on the play store. I will think about it, though, thank you!
> The bots can still do a git clone and index everything

Of course they can, but then they're gonna be chewing up their own disk space and bandwidth for anything after the initial hit. I think the real problem is that the bots hit the GitHub servers over, and over, and over again.
Robot Dad
No wonder they are forcing everyone to RTO
Why do you guys do it?
You can still clone and grep, can't you? You can't file issues or submit PRs through Github without an account, either.
Becoming a member means sharing your personal information with GitHub and abiding by their terms of service. It also implies that they will then track and profile locations where you sign in, technologies you use to interact with their services etc. That's a lot to give for "I want to browse a piece of code someone made for free".
Personally I find the FreeBSD package approach more elegant. We have the "pkg" package manager as standard on the system. If you want to install into a jail you simply add the -j flag.

There has not been a lot of documentation on how to do service jails. Maybe because a full jail (with a full and reasonably sized OS) is so trivial to setup.

But there is no denying that Docker have had great marketing and a good use case.

I do however think the real reason no matter how much of a FreeBSD Jail or Solaris Zones fan boy you are - you know that Linux is the elephant in the room. That brand name alone without arguing distributions.

Linux already had a huge market and mindshare compared to FreeBSD or Solaris. And when Linux got CGroups you had (within reason) feature parity. For anyone who are not daily distro switchers changing your base OS is no minor feat. So even if CGroups was not perfect the incentive to switch is not huge.

But it does make me sad that Docker has become so prevalent that a Docker image is the only way some projects make releases. All too commonly without documenting the build steps. Do not be so hard on your posix friends, please!
I have to imagine the “unattractive sickly stage” is likely related to basic things like monkey brain “hmm that person doesn’t look healthy maybe I should stay away from them”. Or pattern recognition stuff like “don’t see that everyday. What’s going on here?” that could lead to the skepticism and lack of trust and confidence.

Otherwise people generally like looking at pretty things and being surrounded by pretty things. Interior, product, etc design is a thing because people will buy something for how it looks over how well it actually functions. Or all things being equal or close they will pick the “pretty” one. They are attracted to it, drawn to it. Artwork that is appealing to enough people is worth more than artwork that isn’t.

Of course it is the same with people.
The goal of these words is to minimize the negative associations, or maximize the positive ones. A lot of corporate lingo is aimed at this. It's a trend that won't die (pardon, "won't un-live") because it's unreasonably effective at obscuring an otherwise bad situation.

Either it leaves a better or less worse opinion of what was said compared to normal language, or it makes everything so unclear that the listener has no hopes of understanding the real, desolate, message.
To clarify, I as a relatively well-off adult would consider donating towards such a prize pool with the explicit intent of drawing people who aren't as willing or able to give money themselves towards solving a problem that I believe would benefit humankind. That is, I have a personal interest in that outcome (especially as compared to that tech being closed and controlled by governments/corporations) and would be willing to donate money to motivate others to join this effort and make this model open source.
The God who Peter Molyneux forgot (2019)
I feel like age hurt him for sure. You see Donald Trump in Home Alone and he looks like an average white dude. But now he looks like a troll.
Hitchhiker's Guide vibes
I agree that men should be better at taking a hint, but I think there are a few reasons why men continually push, which mostly boils down to survivorship bias. First, you have plenty of pop culture movies where the guy strikes out time after time, but then eventually is able to win the heart of the girl. There is also the family stories of how "grandpa" kept asking "grandma" out and she finally said yes. A guy who never tries will never win, so you have to try to have any hope of winning. At this point is it baked into men's genetic code for survival.
Donate all you want but, most importantly, talk to your manager about making a corporate donation.
I think GURPS (or at least some games that use this engine) use the mechanism described: https://gurps.fandom.com/wiki/Wealth
Have you tried a restore?
Much less so. It can easily be parallelized without running into rate limits of the proprietary search API. Then once you've cloned it once it's on your system and you won't have to talk to github again. So much more sensible.
Every person learns about printers the same way.

1) Buy a cheap inkjet printer

2) Discover it runs out of quick within ~50-100 pages

3) Learn about the distinction between laser and inkjet printing

4) Buy only Brother laser printers for the rest of your life

It's a rite of passage at this point.
If anything, the SM7b is way more podcaster voice than a u87. People get them and get as close to them as humanly possible on every podcast and twitch stream and YouTube video ever. I would say the Neumann is definitely more accurate, but probably to a fault. The extra detail is going to reveal a lot that the average person in an untreated room at home is not going to like very much. It’s only going to be more bass heavy if people try to eat it the same way do a dynamic.
I've been working exclusively on MBPro's, no external screen, for going on 10 years.

There are issues, usually related to screen sharing from people using giant monitors. Some developer applications assume you're on a huge monitor. Not every sidecar can be hidden, not every grid has resizable columns.

In the end, though, I would never switch from leaning back on a couch to leaning forward at a desk.
KPI driven development.
More earlier: https://news.ycombinator.com/item?id=38418282
> recognizing musical instruments or musical pieces by listening

I've been wanting to create such a deck for myself. Do you have a reference to what source material you used / a shared deck?
I like the idea of starting players off in massive debt. Any money they get they have to choose between spending it on their characters (new gear or whatever) vs paying down debt. If they spend it on themselves, they'll be in short term danger (creditors come after them to try and collect, with interest!), but if they pay their creditors now they forgo new gear.
Ramanujan summation (1 + 2 + ... = -1/12) is used in the derivation of Casimir effect I'm afraid.
yes I mean more accessible to the general public yes.
To those arguing that GitHub needs to do this because search is resource intensive, why can't GitHub put their code search behind something like Cloudflare Turnstile?

See e.g. Troy Hunt doing this for HaveIBeenPwned: https://www.troyhunt.com/fighting-api-bots-with-cloudflares-...

I have had my own issues with Cloudflare Turnstile (https://news.ycombinator.com/item?id=38412057), but in principle, I don't see why can't this be done
Maybe if the bot operators have the resources, but it's far from trivial to keep an up-to-date mirror of every project on Github, especially if Github is actively putting up barriers to prevent it. Once login is required, it becomes much harder to bypass rate limits because the company can rate-limit signups from unknown domains, enforce 2FA, etc.
Python Is Easy. Go Is Simple. Simple != Easy
Not sure how late puberty can shift, but that seems like a confounding factor (time of start of puberty compared with time of photo).
If your laptop is 8-10+ years old, surprisingly yes (not sure about the suspend/hibernate part, I doubt it). I tried to recycle a friend's 2 older laptops and most everything worked out of the box. I even installed the "Chicago" Theme (looks like win95) [1] for ease of use.

1 - https://www.youtube.com/watch?v=SpaSXca-tEs&t=214s
CDE: https://upload.wikimedia.org/wikipedia/commons/a/ae/CDE_Appl...

CDE had different default color schemes from different vendors but most of them were pretty colorful in pastel hues.
It's likely to avoid crawling, especially to train competitors to GitHub Copilot or other LLMs.
You are axiomatically not wrong about bots. That's what all the platforms in the Reddit genre do to fill content voids. It long predates sophistication like LLMs. It's like bots in a poker room site. The UX would suck without them.

But Reddit probably has the scale to do without in popular parts of the site.
But they won't let me log into my Google account for which:

1. I know the password

2. I own the domain

3. I can send/receive emails (mx records are set up on Fastmail- but the account was also used for Google Drive)

4. I'm using the same device I used previously (and created it on)

Why? Because I don't have the same phone number anymore.
I see no reason to believe such a machine would be helpful for algorithmic trading. Why should it?

How well do current gold medalists do in trading?
Honkai Star Rail Ministry of Education Quiz Answers
The Ministry of Education quiz stands as a recurring Daily Mission within Honkai: Star Rail, presenting challenging questions to players once per day. https://www.assignmenthelp.net/sitepage/Honkai-Star-Rail-Min...
It gives a numeric quality rating but I don't see where it states what the number means.
Maybe somewhat, but is anything I said that much of a leap?

Do you consider AI to have already considered substantially to the advancement of science?

For example AlphaFold, Weather forecasting, Algorithm optimization, etc
I am 6'2", very rarely not the tallest or close to the tallest people in groups I frequent - until I got invited to a c-suite meeting of the financial services executives for company I was at the time working for - I was a virtually midget in that room - first time in my life I was the 'short guy'; I found it quite humorous, and not a coincidence.

Same company, one of the smartest, friendliest and hardest working guys I knew was short (maybe 5'6" and completely bald) - he deserved to be a VP or higher imo, but never made it very far up the chain and left - also not a coincidence.
Isn't it still a bit rare? I mean, to get any valuable results, I have to run uBlacklist (a search engine results filter) with a fairly large set of filters.

Having a well-written tutorial on one page, with no monthly fees, licensing, SEO, or ads (and someone who actively responds to emails!)... that's still quite rare, at least in my experience.
Summary of OpenAI Drama
It's a weighted average over the prompts and data. Mediocrity is exactly what we'd expect from such an approach.

Now, if we end up seeing mastery, that would be extremely interesting.
I am not at my computer and won’t be for several days, so I can’t check this myself: is Orca-2-13B available in their model library? How about Ollama?
It seems likely that there’s a common connection here between physical attractiveness and success and some third factor. For example, someone who is a harder worker or a perfectionist likely tries harder in all areas of their lives, of which career and physical appearance are just two outward manifestations. Someone who has a downtrodden mindset is unlikely to meet success in any dimension, which again includes physical appearance and career success.
The researcher correctly pointed out that you don't have to be an admin in order to exploit this vulnerability.

The example given was "Sales" role users who should only ever have limited access to the admin panel.

> You are taking for granted that end users in the "admin" area are all admins, but it is not always true for other installations. I tested different versions of OpenCart for some clients I work for, where they created multiple "sales" users with different roles, which were not admins but only non-technical people with an account provided to update price info and products. Upset employees, phished users, XSS, etc. are all possibilities that make the exploitation feasible in this case and allow unauthorized users (the sales guys or whoever uses their account) to execute arbitrary commands on the server, which should never be the case with the roles they were provided.
The GDPR twigs me out, and has since I first heard of it. I'm glad I'm not writing code for the EU. I've spent decades trying very hard NOT to lose data, and they just want to force systems to add data loss, and the inconsistency that generates, as a feature.... it's just sooooooo wrong.

It's wrong in the same way that DRM is wrong.

Am I alone in this?
This is great, I have difficulty with the navigation though, it seems you can get stuck in some part of the library and there’s no button to go back to the beginning.
"Degrowth" is weird enough that I think it more likely calls attention to a problem than hides it.
It's such a dumb rule to even have. If the article shows 10 Ways To Do X, then it is pretty accurate. How To Do X sounds like there is one way to do it, and it's being shown.

What happened to the don't editorialize rule, because that's exactly what's being done in the provided example. You're not just shortening an acceptable length title, but you've changed the meaning.
Yes. Open source doesn't require that you distribute the software to anyone. It only requires the the people you do distribute it to (if any) all have access to the source code under an open source license.
Well there's the screen part of it, but for me it's the idea of having a 2 year old drill and memorize facts every day. I'm sure many kids will enjoy the attention they receive from their parents for doing it. But this age is all about imaginative and pretend play, exploration, and learning by interacting with the world and others.