skysight-inc/HackerNews huggingface dataset:
I’m going to rebound on that and explain why it doesn’t make sense to hold on to RSUs.

Disclaimer: I’m an IC myself.

I worked for my 1st company for 15 years. Held to their RSUs most of the time. Then moved to another (public) company and stayed there for a year before leaving. Now in a startup with a lower salary and no immediate liquidity on my stock options.

When you work at a public company, you have multiple exposures to the company’s growth: the RSUs that have already vested, the RSUs that haven’t vested yet and through your own career growth and salary increase that goes with a successful company. If you were early enough, you also get market cred for having made the company successful. If the companies goes under (or shrinks, or lays people off), all those assets are at risk.

Usually, one has more in granted stocks than in vested stocks. If your company just went public, you might have a lote more sellable than in your pipeline, but even that is unusual. Usually, you’ll still have more in the pipeline than you’ve already vested.

If your company has been public for a while, you should get frequent refreshes, which means you still have a significant numbers of unvested shares.

Regardless, you should sell as soon as you can, because of the remaining exposure through unvested equity. Use the proceeds to place in an ETF, or in a high-yield savings account, or some more aggressive investment strategy. Or use it for the downpayment on your house, or fund your kid’s college funds, whatever floats your boat.

Anyways, keep in mind that you still have a significant exposure to the growth of the company through your unvested equities. If you’re worried about short-term cap gain, don’t be. If you sell immediately, there’s no growth between cost basis and selling price, so no cap gain. Another upside to selling is that you’re not bound by the blackout periods, so your assets are much more liquid. And remember you still have exposure
It's a race between nuclear, batteries, and using direct air capture to make up for remaining fossil fuels, concrete and other corner case greenhouse gas emissions.

I think direct air capture is going to be the technology that gets us over the finish line, simply because it's the only one that has a path to net-zero.

Nuclear, renewables and batteries all make carbon capture more affordable, so the ultimate answer is probably "all of the above".
I completely agree. I have many, many friends who are commercial illustrators, and many of them are very anti-AI now due to popularity of DALLE. They feel that they've been cheated out of a job. I'm an artist and a software engineer, though, so I'm in the same boat of having had my output used to train LLMs. But the outrage, at least in the conversations I've had, seems to always be rooted in a fear about economic insecurity if these models take their jobs. To me, this doesn't mean the issue is that we should expect our output to not be used to train models, but that we should expect our governments to support us in the event that large swathes of professionals find their jobs suddenly far less profitable.
There are a lot of ways to do this. However you should NEVER have any significant value in the stock of the company you work for. It has happened - and will happen again - that the company you work for goes bankrupt unexpectedly and now not only are you out of a job but your savings has vanished as well! Even if the company is doing well you need to diversify your savings out of that one basket.

There is one exception: if you are high enough in the company that you actually know the non-public information as it happens (not either because you need to know or months later in the all-employee meeting). Then the shareholders demand you hold a lot of value in the company so that if you do something bad for the company it hurts. Most of us will never be that high.
I don't understand the point of both replies... my point was that integer based division is preferred in all languages and the floating point must be somehow "forced" that one operand is float.

The post I was replying to mentions that this sort of problem does not exist in "better languages" but my point was that it does.

The problem here is that the code assigns an integer (result of division) to a float which is implicit "upgrade" in languages like C and C++ and required to be explicit in newer languages like Golang and Rust.

My point, which I seem to have failed to make, is that careless programmers would (and do!) make a silly thing like:

v := float64(operand1 / operand2)

just to satisfy the compiler error.

A common mistake for junior programmers but unforgivable (for some interpretations of unforgivable :) ) one for a senior.
Yes of course in most cases they may not snap back, but it's not a bad faith expectation. It's a good faith expectation that they need a chance regardless of whether they end up doing it.

Also of course a well-performing employee could be harmed by this, but the method is irrelevant - that is a bad company and the employee is well to find another job anyway.

I think the problem with your statement is you are trying to overgeneralize. PIPs run the gamet depending on how good the company is. I've never see a PIP be used in the ways you described, and I have never used them in such a way (and never will).
"Author Clock has built-in Wi-Fi, so all software and content updates happen automatically." i.e. At some point in the future, an advertisement will be the first thing you see when you open your eyes in the morning.
The trick is that the human only needs to read and understand the Lean statement of a theorem and agree that it (with all involved definitions) indeed represents the original mathematical statement, but not the proof. Because that the proof is indeed proving the statement is what Lean checks. We do not need to trust the LLM in any way.

So would I accept a proof made by GPT or whatever? Yes. But not a (re)definition.

The analogy for programming is that if someone manages to write a function with a certain input and output types, and the compiler accepts it, then we do know that indeed someone managed to write a function of that type. Of course we have no idea about the behaviour, but statements/theorems are types, not values :-)
This seems to behind a paywall :(
I'm not sure if you even need the same class of stock as it is needing some assurance of the same liquidity rights as founders. If the company charter ensured that any secondary liquidity event would have equal participation between shareholders (including employee stock options) it would be a lot healthier and prevent this class of fraud.

It's such a garbage situation right now for employees, because even if you find product-market fit, you do the work and your company is successful you can still get dumped on by your founders taking secondaries and subsequently checking out of the company.
> One variable that Google Search apparently tracks is when and where users click, not just on Google’s core site but any page that is accessed within Google’s Chrome browser

It's wild that a 2 million dollar payment makes such an obscene violation like this disappear.
> and transfer the liquid sodium that will be used to cool the nuclear reactor.

Wow, never would have considered using literal lava as a cooling fluid, but I guess its all relative to what you want to cool.
I really think that if there is data to be pulled from our work, it should only be used with our permission.
All capital-intensive technology will amplify preexisting wealth inequality. And that's never a net positive for society, because - well - the top 1% are only 1% of society. AI is just continuing the trend. But I don't think the damage so far is worse than advertising and social media combined.
I watched some of the documentaries such as the ine about manufacturing consent.

What I don’t understand is this: the news agencies don’t report to the government. Then why would they work together with the government to mislead the people? Does anyone know?

Noam is so amazingly smart, he is probably one a billion. Sometimes I am not sure he is right but can’t really formulate why or what is it that I don’t agree.
If original writing is so valuable, people will pay the premium for it in cases where it matters.

The reality people don’t want to accept is that in many cases, original work doesn’t matter. There is no value in an original booking reminder for my dentist or most travel agency blogs on reasons to go to Thailand.

Most courses don’t even need original work. Is there really any value in having profs generate thousands of different explanations of the same concept for the same topic? I don’t think so, especially as most don’t put much effort in.

Thousands of explanations have been written on how to do an integral or how hydrogen bonds to oxygen. That’s not useful in most cases.
Scraping Recipes Using Node.js, Pipedream, and JSON-LD
The biggest and longest time slave traders were in the middle east.

The best documented and most mentioned ones were the ones that were white.
I read this as giving more room for backbone internet providers to maintain business relationships & connections.

Providing for Russian consumer access to US internet service, there might be even more relevant services.
A tiny, but *absolutely critical* detail!
they can if done & enforced correctly. lamenting “all regulations bad bc regulatory capture” is intellectually lazy imo
Bitcoin is an excess dollar sink. Dollars go into stocks first then speculation. Always has been.
That would require some kind of profit sharing agreement from the companies that benefit from replacing employees to redistribute to society, which frankly I cannot ever seen happening.

This is that "tax" I hinted at in my article.
>In May, we got a glimpse into the inner workings of Google Search, from a leak of twenty-five hundred pages of the company’s internal documentation. The files seem to have been uploaded to GitHub by an unknown party, in March

Does anyone have a link to this repo?
Jetify Cloud – Deployments and Enterprise Nix Cache for Devbox
The dark side of the AI revolution
Presumably this should be very well positioned to do so -- these projects are expensive but Bill Gates has a net worth of well north of $100 billion. If it's a "money" or "timeline" problem, he can solve it -- if it's an economics one in the end, he might not want to.
Or just use 1.0, which can only be a Float literal.
I've been building my startup 100% fullstack in elixir, and it's been the most wonderful technology I've ever worked with. I'm evangelising all my serious tech friends about how great it is.

Now it would be awesome if rabbitMQ and its client would run on OTP 27, would love to upgrade :(
Are you referring to some lobbyist payment or some fine that they had to pay as a result of a legal judgment related to this?
A widely observed problem with AI we’ve created so far is that it seems best at destroying jobs people tend to like (at least, better than other things they might be paid to do) and replacing them with a smaller set of less-pleasant jobs.

At least, within the realm of basically-positive jobs. There’s separately the issue of its being by far the most productivity-enhancing for things that are harmful (scams, astroturfing, spamming)
I've always thought that the Calm Company Fund should have been a Equity Crowdfunding Platform instead of an investment fund. They should have created a platform to connect investors who want to invest in Calm Companies with founders looking to found (or grow) Calm Companies.

Its been fun following them, I think they had a lot of good ideas. Too bad they were unable to execute on their vision.
Read some Greg Egan. It isn't really that hard.
Another article reported that the required fuel is only produced in Russia and China
Just shows that VC is a hit driven business - again. VCs shouldn’t try to be PEs
If your subfloor is rotting away, do you replace it or put new carpeting on top of it?
Makes me wonder how fast it will wear out its container.
> having access to all information at all times is a human right

Well...
The math type inference example makes the usual claim that "what if Swift can replace Python" a non-starter. As someone who have to deal with this on frequent basis, it is pretty sad.

(I maintains s4nnc and a fork of PythonKit).
What they did in the last 5 years was deprecate to death the Alexa web interface as well as totally ruin the Alexa mobile app such that there was really no great way to administrate my condo full of Echos.
Fast and Collaborative. SQLite on CRDTs and Incremental View Maintenance [video]
Note to readers who enjoy complaining about Python: the title is more bad-sounding than the actual content.

It's analogous to how IDNs and IP addresses have no single canonical form, but 2 or more equivalent forms that can be parsed. To properly compare two IP addresses, you must parse them and compare the results. The same thing is happening here.

It's an interesting problem and maybe an oversight in the design of the wheel name format, but it's not really an instance of "Python bad" the way you might assume based on the title.
Sure some do that, but I have not run into that in my career. Its never "a decision has been made" but "lets give them one more chance". Personally, if a decision has been made, you just cut them. No reason to go through the process.
The site the article mentions looks like a useful site, but frequently there are other lesser known details (paid placement, link farms, etc.) that are the true cause for a decrease in ranking. Rarely is the story "completely innocent site is punished for doing nothing wrong by big bad Google".
> And yes, absolutely _never_ make it your primary key.

If I dont have lots of range queries, why not then? Only because of bloating (I think fragmentation is a more precise term here)?
Broke ground on the sodium test facility. Still waiting on the NRC permit to start construction of the reactor.
Training a Model to Extract Sections from Legal Documents
Hi folks - I’m looking to train a model that can review legal documents and extract specific sections from them. Here are the main challenges I’m facing:
* Varied Document Length: These filings can range from a few pages to hundreds of pages.
* Inconsistent Headers: The section headers aren’t consistent. For example, the same section might be titled “Claim,” “Defendant’s Claim,” “Defendant’s Argument,” or “Main Argument.” The tool needs to identify the section based on the content itself, not just the header.
* Identifying End Points: The model needs to know where a section ends, either at the next section header or when unrelated details begin (sometimes right after the paragraphs we want). It should be able to figure out the end point based on the context of the following paragraphs.
I know I might not be able to fully automate this process, but I’m looking for a way to get as close as possible without needing a lot of manual input. I need to handle ~1000 of documents, so efficiency is key.
From what I understand, I have a couple of options:
* Fine-tuning BERT for tasks like Named Entity Recognition to pinpoint the sections.
* Using a Llama 3-like model that can handle longer contexts and work well with few-shot or zero-shot learning.
Any advice or guidance would be greatly appreciated! I’ve been going crazy trying to solve this, so any help would be a lifesaver.
The litigation comment in there was the “ah there’s the elephant in the room” moment for me
Its a great name, it is also a trademark. I dont know enough IP law to know if this is an issue.
https://trademarks.justia.com/862/39/overwatch-86239314.html

Try it and find out?
What point are you trying to make exactly? This can be said about literally anything.
I don't think it's necessarily a fine? Google picked the number based on assumed monetary damages.
https://www.cnn.com/2024/06/07/business/google-doj-antitrust...
Like lighting a police station on fire, shooting up a car, vandalization, tearing down a statue, or launching commercial fireworks at a courthouse? Can't see how someone might find that offensive at all (/s).
Bro nobody is misunderstanding you. Here, this is the data about perception published for the US[1]. Now you do Europe. You're being incredibly rude here, I never said you claimed anything about actual statistics. Perception can be measured, there are companies out there who do this.

[1] https://www.pewresearch.org/short-reads/2024/04/24/what-the-...
We need orders of magnitude fewer farm workers than we did a century ago.

We don’t miss the jobs. Indeed, our society would collapse if we needed that many farm workers today.

It will flip society on its head. For the better, as there is tons of additional productive capacity.
Nah, only gaslighting those still using Google Search.

I'd encourage everyone to consider alternatives. I pay for Kagi. But, there are other options, too. Opt-out.
I think "this happened at a crypto company" is important context to your original post.
It isn't really that exploitable, though. You couldn't march up to any of these people and take it and have it keep its value. It's not like Musk has a 4 billion dollar diamond in his stomach.
There is definitely a difference between "these beings have become so advanced as to do things we would believe impossible like reading state directly out of our brains" and "for vague and in fact aggressively unspecified reasons this critter can read the 'minds' of those around them". When people pontificate about "brain uploading" they are certainly speaking of some physical process that does what is now currently impossible, but may not be impossible forever.

But perhaps the more relevant objection is that episodic television can't really be read for more than the vaguest of philosophical content across their wholes. One episode can be written by an ardent materialist and the next by a New Age guru writing a New Age story wrapped in science terminology, and as long as they do a good enough job in general writing ability and following the series bible for consistency, it might take a lot of analysis to notice. Such series aren't so much statements themselves as platforms.
The problem is that libxml2's 20-year old HTML parser never supported HTML5 [1], leading to more and more problems with downstream consumers like lxml, PHP or Nokogiri. PHP recently switched to Lexbor [2] and Nokogiri to libgumbo [3]. That said, I'm hopeful to receive enough funding to implement a HTML5 parser in libxml2.

[1] https://gitlab.gnome.org/GNOME/libxml2/-/issues/211

[2] https://wiki.php.net/rfc/domdocument_html5_parser

[3] https://github.com/sparklemotion/nokogiri/issues/2204
I extract several hundreds of dollars a month for the cost of $25 a month

That's an odd choice of words. You seem to be operating under the assumption that wealth extraction is a good thing for a society?
This is the tool I have been looking for quite some time. I don't know why my searches returned only the simplest screenshot tools that are available on Linux. I have been using ShareX on Windows and was surprised to not find a similarly powerful tool on Linux. Now, I know that it was because of my rusty duck-duck-fu (or search is basically useless nowadays).

Thank you for sharing.
I can't the repo I think they may have since made it private, however they were released with an Apache 2.0 license so anybody can access/upload them.

They seem to be available here now: https://hexdocs.pm/google_api_content_warehouse/0.4.0/api-re...
I’m with them. They’re using a tool they’re paid to work on. That’s always a special case. The general case would be what percentage of mathematicians use (a) proof assistants at all, (b) mechanized proof assistants, and (c) Lean specifically.

Do most working mathematicians use proof assistant or checkers? Does anyone have a percentage with feedback on how they use them?
I am confident that I will not be one of "web devs who decry AI because I'm out of work" [1], but even if I were, it doesn't actually change anything about what I said, even if you could prove some kind of hypocrisy. I was laid off from three jobs last year (not for AI replacement), so I can empathize how much it sucks to lose your job, but that doesn't mean we just halt progress, and even if I were pissed off that ChatGPT replaced me, it wouldn't really change anything I said.

> Notto mention, all of the creative and entertainment industry jobs that will be destroyed permanently.

Sorry, citation needed. Everyone just keeps asserting it like I can just take it as an axiom, and I don't buy it. AI is a tool, it will be treated as a tool, if a tool can do something better than a person then that tool should be used, and if it's worse than a person, then they probably won't be replaced.

If ChatGPT were to start writing code that didn't suck and as a result started replacing lower-level developers and eventually higher-level developers, that would of course suck, but those developers would probably just learn how to use the AI tools and move on with the trend, at least eventually.

People have been saying this crap my entire life (and probably way before it), and I just don't accept the axiom.

[1] I don't do web dev, but you can replace it with "backend data processing crap dev".
What if collective cognitive biases are the result of telepathy?
Does anyone know why, anecdotally, it seems like the slowness of type inference is more of a pain point in Swift than in Ocaml, Rescript, Purescript, Haskell, etc?
Something that big in water trying to stop vs something on the ground with lots of friction contact with the ground is two entirely different things.

I'm way less concerned about this thing hitting something moving at 10mph than I am someone else driving their thing into this bigger thing. It would have to be a massive thing to budge it.
A implies B, doesn't mean than B implies A. That's a basic logical fallacy.

AGI can add 1+1 correctly, but an ability to do that is not a test for AGI.
Regulations are exactly what we would have less of IMHO in so many areas nowadays. Talking about Europe, so if you are american, I do not have an informed opinion.
LOL - seriously? Nice.

In NYC they do this all the time. They'd also nitpick the hell out of your work.

You'd feel like a complete loser after your review.
Pretty hilarious when thinking back about it.
As Tao says in the interview: Lean is the dominant one.
There's plenty wrong with marketing, but it's pretty foolish to think that there's no benefit to it at all. And calls for violence against people in that field? What?
http://web.archive.org/web/20240612182546/https://www.newyor...
Bridge Strikes
Maybe it's about validation, not necessarily update data. They do seem to take safety more serious than Tesla does.
I would expect a bunch of identical tanks working in parallel, so that some of them could be taken offline and fixed or replaced.
You're claiming that Iraqi's were so happy under Saddam's reign, that some even fought for him?
I think it may have been a political choice. Fireworks.ai is apparently providing compute for Stability for SD3, and Fireworks has had https://fireworks.ai/models/stability/sd3 up for a while which appears to be basically the same thing.

It's an odd thing going to Fireworks and getting a page where you have to provide a Stability API key.

I get a feeling there may have been some agreement for Stability to not provide a UI to drive traffic to Fireworks, and it went south for both of them because no one could find the Fireworks page to send traffic to and adoption of SD3 was lower than expected because of the lack of a UI.

That being said, it's very easy to wrap in a CLI. I'm using a ~300 LoC Go CLI application I wrote to call the SD3 API, download the image, embed the prompt in the EXIF data, save it to disk and then open it in Firefox so I can see it.