skysight-inc/HackerNews huggingface dataset:
I'm afraid the ship has sailed and people will use latex for ever (I personally use Word but with lots of customizations).

why use latex (and this is coming from someone who prefers Word to latex):

- much better tooling than any other format

- much more discussion on various problems you'll hit.

- much more training data for chatgpt and other LLMs, so your personal assistant can help you with latex syntax. good luck getting that level of support for typst or any other new programming language.

- network effect -- if your professor only knows latex, you can't use typst. and professors are slow/reluctant to adopt new shiny tech. if it has worked in the past 50 years, why change it?
When it's your company, it's never small.
I mean beyond that the ads don't literally need to appear next to the racist tweets for advertisers to consider the entire platform poisoned by the behavior of Elon.

This is one of those nerd snipe "but you didn't say simon says" defenses that no one in the real world actually gives a shit about. Elon has shown his face, advertisers don't want their brands associated with that. It's that simple.
I don't think you are disagreeing with me. I also mean by "expressing yourself" that the artist is trying to communicate with the community and be of value to them.

I'm saying AI does not allow anyone to easily make games and comics, at least not for a some while. Currently AI allows you to easily make still pictures, maybe a written chapter of a story. It does not yet compete with artists who do larger pieces of work like a book. And I'm not sure AI ever(?) will make "complete" works because it doesn't have full human background required to have "something to say". It only "mimics" in a manner that many artists focused on technical ability find threatening. So yeah some "artists" will be out of work because of AI, but it will not be a big loss for the community if they are merely replaced.

The surface area of "art with message or meaning" within "all art AI can randomly generate" is so vanishingly small that it doesn't matter. Humans will be in control of the message, and thus in control of art for the foreseeable future.

When the AI finally is smart enough to have something to say, it will be an AGI and humanity will quickly be enslaved to it. No point thinking that far.
Agreed. I'd love to switch to Debian, but the lack of PPAs makes it difficult.

Also Debian is always much further behind than Ubuntu on new packages.
Microsoft gutting OpenAI's workforce would really make no sense. All it would do is slow down their work and slow down the value and return on investment for Microsoft.

Even if every single OpenAI employee demands $1m/yr (which would be absurd, but let's assume), that would still be less than $1bn/yr total, which is significantly less than the $13bn that MSFT has already invested in OpenAI.

It would probably be one of the worst imaginable cases of "jumping over dollars to chase pennies".
According to the letter they consistently refused to go on the record why they did it and that would be as good a reason as any so then they should make it public.

I'm leaning towards there not being a good reason that doesn't expose the board to immediate liability. And that's why they're keeping mum.
Not sure about review sites, but there are companies specializing in ransomware negotiations on behalf of the victims and they can advise not to pay a group that is known to release the data anyway
It doesn't have to be taken that way. It's a pretty accurate description.
You want someone who can play through haunting decision and difficult meetings. Benedict Cumberbatch or Ciran Murphy would be a better pic.
It doesn't look like The "thermonuclear lawsuit" he was going to launch the "split second court opens", has happened.

/S/

I am shocked, shocked I say. Musk usually seems so cool headed and not prone to constantly spewing hyperbole and bullshit.
I absolutely love that he screnshotted a word processor which highlights vague claims he's making with dashed-underlines. But what's with the double-underline of "speech"?
This documentary already exists for a few years, it’s called Silicon Valley.
tl;dr: slippery slope

> This statement by TSA Administrator Pekoske highlights one of the main risks of TSA using facial recognition in any capacity—there is no guarantee that how TSA initially uses facial recognition will not change or expand beyond the current stated purpose.

Which, if you think about it, would be an equally valid statement about the risks of NOT using facial recognition: that approach would also provide no guarantee that TSA would not use facial recognition in bad ways in the future.

In fact, it is very hard to guarantee that something won't happen.

I'm a biometric skeptic, but this is not a super compelling article. There are better arguments: biometrics can be fooled, biometric measurements are essentially an immutable password which can be leaked/abused, they can be unfair to people with physical differences, etc.

Just saying X can lead to Y so X is bad is just so... lazy.
Refreshing to see a tech, and better yet, proglang post on the HN front page again, after the last few days.

Need less Altman, and more altlang posts.
Nothing is better than the senior management emergency meeting in Margin Call.
Come on, I absolutely agree with you, signing a paper is toothless.

On the other hand, having 90% of your employees quite quit, is probably bad business.
Maybe he'll head to Apple.
Yes, and yes. Equity is worthless if a company implodes. Non competes are not enforceable in California.
Xyzzy
(This is a reflection on human behavior, not a statement about any specific work environment. How much this is or isn't true varies by place.)

In my experience, it's something of a sliding scale as you go higher in the amount of politicking your environment requires.

Lower-level engineers and people who operate based on facts appreciate you admitting you were incorrect in a discussion.

The higher you go, the more what matters is how you are perceived, and the perceived leverage gain of someone admitting or it being "proven" they were wrong in a high-stakes situation, not the facts of the situation.

This is part of why, in politics, the factual accuracy of someone's accusations may matter less than how successfully people can spin a story around them, even if the facts of the story are proven false later.

I'm not saying I like this, but you can see echoes of this play out every time you look at history and how people's reactions were more dictated by perception than the facts of the situation, even if the facts were readily available.
I'm sure they will, and the open source community will keep updating their scripts - even if it's not the same person updating the same script every time. Don't update the day a service pack comes out, don't upgrade the day a new version of windows comes out, and you're pretty much good to go.

As for sunk cost: if you make a living that involved installing Windows, and you make more money than a windows license costs, by definition that's return on investment, not sunk cost. Let's not pretend that "using windows" loses anyone money. And let's also not pretend that you have to choose: I use Windows, two flavours of Linux, and two versions of MacOS. I'm not walking away from any of those, they all do the things I need them to do well enough to keep using them for what I need them for, niggles and all (and both linux and MacOS are just as horrible to use as Windows. Which is "not particularly horrible at all, but plenty of things to complain about over a beer")
> the deal with the US gov lets the scam continue

Outside America. Which, like, seems fine.
Wow, sorry to hear that. Came across his blog in 2021 and was instantly hooked. RIP
It doesn't hurt to hack into any corporation. You never know what kind of intelligence you might get out. There are also considerations of different factions I guess.
I've gotten tired enough of enshittification that I prefer OpenAI shutting down as a non-profit than they live long enough to be a solely profit-oriented company.
These questions come up and I always wonder about the edge cases. I'm an identical twin. My twin can get get past my faceID consistently, from first release until today. What happens when twins with bad blood start abusing facial recognition?
If the training data contains sufficient examples of deception being used when doing illegal stuff, wouldn't this be what we'd expect to see, given that it can't actually reason about what "explicitly allowed" really means? (Forgive my ignorance if this makes no sense, I am not versed well in generative AI.)
Exclusivity agreements are a form of anti-competitive behavior, because they are paying to deny their competitors access.

Your turning the whole thing on it's head by saying they are competing for the exclusive contract. The competition is for one search engine to be better than another search engine and the user chooses the best. It's not for vendors to compete to limit other vendors access to the market.
What an idiot. Altman should just go to Microsoft.
I think, they changed the logic some years ago. Before it was meant like "exact that term". Now, it's used as "that term must be in results returned"

You can check that doing Google's advanced search. There is a field, when you type in your search term, it will be put within double quotes.. not sure, if the difference to the former behavior is different. Also, it only works in the Desktop mode of the mobile browser, or on the desktop.
Now it says more than 700. Waiting for wired to turn this into a new year eve's like countdown.
I‘ve been using Typst in production to generate a PDF on the fly and it has been amazing. Much smaller dependencies than LaTeX and it was also extremely fast. The syntax takes a bit of getting used to but compared to LaTeX I can’t complain. It looks like a powerful syntax.
Facebook notoriously doesn't employ native speakers for all the languages the interface supports, so posts in languages they don't staff for have zero oversight.
I've found that there isn't a lot of discussion or research around this subject. Shoutout to engprax, a compliance company, for clearly approaching the issue.

Is it actually an issue though? Software engineers by design (?) are not capital "P" professionals. There's no certification or board underwriting our work. Software engineering/developers have had the latitude to "move fast" and represent the only "professional" trade that has the ability to "try again" (with a deployment) versus a structural engineer for example.

> Dr Junade Ali CEng FIET, the Principal Investigator of the study, said: “Recent developments demonstrate the fundamental importance of software engineers being free to raise the alarm when they become aware of potential wrongdoing; unfortunately our research has highlighted that software engineers are not sufficiently protected when they need to do so. From software engineers facing mass retaliation for speaking up and banned gagging clauses still being used, to ‘industry-standard’ software development metrics not considering the public’s risk appetite; this investigation has highlighted systematic and profound issues with society-wide impact, given how integral computers are to all our lives.

With the ubiquitous nature of software in modern society are we at the point were we need certification? The development and certification of "industry-standards"? This theme, balancing innovation with responsibility, is throughout the the Biden Administration's Executive Order on the Safe, Secure, Trustworthy Development and Use of Artificial Intelligence (Order).

Who is really responsible though? The developers who wrote the code? Or the executive who ordered the change?

There's are plenty of examples of this in recent history. Where engineers/developers released code they knew was harmful/fraudulent but did so anyway under fear of retaliation.

> FTX (Nishad Singh) https://www.reuters.com/technology/how-secret-software-chang...

> Pollen https://blog.pragmaticengineer.com/pollen/#:~:text=Later%2C%....

I wonder where this is going to go.
I think the interest is because ChatGPT is so famous, even in non-tech circles.

"Terraform raised prices, losing customers"? whatever, I never heard about it.

"ChatGPT's creators have internal disagreement, losing talent"? OH NO what if ChatGPT dies, who is going to answer my questions?? panic panic hate hate...
What benefit is it to the ransomware group to release the data? They may be sloppy or careless with their data (like their victims) but I don't see a for-profit/non-ideological ransom group reneging and intentionally leaking the data. And plenty of reasons eg repeat actors to do their best not to.

Actually I'm often surprised that many ransomers/hostage-takers go through with their threats when they don't get their demands. The only reason I can see them doing it is if reputation matters to them for future negotiations. more than the risks from the greater liabilities they incur by going through with the threats.
getenv/setenv is also part of the library, not the language. If it presents a problem for a particular program, it's easy enough to implement your own variety that behaves as you need, or to wrap the library call in something that provides the needed thread safety.

This seems like a bit of a tempest in a teapot to me.
Why would this keyword be treated any differently than any other?

Apple already gets ~36% of any Google Ads revenue that comes from an iPhone [1]

[1] https://www.bloomberg.com/news/articles/2023-11-13/apple-get...
See https://stenevang.wordpress.com/2013/02/22/google-advanced-p.... Basically, you add it as a query parameter, as in https://www.google.com/search?tbs=li:1&q=whatever. This is the same as the Tools > Verbatim option on the Google search results page. But you can define your own search shortcut or search provider that always includes it in the search URL.
Thank you for the correction, eink is a more diverse and interesting set of technologies than I was previously aware.
> it kills the credibility of the ransomware group and they'll never get paid again

I don't buy it. There's nothing to stop the group from rebranding themselves. The company has no proof nobody else got a copy of the data. And the group could simply hang onto the data, extort a bunch of money from other companies, then start back at the beginning and demand even more (knowing that the data is worth _at least_ what was already paid for it).
One way to guarantee that a mass database of biometric data isn't leaked or abused is to not gather it in the first place.

So, yes, it is easy to guarantee that a mass database of biometric data isn't abused if you can prevent it from being gathered. We're making no efforts in that direction, so we're running every day towards a future in which the holder of such a database can deepfake anyone doing anything.
That sounds more likely than anything else I've heard about this. Doesn’t really matter if it’s true: it’s painfully true to form.
Good to know. Apparently my one, which is a travel related CC with annual fee, doesn't provide this benefit.

If yours does, I would still read the fine print and compare with ones on insuremytrip. I picked a random CC and read its benefits, and did not see one involving serious illness - only death, accidents, and things like flight delays.

Edit: Checked again: Apparently mine does provide travel insurance. But as expected, not for serious illness (e.g. stroke that requires medical evacuation - happened to someone I know during travel). Also, it only covers issues related to the mode of travel. So if you're in the Bahamas for 2 weeks, and you get into accident a week in, that is excluded. With insuremytrip plans, the whole duration of stay is covered.
> if I use a string interpolation macro (e.g. in an argument to println!, format!, or dbg!) a lot of VS Code tooling that works outside of macros stops working

I imagine this isn't that hard of a problem to solve (though maybe relying on VSCode to handle renames is part of the issue), but low-enough on the annoyance scale that nobody cares enough to implement it. I'm not going to argue there aren't annoyances with macros and that they're harder for tooling to deal with, but I don't think that's a sufficient justification to not have them at all IMO.
Surely they're already extremely rich? I'd imagine working for a 700 person company leading the world in AI pays very well.
They have ~770 employees and so far ~500 of them have promised to quit. It's a lot less appealing if you're not going to make millions, or have billions in donated Azure credits.
Normal people don't have multi-billion dollar companies to burn because they back off in the face of haters long before they get to that stage.
All 3 having some connection to effective altruism, which Dustin is at the center of, is not coincidental.
It's interesting that people who don't use the site at all have such strong opinions on it.

I have an account from 2008. I use it daily. Because I don't follow bigots and Nazis, and don't interact with their content, I don't see bigoted/Nazi stuff EVER.

I primarily see a feed of tech/AI/DevOps stuff, mixed in with pro-Israel posts tossed in with Cheech and Chong gummy ads.

The idea that the typical Twitter user following Taylor Swift and Travis Scott and the Washington Post is going to see Apple ads next to Nazi content in their feed is blantantly artificial and silly.
You can get really far today with Pandoc Markdown, which has many benefits over LaTeX. So, just wait until a generation has grown up with Markdown as a universal text language. Indeed, with the exception of the journal's template, you can write a full paper in Pandoc Markdown and nobody would spot the difference.
They don't own the IP. They are licensed the IP by OpenAI.
whenever biometrics pops up on HN i always have to post the reminder that a biometric is _both_ a username & password bundled as one login credential. People like to compare biometrics to passwords, but that's a bad analogy because passwords can be changed whereas no one in tech likes to admit that a username should be changeable too.
(yes that was the joke)
Kinda funny when you think about Ilya's tweet "if you value intelligence above all other human qualities, you’re gonna have a bad time". Now people having a bad time, asking how someone that intelligent can create such a blunder. Emotional beings after all..
Just as a data point counter to yours, I'm a Vim user with a 150+ wpm typing speed, and I have to say I find Copilot massively useful.

In Go, it's great for dealing with a lot of the repetitive code one finds themselves writing.

When writing Android apps, it's useful for API discovery!
Bad things can happen to mentally ill people.
This is going to come back to bite him in the future
A scab ceo is not something I expected. This timeline is strange.
> Much more likely is they are stuck at a low local maxima because they can't afford to spend 2 weeks looking for a job that would better fit their skillset and preferred job functions.

Yes, that is quite possible, and I believe my comment covered that possibility by constraining their poaition against the opportunity cost. In this case, the opportunity cost of working is not searching for another job. But if you can't afford food while searching for another job, obviously you should work.

Hence! why I am a proponent of private charity. Under those same conditions, said person could go to their church, local org, etc. and see if anyone would be willing to assist them in a job search or while they did search. This solution is much preferable to me than involuntary theft of money from everyone to support a maybe chance of finding something else.
> I don't buy it. There's nothing to stop the group from rebranding themselves

Apart from the fact that nobody would pay them if they have no reputation.
Probably true in direct response marketing, possibly unknowable in brand marketing.
Poe has a reasonably strong user base for two reasons:

(i) they allowed customized agents and a store of these agents.

(iI) they had access to GPT-32k context length very early, in fact one of the first to have it.

Both of these kinda became pointless after DevDay. It definitely kills Poe, and I think that itself is a conflict of interest, right? Whether or not it's at a scale to compete is a secondary question.
Thanks - good answer. At the very least it seems like something to keep lawyers busy for a long time, unless everyone can ctrl-z back to Thursday. I am thinking though that this is a risk of IP-sharing arrangements - if you can't stop the employees from jumping ship, they're dangerous
She was fired for threatening to quit. If you threaten something like that it just happens; you can't stop the machinery.
Of course it's mandated from above, but you always have power. There's no such thing as a powerless employee. That's the very basis of a free society. "No power" is another word for "slavery."

Or maybe your point is that it's a matter of degree? Sometimes employees' have already stretched their leverage thin across other, higher priority stipulations such as free coffee, and parking privileges.
Because the only two pins are hot and neutral, which are designed to have high voltage across them.

Put 20 V Vbus on a CC line and see what happens.
> If this were true, Yudkowsky's MIRI would have solved AGI a decade ago.

Isn't MIRI focussed on “trustworthy reasoning”, not AGI more generally, and doesn't it see untrustworthy AGI as an undesirable thing to develop, even as an instrumental step?

So, literally, isn't “solving AGI” an explicit anti-goal?
Good question I do not know but I associate the two (blood, iron vapor) very closely. It may well be that the blood also contains some free iron but Iron is so toxic that I doubt that would be enough to taste directly so it may well that haemoglobin itself tastes metallic but it only has a handful of Iron atoms in it compared to a mountain of other stuff.
Why hasn't anyone heard of Artemis?
GPT-4 consistently displays much stronger rates of both misalignment and deception than either 3.5 turbo or the DaVinci models. RLHF GPT-4 also shows slightly stronger rates of misalignment and deception than the base model

Isn't this precisely what the field has predicted? That the alignment problem becomes more severe as the capabilities of the AI increase?

Explicit instructions not to perform that specific illegal activity (insider trading) does not make it disappear completely, but makes it very rare (not quite 0%). On the rare occasion misalignment occurs in this circumstance, consequent deception is near certain (~100%).

What evidence is there, if any, that LLMs even understand deception as >Deception<? As in, do LLMs understand the concept of Truth, and why other actors might value fidelity to the truth? Is there any evidence that LLMs themselves value Truth? (I should think that this quantity is Zero.) Can LLMs model the formation of misleading mental models in their interrogators?
To be fair I highly doubt any airline confronted by Belarusian fighter jets would’ve responded differently. A jetliner is not outrunning or outgunning that.
Outstandingly clueless seems more appropriate.

I haven't people any reasonably intelligent person so unaware of real world that they can berate a colleague so publicly and officially and think "Hey! I am sorry man" will do the trick.
The moment a company pays good money, that legitimizes the hacking group and emboldens them to keep going. You can’t trust that they’ll not leak even after they get paid.
Sam's reality distortion field pulls the e/acc crowd in, they know they can, they don't stop to think if they should.

Ilya is right... for all the good it's worth, which is much less than Friday.
Choosing to look the other way instead of addressing uncomfortable questions is a choice, and the law does not absolve you of your moral obligation to practice due diligence in choice of leaders. Take it easy.
Simple Suggestions Using Popcount