skysight-inc/HackerNews huggingface dataset:
Author of the original article here. I feel your pain, but again, it's just a different set of conventions. Mathematicians are used to f(x) = ... kind of notation. Once you get used to it, it makes total sense. That particular one I got used to ages ago. f(x) is the same as a function in your code. It takes and argument, x, and returns some value.

Often specific symbols have implicit meanings, like theta θ is pretty commonly used for some angle, r is often used to mean a radius. So you'll often see something like "r sin θ" with no explanation. At first it's meaningless, but once you know the conventions, it's crystal clear. It's considered so basic, that nobody would waste the space explaining it. Same is if you're reading something about code and something says "const float x = 0.1" or something. The author is probably not going to go into an explanation of what a const or a float is or what x means. You're expected to know.

So what I like about the book is that helps someone without knowledge of all these conventions to begin to understand them.
This all assumes that Afghanistan remains named "Afghanistan". The unicode for the flag is two code-points (U+1F1E6, U+1F1EB), which are Regional Indicator Symbol Letters "A" & "F", respectively. But what if the country is given a new two letter designation to reflect an updated name? Looks like maybe "is" is not taken in ISO 3166-1? [Edit] IS is taken, for Iceland per ISO 3166-2 https://en.wikipedia.org/wiki/ISO_3166-2:IS
Exactly. Everyone who loves cars wanted an electric pony car or Corvette, despite the niche. Ford tries to play to a more general audience, luckily pulls it off, but still pisses off us car guys.

Honestly, they've done worse, but I grit my teeth a little when people say the name. And yes, I get that I'm irrational about a brand with the rest of the minority I know who is also pissed. It's history, though, ya know?
Well, I certainly have the ability to pass hard interviews with a lot of preparation, but there comes a point where you wonder if it's at all worth the effort.
What do you like to do?

It almost sounds like you don't know what you want to do.
Purchasing history is some of the most personal and sensitive data there is about you. It can reveal nearly everything.

But, ignoring that, there's a very good reason why you might want to keep as much data out of the machine as possible -- even data that, on its own, is of no importance. That reason is databases. The data you provide to any business will be combined with the data you've provided everywhere else. All of those items that on their own are of no importance become incredibly intrusive and privacy-destroying when combined with each other.
I guess this is an answer to the question but it doesn't answer the motivation behind the question. Why should we care about these things being public? You can tell my gender and rough age by looking at me for a second. If you want to keep those private your grocery store is the least of your concerns.
I hadn't heard of Spring RTS, but my friends and I played Total Annihilation as kids and have recently started playing Zero-K, which is apparently a fork of Spring. Can recommend! Free on Steam, actively updated.
the example in the readme doesn't render correctly for me (Chrome on Windows 10). is this an issue with the font or what?
I'm curious what the target audience this book is for. The chapter "Our Goal" says that the books is to teach programmers how to engage mathematics, but programmers have wide range of mathematical maturity. The second theorem in the book is as follows:

For any integer n >= 0 and any list of n + 1 points (x[1], y[1]), ... , (x[n+1], y[n+1]) in R^2 with x[1] < x[2] < ... < x[n+1], there exists a unique polynomial p(x) of degree at most n such tat p(x[i]) = y[i] for all i.

So, it seems the author assumes that a reader will have math maturity of a good senior high-school student, as most of students wouldn't need to worry about property of existence. The book also covers the proof of such theorem with formal notations and the proof is built up with previous theorems -- a pretty standard way in math books which nonetheless requires math maturity of a good high school senior. The table of contents also shows that the book will cover linear algebra, calculus, and group theory in a whirlwind. Again, such content demands close-to-college-level math maturity. I'm also generous here, as public schools of the US do not really teach that much formal math.

So, here is the dilemma: people with this level of maturity should already be good at math or have access to other materials to help them with math. People who do not possess such maturity will not go through the book anyway, or have more beginner-friendly materials to read. Note I'm sure there are exceptions, but I question the percentage of such exception.
From what I can tell, I think you're mixing stories.

Trump's initial action was to restrict travel to China, not outright ban flights. US citizens and their immediate families were still allowed to fly. Whether this action was "quick" is at least somewhat debatable.

The only outright ban on flights I could find was something from June [0], well after the initial restrictions were put into place, and that was in response to China refusing to allow more flights into China from US carriers. It was also (partially) lifted just a few days later [1].

[0]: https://www.regulations.gov/document/DOT-OST-2020-0052-0014

[1]: https://www.wsj.com/articles/u-s-eases-flight-ban-on-chinese...
If this just start popping up and without an explanation string, my guess is they included some 3rd party SDK that is doing fingerprinting on the local LAN, much like FB SDK's used to do.
There are a lot of hidden assumptions in this response. With the wage share of income and employment fallen, there simply isn't enough purchasing power given to the masses to sustain the consumer economy at full throttle.

If you want more growth, either you have to fix those things, or shift away from a consumer economy.
Btw, you seem to be underpaid. You should be getting 300K-500K GBP total comp. Shouldn't have an issue buying a house.
"apparently in a tug of war between gamers and crypto miners"

That, and the oligopoly of AMD and NVidia. Their grip is so tight they dictate terms to card makers. For example; you can't build an NVidia GPU card unless you source the GDDR from NVidia. Between them the world supply of high end GDDR is monopolized.

Intel is going to deliver some badly needed competition. They don't even have to approach the top of the GPU high end; just deliver something that will play current games at 1080p at modest settings and they'll have an instant hit. Continuing the tradition of open source support Intel has had with (most) of their GPU technology is something else we can hope for.
I disagree completely. I'm insanely more productive as part of a team than I was in 199x.

Not even talking about things for software development specifically, but for general-purpose word-processing and spreadsheeting and scheduling, you've got:

- Live collaborative cloud editing over mobile. The back-and-forth that previously might take a week can now be done in half an hour while you're in the back of an Uber in a different country

- Googling how to accomplish spreadsheet tasks. Stuff that you'd just give up and not do before, or would take you days to figure out on your own, there are tons of blog posts and YouTube videos letting you get it done in half an hour

- Tons of scheduling and information-gathering improvements. Looking at people's Google Calendars live to find a meeting that everyone can attend, sending a Google Form to collect lunch preferences rather than contacting people individually, and so on

The productivity of modern administrative office tasks has skyrocketed with collaborative, mobile, cloud-based tools.

Getting stuff done as a team with static Word and Excel files that were stuck on a physical computer at a physical office while you tried to decipher printed software manuals was slow.
What are some things that you connect well?

Things you love doing without looking at the clock?
Theoretically maybe, practically we have a proverbs 'No one is fired for buying (IBM|MS|Google|AWS)'
Capital One and Citi both have OAuth APIs that permit different levels of permissions.
Forget jobs for a minute. You want to create a life with your partner. Where? The two of you, thinking about life together... where do you (plural) want that to be?
> it is easier to contribute code than convince an artist to contribute art tailored to a very specific style

I sometimes wonder if modding scenes draw most of the volunteer artistic talent that might otherwise be available to open-source projects. There have been some pretty impressive assets created for Skyrim or GTA V mods, for instance.
Thank you. I've been trying to make mindfulness a habit for a while now. I'm hoping it will clarify what it is I actually want to spend my time on.
So, for the complete formal answer get Mitzenmacher's book: https://www.amazon.com/Probability-Computing-Randomized-Algo...

There are incrementally resizing versions, generally under the name Levelized Hashing. The most state of the art versions of these are lock free. (example: https://www.usenix.org/conference/atc20/presentation/chen)
When an app tells you it’s stealing your data, I would say you should believe it.
absoLUTELy
>> I don't think many people expected Afghanistan to fall. A month ago in a press conference Biden said he was confident that the Afghan government and military could defend against the Taliban successfully. Was he lying to the American public if it was so obvious? I personally think he was just incredibly ignorant and incompetent, rather than lying out of malice.

> This is from June 23, with the US absolutely expecting the Taliban to win, just for it to take a little while longer.

That's from 3/4 of a month ago and "revised their previously more optimistic estimates" based the events that occurred during the previous week. They still gave the government six more months when it didn't even last one. I think that's broadly consistent with the GP.

I agree with the GP, a lot of the US government statements I've seen recently about the Afghan military situation just sound clueless and dumb. Like someone who's still taking paper estimates at face value in the most simplistic way, when actual events clearly contradict them (e.g. our numbers show the Afghan military is 3x the size of the Taliban, they can still win!). Also the talk of a negotiated settlement just makes them sound like they have their heads up their asses. Why the fuck would anyone make concessions when they're winning so easily? It makes no sense.

Also, in retrospect, symbolic deadlines should be considered a giant a red flag signaling a bad plan.
> Yes, I could figure it out, but I want plug-and-play, stability, and backwards-compatibility

Its right there in the ROCm introduction.

https://github.com/RadeonOpenCompute/ROCm#Hardware-and-Softw...

> ROCm officially supports AMD GPUs that use following chips:

> GFX9 GPUs

> "Vega 10" chips, such as on the AMD Radeon RX Vega 64 and Radeon Instinct MI25

> "Vega 7nm" chips, such as on the Radeon Instinct MI50, Radeon Instinct MI60 or AMD Radeon VII, Radeon Pro VII

> CDNA GPUs

> MI100 chips such as on the AMD Instinct™ MI100

--------

The documentation of ROCm is pretty clear that it works on a limited range of hardware, with "unofficial" support at best on other sets of hardware.
Brain and testis: more alike than previously thought?
> But the big stores that don't have loyalty cards are still slurping up data; they just get it from your credit card and their cameras.

True. If you're paying with a card, you might as well use the loyalty program as well.

And be sure to put your cellphone in airplane mode before you get to the store.
>before they or their family knows

To be clear, it is before their family knows and not before they know. It is extremely difficult to figure out someone is pregnant before they know. It doesn't take any complex analysis to see someone purchasing prenatal vitamins and conclude they are pregnant.
> Although if it were 100% remote, that definitely trumps my current job.

It seems to me the London location is a constraint not because of your job but because of your partner. So I'm going to play devil's advocate and say that you may as well capitalize on that and get a job that can't be remoted away and get as much out of it as you can before you both decide you've had enough and move away.
Isn't the context sensitivity handled when you build an AST with the action statements in Yacc?
Hacker News does not allow content behind a paywall. Please post a non-paywalled link.
Disclaimer: I am not a licensed therapist or professional in any way. Just a random person offering an opinion.

I think you need to really weigh the options and give it serious thought. If you're so miserable that working made you cry, and you don't like the city you're living in, I think you need to strongly consider putting your needs first. If you're miserable, I can guarantee you that the people that really care about you will also be miserable... so you're doing them a disservice by continuing to be miserable.

It seems like you already know what to do. You really liked your hometown. You don't like London. Just go home and see how it goes. If it doesn't work out, you can restart. If it does, then great. Life is so short, don't spend it being miserable.
Interesting! When HN discussed that story a few months ago[1], the common notion was that the driver had enabled autopilot and climbed into the back seat.

Your take seems a lot more plausible.

[1] https://news.ycombinator.com/item?id=26869962
I would argue that the granddaddy of them all is the PLAY statement in BASIC:

https://hwiegman.home.xs4all.nl/gw-man/PLAY.html
I was motivated to think of these use cases of sharing research when I found out a project to scan, transcribe and translate thousands of hand written journals was done by sending memory cards back and forth. I thought maybe Fossil scm would be a good option with file blob and wiki support, but the learning curve isn’t there, people take the path of least resistance.

I think a lot of research groups are still in list-servs, and I haven’t seen any social networks catering to advancing cross disciplinary research. Maybe something could be built on top of LibGen ?
I tried this game a few months ago. concept is good. too many annoyances, bad design. uninstalled.
That I definitely agree with but if I understand you correctly you're quite miserable now so an alternative looks relatively attractive.

Can you try to get into the hiring committee at your current employer? You'll get some free practice.
Yeah, very good advice. It is very important to know what you are one earth for. This knowledge sometimes disappears, always changes, must continually be updated, etc. But it's key to be able to navigate in the total uncertainty that is life. Seeking help for that is totally normal and useful. You'll get many things from a therapist.

Somehow some people are lucky enough to be at the sweet sport between what they like to do and what they're able (in the sense that they are in a situation where they can express they qualities,...) to do. But for one match there are so many mismatches, just a question of luck.
Heya, thanks for the feedback!

We were trying to replicate a Typeform-like feel (questions, one by one) to make it more palatable but the goal isn't to bait you into thinking you're done.

Do you think we're missing something to replicate the feeling of a nice Typeform, or do you think Typeforms in general are similarly annoying for you?
The key part of his suggestion was “remote”. As someone else mentioned, you’re net positive comparing a high salary, living in London, with a lower paying job, living elsewhere. If you live somewhere else, you could do with less income in a more fulfilling job.

But you need to quit. You’re on a collision course with a burn out. Avoid at all costs. This will mentally scar you for the rest of your career. It’s no joke.

The important part is to get control back over your life. Your happiness.

My advice would be to jot down all your options and how they relate to each other and then go over them _with_ your partner. Maybe have them read your Ask HN post and everyone’s reply if you haven’t shared your doubts / feelings yet. If your partner wants you to be happy, and you want to be happy together, this is a problem the both of you need to solve.

Best of luck!
Frisbees are light and flat and they fly great, intuitively we think that being light and flat is all it takes to make a Frisbee. It turns out balancing lift such that a Frisbee does not flip is also really important. Things that are not designed with such balance in mind generally make pretty miserable Frisbees.
Is Mining still profitable?
It came sort-of in the middle, and a bit more at the end, but my reading is that the thesis of the video is that games are a rip-off; emulate the classics and you’ll have a better experience than chasing the newest wave of hype (and will save hundreds of dollars).
To put it another way, do you think that the harmonies and flourishes are written before the chord progression and the melodies?
I am seeing a lot of "institutions lied to us and are actively keeping information from ourselves" when people try to justify acting irrationaly. I don't agree with this premise at all. What do you mean they keep information from you? This assumes that information can be contained, which in most cases is impossible. There is always leakage.

Now, to be more generous, I will assume that people are actually criticizing how "institutions impose a mainstream view that is difficult to replaced even when facts say it should". To that I say: fine. But even in this case, there should be enough resources to form a rational opinion over the matter (with probabilistic reasoning). Hell, I have a lot of non-orthodox opinions that are so out of Overton Window that I rarely can discuss them. And even in these cases, the internet and Google Scholar/Sci-hub were sources that helped me explore it.

So, I have no sympathy for this "institutions lied to us, let me believe now whatever I want" bullshit.
I'm a bit confused reading this. Is the lawsuit that users signing up for e.g. Venmo didn't know that they were also giving their transaction history/whatever to Venmo, or that Plaid was then taking the data passed to Venmo and reselling to, I don't know, a hedge fund?

If it's the former -- I certainly think services need to clearly state what/why/how they are using the data, but it's on the services (like Venmo) and not Plaid.
absoLUtEly
this immediately screams HEY FUCK WITH ME PLEASE FOR HOURS ON END SO YOU DONT GET ANYTHING DONE
Yeah, Samsung 8nm, which is basically Samsung 10nm++++.
I do agree on the need for a surprise effect to make it fun to play, but surely the number of developers who are in on the surprise is so vastly outweighed by the potential number of players that the open development model should still work for the 99+% of the audience who aren’t part of the development?
I don't necessarily disagree with this if constrained to a narrow market segment.

I have become fond of saying that reality can't be reduced to a single variable, it's a complex multivariate problem.

I think I can say that most technical product sales do not depend on documentation. Some do. Some might, in part. Some not at all.

Selling is interesting. I didn't think so many decades ago. I was forced to learn to sell once my startup finally had a product on the table. Literally. A hardware product.

At first I sucked at it. I sold like I now recognize most engineers sell. It's terrible. I was terrible.

I enlisted one of my good friends and resellers to train me. Within about eight months I was selling as well, if not better, than they were. The reason for this was that I knew how to sell at their level but could go hard-core technical when and if it was required (rarely).

Towards the end I was able to sell our hardware without uttering a single word about the product. I'd show-up to a demo with the product, hand it to them, quickly help get it wired and then shoot the shit with the people in the room. Capable technical folk don't get you into a room product-in-hand unless they've done some research. Which means that you going on and on about the product is pointless. If they have questions, they will ask. I sold more product this way (millions of dollars) than by rattling off specifications, features and showing-off our documentation. I can't remember anyone ever asking me about the documentation.

Your mileage may vary.
Yeah, I've noticed that a lot of "monospace" fonts don't actually use the same character width for all characters... What makes it even worse is that the "monospace" font used by GitHub is one of those. It screws me over from time to time as I like to format things nicely and use a lot of unicode...

I think I will need to add some images to the readme as well, just make it looks less wonky. :(
I expect AMD to start using N3 after Apple and Intel have moved on to N2 (or maybe 20A in Intel's case) in 2024 so there's less competition for wafers.
Life would be easier if we could agree on one rational decisions in history and then just repeat it as necessary.
This is also captured in the “midwit phenomenon”, where people who are just smart enough to start applying “rationality” make worse decisions than stupid people. This is because stupid people are operating off of hard-earned adaptations (encoded as traditions, folk wisdom, etc.). Midwits are smart enough to realize that the putative justifications for these adaptations are wrong, and therefore they toss out the adaptations. People who think about it even harder realize that these adaptations were mostly there for good reasons, and getting rid of them isn’t a good idea even if the relevant just-so stories explaining them don’t hold up to “rational” scrutiny.
Lots of what you don’t like, little of what you might? Seems just about where so many of us have been in the past, so don’t despair!

The general advice is to sit down with your partner and plan out the outside-work five-year and ten-year plan. Does it involve kids? Moving? Founding a startup? Having a proper weekend hobby or starting already on checking off bucket lists?

The only way out of a rut is change. The longer you leave it, the worse the choices will be.
My Years on Wall Street Showed Me Why You Can’t Make a Deal on Zoom
> removing a tiny bit of business from Amazon and paying your local shopkeeper probably also has meaning.

It might be fair to say that removing business from Amazon has no real impact but giving that business to a small business does.
If you've got the right utility functions, a handwritten parser visually maps very directly to its grammar. It won't be as concise of course, but cognitively you can work with it almost as if it were just a grammar.
Yep, that’s the definition I’m familiar with.
Rational thought is important, but not sufficient. For example, moral conscience is a far more important trait to me. Some people will argue that pure reason is enough to establish a sound moral system; I don't agree but that is a debate for another time. Looking at the end result, Greg is not someone I admire or would want to be:

> Greg...became a director at a hedge fund. His net worth is now several thousand times my own.