skysight-inc/HackerNews huggingface dataset:
If you do an 83b election on RSUs, you'd recognize the entire present value of the RSU grant as income in that year, and pay taxes on it. I believe you're then limited to claiming capital losses on that if you leave before it all vests, or it all ends up worthless.

Stripe was already worth $9B in 2016. If you joined then, it could have been prohibitively expensive to do an 83b election. The whole point of RSUs is that you don't owe anything until there is a liquidity event, unlike options which you may be required to exercise or lose while the company is still private.

However, RSUs only get this favorable treated (i.e. you've been given something of value, but can defer paying taxes on it) because they technically expire worthless if the company does not have a liquidity event in time. Thus far no successful tech company (that I know of) has screwed over its employees by casually choosing not to have a liquidity event and letting years worth of RSUs grants all expire worthless.

Stripe is trying to arrange liquidity for its employees who were granted RSUs in e.g. 2016, and that expire in 2023. Those employees have not had to pay taxes as the RSUs vested, but will have a large tax bill if those RSUs do anything other than expire worthless...
When you walk in your local grocery store and see a Pepsi display with a football player or something and a big stack of Pepsi products right there how do you all think that happens?
Ask HN: The Code Book by Simon Singh but for Other Fields?
I just finished reading The Code Book by Simon Singh. I really liked it. It is slowly paced, goes into a lot of details yet easy enough to read while having lunch.

And this book is also rich in history and anecdotes.

What are some other books that are like this, but for other fields?
> "We haven't been heard or listened to...."

Maybe they have been heard and listened too and the democratically elected government of the people disagrees. Just because you don't get your way doesn't mean you haven't been listened to.

> "We are using the only means we have left: it's the hard strike ... we are not going to give up."

This is the part where the petulant child that doesn't get what it wants threatens to hold its breath until it turns blue. This is anti-democratic and nothing but coercive, naked extortion. Like literally extortion.
Because they didn’t get options. Stripe was flirting with going public for so long that they gave RSUs and people were trading the shares on private secondary markets.

Those secondary markets have dried up in the general macroeconomic environment, so now this practice is leaving people with their pants down, complete illiquidity.
OP isn't talking about the performance of Rust code to calculate fib(35), but rather the performance of a Rust implementation vs a Zig implementation of an interpreted language executing code to calculate fib(35). They are saying that the Rust VM they wrote is slower than the Zig VM they wrote.
it wasn't suppose to be funny. C has specific problems. Rust is a solution to those specific problems.
You can't get around the fact that you need baseload and/or storage. Both are hard problems. Some locations have regional baseload solutions like hydroelectricity, but many don't. Nuclear is a solution that works anywhere, but like you say, it's expensive. Storage is similar: there are some regional solutions (pumped hydro), or a difficult and expensive general solution (chemical batteries). There's no single answer that works everywhere. All options, including nuclear, need to be on the table and considered as part of the whole-system energy solution.
It's not about actual ugliness, it's just something that is hard to articulate as something other than ugliness. https://matklad.github.io/2023/01/26/rusts-ugly-syntax.html
Or it could have just been a recordio file that was being written by something that crashed in the middle of doing it, and the committed offset was at a valid end of record.

Really there's 1000 ways for this to happen all of which are going to sound obvious in retrospect but are easy to commit.
Argentinian? The government theft of the private funds was outrageous. Although the AFJPs were far from being a 401(k) system.
You mean like a pro Ukrainian group blowing up the pipeline and risking losing western partners?
This is about a person working in tech that started a successful startup company, and was fired from another tech company which acquired the former. The firing is really public, and of questionable morality (perhaps even questionable legality), where the CEO of the bigger company is trying to publicly humiliate his worker.

This is indeed very interesting to HN (you can see that by the number of upvotes and comments). It touches on what we can expect when working in tech, and how tech billionaires treat their workers. The low value comments about Elon being rude or justifying his behavior will be voted down as they are less interesting than the actual matter at hand.
Database first designs make a lot of sense in a lot of ways. I've worked for a company with an Oracle database that has SQL scripts that do all the validation and create text files for downstream usage. I think it makes more sense than a ton of Java, but there are pros and cons. One is that SQL is relational and the advanced stuff can be extra hard to troubleshoot if you don't have enough experience. Even those that can't code can usually understand a for loop and can think imperatively.

Unfortunately it's an expensive commercial product or I'd recommend you look at kdb+ if you work with time series data. The big banks use it and essentially put all thier latest RT data into kdb+ and then can write extremely succinct queries with a SQL-like syntax, but the ability to approach it far more programmatically than what is typically doable with something like PL-SQL. You can even write your neural network or whatever code in less than a page of code as the language of kdb+ is extremely powerful, although also basically incomprehensible until someone puts some time into learning it. It's extremely lightweight though, so very easy to deal with in an interactive fashion.

All that to say I agree with you that it's nice to just have everything you want all in one spot rather than to deal with 4 different tools and pipelines and shared drives and so on.
True, but if you're running a website like that where you pull people from, then you should also do some automation work via NodeRed to automate those social media flows.

Its hard to be suckered into a social media site if you never go there. Then again, HN is also a social media site too.
> As a result I have not found this article a good one to share with junior developers to help them understand how to design types to capture the notion of validity, and to replace validation with narrowing type conversions (which amount to ‘parsing’ when the original type is something very loose like a string, a JSON blob, or a dictionary).

This is sort of true. It is a good technique, but it is a different technique. I went into how it is different in quite some detail in this followup blog post: https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-...

I think a common belief among programmers is that the true constructive modeling approach presented in the first blog post is not practical in languages that aren’t Haskell, so they do the “smart constructor” approach discussed in the link above instead. However, I think that isn’t actually true, it’s just a difference in how respective communities think about their type systems. In fact, you can definitely do constructive data modeling in other type systems, and I gave some examples using TypeScript in this blog post: https://lexi-lambda.github.io/blog/2020/08/13/types-as-axiom...
Since you can really only have one job at a time and maybe like 10 total jobs over your whole career, optimizing for the biggest pool of possible jobs doesn't necessarily make sense. Obviously don't pick something esoteric, but if you have years of experience in any of the popular languages (Java, C#, Python, Ruby, PHP, JavaScript, etc.) there will be plenty of jobs for you. Optimize for whichever language you don't mind working in for years at a time.
Are you serious? People have had to threaten to sue to get the severance that was agreed on, and there are regular waves of twitter layoffs on practically a weekly basis.
In writing the above, I also came up with this ELI5:

In the video game of life, Elon Musk has infinite lives, has a health bar that stretches across the whole screen, and you and I are lucky to have 1up. Who do you think is going win?

Putting aside winning: If you and I want to keep playing the game at all, we have to pick smaller bad guys to fight, and we will be rewarded with concomitantly smaller amounts of loot.
> Sometimes I need to move a couch or a stack of drywall and I'm glad someone has a truck.

Better find someone with an old truck since those won't fit in the bed of a new one.
I've been playing with making a rust interpreter and reading other people's work. Here's an interesting blog post (not mine) on making a interpreter in rust match the speed of a c implementation. It seems folks often have to resort to unsafe rust to get the performance they want. I don't claim to fully understand that and am looking for more information myself.

http://www.dannyvankooten.com/blog/2022/rewriting-interprete...
Agree. Sugar also blasts your immune system:

https://pubmed.ncbi.nlm.nih.gov/32395846/

Better to reduce sugar and artificial sweeteners, but sugar alone, especially in a concentrated food/drink additive form is far worst for you than artificial sweeteners.
I really want augmented reality in a google glasses like format for in-person shopping. Lookup the nutrition facts and put X's over the items my configuration says I don't want.
I would not assume that Hashicorp products necessarily meet the design goals if I'm honest. Consul and vagrant have been absolute shits and vault adds more complexity and unreliability to the problem domain and has a net negative ROI. I like the idea of their products but the reality is very different.
Money is never truly yours if you are not the issuer. That's why we need more "hard" money (gold, bitcoin).
I think "word" as a datatype evolved from its original and more general computing meaning of "the natural unit of data used by a processor design" (the thing we talk about with an "x-bit processor") to "16 bits" during the period of 16-bit dominance and the explosion of computing that was happening around it.

Essentially, enough stuff got written assume=ing that "word" was 16 bits (and double word, quad word, etc., had their obvious relationship) that even though the term had not previously been fixed, it would break the world to let it change, even as processors with larger word sizes (in the "natural unit of data" sense) became available, then popular, then dominant.
It's pretty wild how much value Automatic1111 webuid enabled to create.
Agreed. https://news.ycombinator.com/item?id=35059068.38573487467578... is also great for obvious reasons.
>It just needs to slow it down long enough for one of the US competitors to eat up their marketshare.

If I were Snapchat I would be making moves to jump at this opportunity. I feel they're positioned the best to take that market share out of all of the current competitors, for the simple fact they've kept their core UI & model virtually unchanged.
It's not entirely historically accurate. Early machines were "word addressable" (where the words wasn't 8-bit) which by your definition should have been called "byte addressable".

There were even bit addressable computers, but it didn't catch on :)

If it wasn't for text, there would be nothing "natural" about an 8-bit byte (but powers-of-two are natural in binary computers).
The facts are that your account is 81 days old and you say, "the Ukraine". Given these facts someone might conclude that you're a shill. You could be, but it doesn't necessarily follow.
The age of consent is mostly between 14 and 16 in the EU, and there are other actions (like kissing or even holding hands) which, as I understood things, aren't restricted between consenting 13 year olds.
GPT-3 and descendants don't see numbers the way we do due to the unintuitive way the input is tokenized[1], and so we need to be careful about projecting unreasonable expectations on what they should be able to do given their built-in limitations.

[1] https://gwern.net/gpt-3#bpes
If you want to garner goodwill with your former employer after years of not doing work and still getting paid a massive salary, then taking it public after a measly 9 days is pretty ridiculous. This guy knows he was in the wrong and is milking his notability to get paid anyway.
The party conference going on right now is scaling back growth targets... Setting goals for growth and designing your whole system of governance around it are completely different things. Sometimes economic growth is what your society needs most, but other times it is not, I see no contradiction in these things.
See also this guide, reproduced from a book "Workmanship and Design Practices for Electronic Equipment", published by the direction of the chief of the Bureau of Naval Weapons, December, 1962. Included are some illustrations of jigs for creating laced wiring harnesses.

https://www.dairiki.org/hammond/cable-lacing-howto/
Don't you know the greatest minds in the world are solving the extremely important problem of getting as many clicks on an ad as possible?
You'd still need to upgrade and change every device. There have been transitional software that used ipv6 but allowed for ipv4 address notation. [1] Example:
::ffff:0:8.8.8.8

The huge prefixes allow for a simple hierarchical network structure and gives us room to redo the address scheme if we end up wanting to (only a portion of addresses space is currently allocated right now) without having to go through this entire upgrade the internet again.

[1] https://en.wikipedia.org/wiki/IPv6_transition_mechanism
In the past organisation I worked, we often had to mention a team's oncall on Slack. While our oncall rotation was managed on Pagerduty, there was no easy way to know the current oncall and know whenever the oncall handover happens. We wanted to tag any team's oncall something like @dev-on-call or @payments-oncall, however, the current tools didn't provide anything to help on this

Tired of guessing, we built this slack app through which one can easily :
-Find Who-is-Oncall on Slack Instant Notification on Oncall Rotation/Handover
-Have Automated Response for Each Oncall Mention To Free Developer Time ( may be add SOPs/ Troubleshooting documents whenever your team oncall is mentioned in slack)
- Manage Rotations & override schedule
Tag current oncall in Slack threads - Automatically fetch the current oncall for each team to tag onto any Slack conversation
- Update Slack Usergroups with the current oncall to have something like : @dev-on-call.

Pagerly integrates with Pagerduty, Opsgenie and Integrations with Jira,ServiceNow are upcoming.
International Life Sciences Institute
The top comment gave a perfect example: #![feature(strict_provenance)]

These feature enablement blocks drive me crazy. You could go from codebase to codebase and it's almost like you are working in a different language depending on how many of these are enabled or not. I've been trying rust on and off since it's release, and I still have yet to feel like I have a grasp on some "core" subset of the language I can fall back on to solve most of my problems. I always have to scour documentation for the hot new thing to turn on or do, and this isn't to scorn innovation and change, but it does get exhausting at some point.

(Please release a spec)
Yes, and it's incredibly annoying.
As reported on a Web site with overlay adverts, which disrupt the reader being able to read the article.
pip/poetry/venv are all for python code, whereas the op is talking about building the CPython interpreter itself which is written in C. Hence makefiles etc.
Nope, I'm not trying to justify anything and trying to reduce the speculation rather than add to it. I said that we don't know anything about the situation besides what happened publicly, which I also said I didn't like. You're putting a lot of words towards me that are not justifiable as I'm agreeing with most of what you're saying.

The only thing I was saying is that we don't know if he was a productive employee of Twitter or not. Besides that, absolutely horrible how he was treated, productive employee or not. But that doesn't remove the fact that we don't know what happen behind the scenes.
That's only half of a Twitter. That sounds like a joke, but honestly, it's not. $20B is absolutely nothing compared to the costs of not taking immediate action on climate change.
The core audio driver does a pretty good job with this.
It’s a tiny but capable language that’s easy to embed, and can be surprisingly fast with LuaJIT.
> It's a meme asking what exactly he did

The meme listed is specifically referencing a car-crash of a downsizing interview a manager of software engineer has in the film Office Space which he ends by screaming that he has "people skills". Its not a valid question, its an immature means of discrediting whatever someone else says next via an inside joke that it seems neither Haraldur or yourself know.

> when it's very clear he wasn't.

Its not at all clear if he was or wasn't. There is extremely limited information in any of these sources that give us a reliable read on this. None of us know how hard Haraldur works or what metric people are using to judge that. That Haraldur is both a director-level acqui-hire as well as very open about his disability, suggests a very broad grey area that I feel you might not be respecting.
But it's one thing to emphasize a naming convention, and another thing to simply not compile because I want the function be named doSomething() but am forced to name it do_something(). With a naming convention or an included formatter I still can write my style. At least until I'm used to the language's native naming style.

Being forced just annoys me and keeps me from using the language at all. (Because languages differ here extremely.)
> No they shouldn't

Allow me to present the sexiest-ever evidence to the contrary: The G3 "Wallstreet" Powerbook. https://en.wikipedia.org/wiki/PowerBook_G3

Apple has made excellent portable dev workstations in the past. After the release of the Unibody Macbook Pro though, the focus of their hardware and software focues far, far away from developers. The new 14"/16" lineup is a good return to form, but in the context of how developer-unfriendly modern MacOS is it feels pyrrhic.

If you don't relate to someone's opinion, you don't have to justify Apple's stance against it.
The wealth tax in Norway:

$160k - $1.9M: 1% per year

$1.9M and above: 1.4% per year
It's not "less usable for Ukraine". It's working perfectly fine for Ukraine and Elon is going through massive efforts to ensure this. It's less usable for weapons. What the parent comment said was outright misleading to the point of basically being a lie.

> Ukrainians will die because of this decision

And Russians would die if he made the other decision. Even if Russia is on the wrong side here, killing a bunch of 20 year old soldiers while they sit around in mud doesn't help much. They're still humans and I also wouldn't want any part in killing humans.
I’m sure Nintendo wouldn’t have complained if people did that, but trades with friends were how the game was marketed: https://www.youtube.com/watch?v=T3Oh4YiMNNw

I was as big a Pokémon freak as anyone, lived in an extremely rural area, and still managed to complete the Pokédex without duplicate/paired games by trading with friends. (And nobody had to complete the Pokédex anyway! The games had a complete storyline without it.)
Google does have this, but one of the networks is way bigger than the other, so they can't exactly fail B4 over to B2.
It is (so is the US). But ultimately productive value from workers must be transferred to retired people. How exactly that happens, whether through deferred spending power (ie savings/investments) or through direct payments, it has to happen.

Although I admit that there being other countries in the world does change the calculus a bit; it would be possible (albeit weird and unsustainable) for everyone in France to be retired, so long as say the Philippines was young and working and French retirees owned all the shares in Philippine companies.
Miri doesn't do proofs. It only checks the test cases that you run under it.
GPT Is Rather Good at Feed Ranking
I think the main attractions are that it has pretty minimal syntax + core libraries, does a good job binding to C FFIs, and the interpreter is fast.
We went with CoreText on macOS because we wanted to make sure that text in Zed matched the look of other macOS apps. We'll probably end up using HarfBuzz for the Linux and Web versions, and possibly Windows too.
nothing wrong with this license. Don't like it, then don't use it. I don't needs somebody to tell me how OSS is defined or yours.
SpaceX is a private company so they don't publish revenue numbers. Also your revenue estimate is from 2018. Current estimations put their 2022 revenue at $3.2B. And BDS does much more than orbital rocket launches. They are the third largest defense contractor in the world. Most of their revenue comes from manufacturing aircraft. Except for ICBMs, BDS's orbital launches are conducted by ULA, which has less revenue and fewer employees than SpaceX.

But employee count and revenue aren't the most accurate way to compare the two companies. The best metric is, "How much payload did you launch to orbit?" Last year SpaceX sent twice as much mass to orbit as the rest of the world combined. They have landed more rockets than ULA has launched. SpaceX also holds the record for most consecutive orbital launches without a partial or complete mission failure. This year they have averaged one orbital launch every 4.5 days. ULA has not launched a single time this year.

There are many good criticisms of Elon's companies, but it's silly to claim that SpaceX isn't the biggest rocket company.
More to the point, storing the pointers cost memory. Switching from 32-bit to 64-bit effectively halved the caches for pointer-rich programs. AMD64 was a win largely due to all the things they did to compensate (including doubling the number of registers).
And yet they have a computer?
The pi zero hardware supports gadget mode and from there it's a bit more work to get it to enumerate as a midi device. The pi 4 supports this via the usb-c port.

https://raspberrypi.stackexchange.com/questions/71613/how-to...
I played this on the Atari 800. My dad and brother somehow wrote mods for the game to do things like make Rockford invulnerable, or make it so that Rockford could dig through anything (solid walls, boulders, slime, etc).

I think they learned how to do the mods from a computing magazine to which my dad had a subscription. I remember this magazine would have whole programs printed in it that you would have to type by hand. My memory is fuzzy as I was very young, maybe 7-years-old. I'm not sure if the mods were typed out in the magazine, or if it just gave the general theory and they figured out the rest.