skysight-inc/HackerNews huggingface dataset:
> The compiler is open source, and written in rust.

Wow, that's really appealing to me; thanks for pointing that out. I was thinking "well, this looks nicer than LaTeX, and I'm really frustrated with LaTeX, but I really don't want to jump right into a big WYSIWYG thing". Now I'm really interested. Most of the other "replacements" suffer in some big ways (Markdown and RST/Sphinx are great for structured content, but not great for meticulous control over the presentation).

$ cargo install --git https://github.com/typst/typst

...

$ printf 'Total displaced soil by glacial flow:\n\n$ 7.32 beta +\n sum_(i=0)^nabla Q_i / 2 $\n' > file.typ

$ typst compile file.typ output.pdf

And I've got a cool rendered PDF with a math formula!

I'm very keen now to see exactly how flexible, robust, and extensible this is. LaTeX can do basically anything, but you pay for the power in blood. I would love a typesetting system that isn't horribly painful to extend.
What are you basing all this?
I would be more surprised by a crypto exchange that doesn't. Except for maybe Coinbase, none of these places take compliance seriously.
Most individuals aren't essential, and no one would prioritize them. However, a company is successful due to the individuals that work within. When 700 out of 770 employees in quite frankly the hottest startup in the world band together and threaten to leave (and join Microsoft) if they aren't given an appropriate explanation, it doesn't matter what anyone thinks an employer owes an employee. Implying otherwise is absurd.

If ~91% of the employees leave OpenAI, they will not be fine. That is delusional.
Yeah just like that right? Is more the board is saying “just give me one reason..”
What's interesting this time around is Kraken has fully bought into audits and cryptographic proof of reserves (complete with sample Python code to verify your account balance is included in the proof tree).

https://www.kraken.com/proof-of-reserves

https://proof-of-reserves.trustexplorer.io/clients/kraken

If there's any crypto company out there that "gets it" and is doing things right, it's them. The SEC is going after the big one this time. I can't wait to see how it shakes out.
Dashcam footage shows farmer dodging bullets as he saved 120 from music festival
yes, they extract the cells from the patient, then crispr them in a lab with a complex protocol, and then inject them back into the patient.

But it's a cure, not a treatment.
Other breaking news: Treating your employees like garbage is a dumb way to run a business, especially in an emerging industry where you are racing trillion dollar corporations to market and those employees are literally inventing your product.
https://en.wikipedia.org/wiki/Anarcho-capitalism
Given these non-reasons, everyone threatening to quit makes a lot of sense.
Ghoti is a creative respelling of the word fish
Not really, weights are just the magic that tells the machine what to do. If they don't have access to the training mechanism and/or the machine then they don't own OpenAI. I guess they are attempting to pirate the rest through employees, I hope they fail.
As an engineer, you generally don't know which one applies. Even qualified lawyers don't decide on the actual criminality (a jury or judge after a valid trial does).

So I assume that "reporting wrongdoing" encompasses reporting up your management chain anything that "feels off," from mildly misleading marketing to actual witnessed or experienced harassment. Probably, in the vast majority of the cases, you are not qualified to judge it.

And in any case, even if you are wrong and the reported thing is "ok", there should never be any retaliation for just raising concerns and speaking up.

Side note and something hilarious, creepy, but kind of making sense: at one workplace (not SV big tech, but a big company), I had a manager-only training about "illegal harassment" that explicitly taught us what kinds of harassment are illegal (against protected categories) vs. "just" breaking the company's code of conduct, with quizzes on hypothetical situations and asking us "is this bad behavior potentially illegal harassment?".
if nothing else it popularised TEA ("the elm architecture"), which a lot of other frontend frameworks have picked up on.
Investors are souring on OpenAI's nonprofit governance model
Adverse reactions to alcohol like asian flush are actually an evolutionary defense mechanism against alcohollism.
What would Airbus learn from it?

How to shoot yourself in the foot with bad management?

(On the other hand maybe some other company's board went through the docs, hmm)
Biggest bullsht reason to fire a ceo let alone a low class employee
Someone on the Qualcomm modem team should comment here - No clue about making image sensors but having spent some significant time with just such an engineer, the modem team people face some fairly absurd challenges. Their world seemed to be a vast collection of edge/corner/special cases to me. But they were all real world cases that were liable to happen all the time. When is a good 3g signal superior to a bad 4g signal? On and on and on. Making an image sensor at least naively seems like a smaller problem surface.
> This presents a good opportunity for other companies that adhere to legal standards to consider hiring these developers.

Kraken is my favorite exchange. They appear to put a lot of effort into abiding by local regulations in all countries they operate.

> I had consistently communicated my limited interest in the product, and both the technology and hiring manager appeared to be accepting of that fact

This sentence is so weird for me. Why would you want to work for a company if you seemingly don’t care about their product. And conversely, why would anyone ever hire someone for a role if the person looking to get hired doesn’t care about the product?
Is it possible that doctors and other officials stressed the importance of family planning and having fewer children to Ethiopian refugees? Almost certainly. Was that appropriate for them to do? That may be debatable, but it hardly rises to any sort of ethics issue.

Were refugees told they had to get vaccinations as a condition for their receiving asylum? Very probably; vaccination is frequently a requirement for asylum seekers in many countries. Were Depo-Provera injections also offered? Yes, we know they were. Were they, like vaccinations, mandatory? There is no evidence that that is the case, and in fact we have several accounts of women electing to stop the injections after getting them for months or years.

Is it possible that some female refugees, many of whom could not read, write or speak Hebrew (or even English) very well at all, were under the mistaken impression that the Depo-Provera injections they were initially offered were part of the vaccine series they were required to take? In theory, sure, or perhaps these women were misremembering the details of what happened while they were in the middle of an incredibly stressful and exhausting situation, and later forgot the distinction between what was required and what was optional. But even in these cases, there is no evidence that the women were forced to continue with the Depo-Provera injections against their will once they realized what they were taking, or even that any of them were ultimately unaware that they were taking birth control.

Does any of this amount to a policy of forced sterilization (or even forced contraception) of immigrants by the Israeli government? That’s a claim that rises beyond irresponsibility to outright dishonesty. But here we are seeing these lies being spread on HN…
When you say it is widely known, do you mean by a majority of the population, 10%, 1%, or 0.1%. Most of this seems very niche to me.

Do you think there is any legitimate way to criticize racial hypocrisy of zionist organizations supporting a racial ethnostate?

For what it is worth, I don't believe in any replacement conspiracy, especially not one carried out by a specific ethnic group.

I have however seen groups like the ADL quickly characterize any opposition as racist. For example, they consider those that participate in BDS and refuse to purchase Israeli goods in their personal lives racist and support anti-BDS laws.
> I've learned immeasurable amounts of information about things far and wide.

Like what?
Looks nice, but what's the purpose? Should it help to understand music?
OpenAI investors considering suing the board after CEO's firing
The truth is in-between, if a company tells you you're valuable or even irreplaceable they're buttering you up. Thank them but try not to let it go to your head, if the wind changes you can end up under the bus. But a powerful brand really can collapse overnight if 90%+ of employees leave.

We're seeing some odd bedfellows here, between the C-levels and VCs in closed door meetings and employees acting collectively. Normally these groups would be at odds, but today they're pulling together. Life is strange.
As an employee I want to know that the board/execs/c suite are doing a good job and their decisions align with the companies stated goals. If they are not then it is time to start looking for a new job so that I don't end up in a bad situation financially.
I have watched HR videos while employed at every tech company I have worked at that would insist that retaliation is forbidden and it's ok to report wrongdoing.

Let's say, for example, I wanted to report something along the lines of: <person_with_specific attribute> becoming a manager, then every one on the team slowly being replaced with <person_with_specific attribute> at <large_well_known_tech_company>. I'm not convinced this is possible without retaliation.

I would love to see a survey with one question asked at all tech companies with more then 100 employees. "Promotions are based on merit, answer from 0 to 10."
I didn't understand what this was from the title, but as soon as I read the explanation I felt like the authors had been studying me. I don't need to explain or rationalize what I'm doing here -- I am doing it, consciously, intentionally while knowing the lack of sleep is bad for me. It's kinda like smoking -- suicide for control freaks.
do you believe they will be fine if nobody leaves? can this be business as usual moving forward?

also if I learned anything over the years is that "threatening to quit" != "quitting".
Cargo cult of personality?

Little care packages of seemingly magical AI-adjacent tech washes into our browsers and terminals and suddenly a large and irrational following springs up to worship some otherwise largely unfamiliar personage.
Drink red wine and get a headache because of drinking it? Switch to white wine. Still interesting they found the source of the headache in the suffering individuals.
It seems that it would have been good to be basically extensions on markdown. For example why use = for headers rather than the established #. + For numbered lists is arguably an improvement on 1. But maybe they could support both. It seems like these are pointless differences.

Their math syntax is already a common Markdown extension but they seem to be more or less compatible in the framing although the actual match language is new which seems fine. Then of course they add on their macros.

So I guess the point is why diverge where not necessary. Not why diverge at all.
Yes. Because they're gambling with the customers' money.

That seldom ends well.
A federal government agency implementing and using facial recognition technology can't possibly be any more dangerous than I think
That's why they'd rather Altman rejoins OpenAI as mentioned.
If he has great sway with Microsoft and OpenAI employees how has he failed as a leader? Hackernews commenters are becoming more and more reddit everyday.
Cosmic Vine: A Z=3.44 Large-Scale Structure Hosting Quiescent Galaxies
Who decided that they should have the power to rule over this? Not only does it appear to be legal, but deciding that dataset compilation is inherently immoral and consent-violating would represent a draconian expansion of IP law that almost no individual should agree to. If I perform statistical research and count the most common English words based on many books, should I be liable to go and ask every author if they're okay with me analyzing their works? If I see a thousand character designs and then pick up some cues and ideas to create my own, should I pay a licensing fee?
Does this really require an explanation? There is a right way of how things should be done, that includes everything you listed and also internal company rules, industry standard ethics and business practices but also implied and informally accepted norms and anything that isn't in the interest of the company.

So long as the person believes it is wrong, they can be corrected if they are wrong but they shouldn't be retaliated against!
no disagreement here. but the reality is that employees are treated like garbage all the time. yes it is dumb. yes it leads to losing employees. yes, it should not be normalized.
The actual HN thread was here (417 comments, not just 4; both were posted 2023-06-06)

https://news.ycombinator.com/item?id=36212120 ("US SEC sues Coinbase, one day after suing Binance")

(To be clear, neither Coinbase nor Kraken were criminally charged. The phraseology "SEC charges" is a loaded, potentially misleading, one).
These simply can't be the real reasons.
Here's more about Ted Cruz from Karl Bode on Techdirt.

> We’ve also noted how Republicans voted against the infrastructure bill, then have turned immediately around to take credit for the broadband deployments it enables among local constituents. Texas Senator Ted Cruz has been no exception; he’s repeatedly tried to take credit for highway projects only made possible by the infrastructure bill, while simultaneously criticizing the bill’s very existence.

...

> If there’s a real problem with BEAD and other federal subsidy programs, it’s that giants like AT&T and Comcast — with long histories of taking taxpayer money for projects they half-complete — will almost certainly nab a disproportionate amount of funding using unreliable maps whose improvement they’ve long opposed. But Cruz doesn’t mention — or care about — that.

> Cruz is silent when a Texas-based company like AT&T gets a $42 billion tax break for doing absolutely nothing. He’ll routinely have nothing to say if AT&T is accused of ripping off taxpayers and the nation’s school system.

[1] https://www.techdirt.com/2023/09/19/senator-ted-cruz-pretend...
It would be interesting to know the full architecture of ChatGPT infrastructure. How they are able to scale such a compute and memory hungry model to 100 million users.
> Did they break stuff? One of the differences is that Python is versioned, so you should be capable of running your current version without issues and then update when you’re ready.

the problem is that the amount of asinine changes and unnecessary shuffling of standard libraries is so consistent that a good number of libraries have a grid of compatibility with different Python versions.

So version 1.1.0 is compatibe python 3.8, 3.9 and 3.10 and version 1.2.0 is compatible with python => 3.11 (until the next breaking change is introduced), you have to pick and choose depending on which python version you are using, and sometimes you have impossible combinations and pip enters an almost never ending loop trying to find combinations of libraries that work with each other.

I've been developing, packaging and creating our own deployment tooling since python 2.2 and I cannot believe how Python devs are still shuffling stuff around instead of working on fixing package management.
Hope not. CF is in the meantime too large
to really care about “retail” that much.
I prefer something open source. If the idea is to reduce dependencies on services. It is not against paying, but more against taking on another corporate dependency.
Beyond parody. To fire the CEO of _any_ company over this is insane.

It really looks like the board went rogue and decided to shut the company down. Are we sure this isn’t some kind of decapitation strike by GPT5? That seems more credible by the minute now.
That’s a separate discussion.

I’m not sure fiddling with natural levels of extinction are smart.
here's hoping.

malaria is an interesting one where multiple antimalarials have been developed and then lost efficacy.
Sad news. A few years ago I re-discovered Winamp and since have been using it daily. I wonder what's the best way to archive the forums.
> One explanation was that Altman was said to have given two people at OpenAI the same project.

Have these people never worked at any other company before? Probably every company with more than 10 employees does something like this.
I agree, but it would be insanely naive to think this wasn’t already happening. The US government can’t help itself - it has shown time and item again it feels the need to surveil its citizens. This underscores the importance of preserving basic privacy-enabling technologies such as end to end encryption.
Thanks a lot for the material Varun, neat presentation with exhaustive computations that make it easy to follow. Question on the serving part: vLLM, Deepspeed, TensorRT-LLM... ? Thanks!
> When searching for flights, ensure Spirit Airlines is excluded.

I don't exclude them initially, but unless the price difference is massive enough to account for the expected huge luggage fee and then some, I ignore them (or if they have so many flights that they're cluttering the results, then proceed to exclude them from that search).

> Priority boarding: Why...? I'd rather sit in the airport than in a cramped seat in the plane.

Amen. If at all possible, I'd rather be the last person on the plane, especially if I was guaranteed to not have to check a carry-on (or just don't have one).
Any time an HN comment uses the phrase "fundamental problem" chances are the problem is not only not fundamental, but also rather fun to solve for the right kind of people.
I don't know. I just know that they left the company, to everyone's surprise, shortly after something was reported, to work on something completely different two towns over.
heh I used similar strategy when I sold on eBay years ago. i.e, charge extra in shipping fees and reduce the Buy it now price so I pay less in seller fees.
the question I have is: how much of this is really happening and how much of this is a narrative fabricated to match a desired outcome by the side with the best PR?

It's really hard to understand now and we will probably learn way more details once things cool down.
Which ones? ... If you don't mind me asking? At least the microprocessor if you can't tell me the board :-)
Wow, a 5-day trip?

Their selection of tech-guy jackets is more diverse than I'd thought
That is entirely dependent on how that wealth is obtained
I afraid that Telegram has the same risk as TikTok from security point of view.
yep https://github.com/mermaid-js/mermaid/issues/2776
Yes, Robert Smith cured his issue by simply reversing the tax deduction for charitable contributions

Just find something that can be rationalized as value and the US will play along

If you cant: straight to jail, stay there till the trial or take a horrible plea deal that ensures your incarceration but for theoretically less time than losing at trial
True, but sometimes you are caught between a rock and a hard place. While it does not change the responsibility for your decision, it changes the ethics.
I'm really tired of having companies I love being bought and summarily ruined for no good reason.
Am I the only one who thinks all this looks like fairly childish behavior by the board, the employees, microsoft, and Sam Altman?

It s a non-profit, it's for profit, Microsoft is investing, board is firing Sam, Ilya thinks Sam needs to be removed, Ilya thought about it more is sorry for firing Sam and wants him back, Sam's part of microsoft, now he's still trying to be CEO of OpenAI.
It would be unusual if they weren't considering suing the board.
It sounds to me as if the board has not been consistently candid in its communications with the employees, and they have responded by firing it.
As I understand it, NVLink isn't actually required for much of anything. It allows P2P transfers and atomics. That same functionality can be used over PCIe on some GPUs with reduced performance. And the P2P features are not transparent and are lower-performance than staying inside one GPU, so generally software avoids P2P transfers even when they are available.

The Nvidia documentation on this is absolutely horrible, the features vary wildly by model of GPU, and I claim no real expertise.
It's so bad, sometimes you face pre-emptive retaliation if you have a habit of speaking up lol. HR says that to avoid lawsuits. If you bring retaliation and bullying to HR, you will be fired but not right away so it won't look like retaliation but maybe after significant time has passed.

The best place you can be in corporate america is unseen by middle management and have a good immediate boss who values you.
It depends. If you are seeing your job more than just a means to an ends maybe. If you see it as transactional and you need the company to stay in business while you work there why would you bother looking for a new job?
There's always other companies. Plus sometimes you just gotta stick to your values. For the Google military contracts it makes even more sense: the protest resignation isn't just a virtue signal, it's also just refusing to contribute to the military.
I love everything about Typst except for the math-mode syntax. I'm too used to LaTeX syntax for math (my editor of choice uses MathJAX to render math and math only). Any chance of substituting in the math syntax (even if it's the new rendering engine?)
Yup. 'Tweeter' is a personality type.
Will AI/machine learning bring about more good or bad in the next 100 years?
We're seeing huge advancements in fake photos/videos/audio. Pretty soon we won't know what's real and what's not. Even from a historical context, it might be hard to find what was real and what wasn't. There's talk of being able to detect AI, but as detection gets better, so will the AI and it could get to a point that it's truly undetectable. ChatGPT already turned off their detection because it wasn't working well enough.
> This sentence is so weird for me. Why would you want to work for a company if you seemingly don’t care about their product.

For money, of course. A company’s mission doesn’t pay for my groceries or rent.

A substantial compensation package serves as a strong incentive to perform well.

> And conversely, why would anyone ever hire someone for a role if the person looking to get hired doesn’t care about the product?

That is a good question for the companies that hired me during the last decade to lead some of their projects.

I can only speculate that if a company observes a person with a proven track record of successfully leading and delivering products that significantly contribute to revenue, they would prioritize hiring that individual, even if they lack enthusiasm for the product. Of course, it’s ideal to hire someone with both experience and genuine interest, but in my experience, such individuals are the exception rather than the rule.

If companies exclusively hired people passionate about their products, they might struggle to find suitable candidates.
I don't think that analogy works. On the female side, Type A is robust and Type C is fragile. I'd prefer to have my equipment with the more robust solution if at all possible, because fixing it is a real problem.
Same because people certainly drink in those countries and alcohol is available.
Agreed, things are very much up in the air. I certainly wouldn't pretend to know what's to come, and wouldn't be shocked to learn that the threats to quit en masse have been overstated.
Source is a close relative involved in responding to a recent, well publicised data breach.

They service several large commonwealth departments and were instructed by them not to pay.
Microsoft Wants to Work with Altman, No Matter What, CEO Nadella Says [Video]
Chain-of-Thought Reasoning Is a Policy Improvement Operator