skysight-inc/HackerNews huggingface dataset:
> we entered freely and unsupervised in a lab full of animals valued in several ten thousands where anybody could swap the tags of two puppies and ruin the life of a young scientist just for fun, or accidentally introduce a parvovirus after playing with their own pets. And then we touched and played with all the cubs.

Yeah, sure, lad. This is not how it works in the real life.

> a dog who has never seen the sun, and will never see the sun

Why? there is not a sun in your planet?

There is a fair chance that when this dogs are walked in the streets or the university gardens by its caretakers will be able to see the sun, sniff the sun and even to pee in the sun
This is a really interesting perspective. People from poor countries should be paid less so they can't be rich relative to their neighbors.

Are rich people so destructive to neighborhoods?
It is fairly common for CEOs at pre-scale startups to pay themselves just enough to live on.
I wonder about the opposite effect... Rent in some areas has become so high, that some businesses get priced out of the area. Probably not a big deal for huge efficient businesses, but what happens to necessary but low margin businesses like where you get a haircut?
I can't tell if this is satire. Are you suggesting that they should pay higher salaries to single people because they likely won't use the healthcare plan as much? Should younger and healthier people also be paid more?
They already made a movie with that title.
The author is used to thinking of their bank account as an anonymous number, with operations handled impassively by whoever happens to be staffing the bank's reception desk that day. They probably never considered 35 million dollars to be an amount worth fussing over ("this is not a lot of money to a big bank, they'll barely notice").

The bank thinks of multi-million dollar business accounts as a deeply personal relationship between the CEO and account manager, where the AM takes the CEO to fancy dinners and golf outings and remembers the names of the CEO's children. HashiCorp's account might have been the largest that had ever been opened at that particular branch.

This article is an amusing(?) story about those two worldviews making contact.
Encouraging everybody to move to CA for a higher salary is also a distortion. The only way to have no effect is for your company not to exist at all.
Well, yes. He leant on Riemann and sci-fi writers of the 19th century who were voguish at the time (tensors and time were a hot topic) and came up with a novel presentation of previous ideas, which then passed the parsing tests of publication and other cross-checking models - other physicists - and then, later, reality, with the transit of mercury.
Yes, back in 2021.

> Hashimoto, the original CEO, is a new billionaire, worth $1.2 billion based on the IPO price.

https://www.forbes.com/sites/kenrickcai/2021/12/09/hashicorp...
> Once per year promotions seems rough.

That seems to have been the standard for every job I've ever had, across disciplines and sectors. I assume this is not the norm in silicon valley?
For 99.9% of the population, being paid the same as the CEO is a moral booster.
Public facing working paper here: https://blocksandlots.com/wp-content/uploads/2020/02/Do-New-...
The cost to the company differs, but the pay to the employee does not differ: They have healthcare and $191,227. Sure, that healthcare is "worth more" if you have more kids, but you can't benefit from it if you don't anyways.
Android, please! I promise to subscribe once it's available :)
Well if the model is so smart, could it be that it is actually aware of its layers and parameters?
Even screen sharing is mostly solved now. I do it daily without issue on Fedora with Wayland.

The only thing concession I need to make is running Slack in a browser tab instead of the app, because the app comes with an older version of Electron.
Also things reddit has been doing for a decade.
>It turns out in the era of gamified interviewing (LeetCode and friends) that they were wrong

Interviews were gamified for thousands of years, there are private tutors that will teach your child how to pass interviews into the most elite institutios.

Leetcode just made it accessible to unwashed masses.
The ToS forbids that sort of use case.
That fits my experience. If your W-2 income is 200k+ you should be able to afford everything including a place to live (old beaten-down shithole house in a bad neighborhood with a long commute, or old beaten-down tiny shithole condo close to work)

Of course, it's easy to look at that and say "Oh, I'm coming out way ahead by making 150k in $NormalCity instead", but realistically _everything_ after that base 200k is going straight into liquid net worth. So if you're choosing between 400k in Mountain View and 300k in $NormalCity it's an interesting decision, but 400k in Mountain View means you're going to retire way earlier than you would with 200k in $NormalCity
I'm probably going to get downvoted for this comment, but I'm weirdly unimpressed with this work. I think it's because it seems largely gimmicky, and wouldn't have any/many benefits over a "fixed" drone with a manipulator/arm. And maybe I'm underestimating the complexity of the control laws, but it seems like it wouldn't be much more complicated than the usual LQR state space things.
It managed to write, in one shot, a working λ-calculus parser, using a very specific programming style I asked it in JavaScript, and then translated it all to Python, including sarcastic, rhyming GLaDOS comments.

https://twitter.com/VictorTaelin/status/1635726202231988225

It also seems to be extremely competent at writing Agda types and proofs. We need some tool that highly integrates it with entire codebases, allowing for major refactors to be requested as a prompt. That would be groundbreaking (understatement of the year), specially if coupled with a strongly typed language that prevents it from accidentally breaking things up.
Yes, it seems very business as usual.

I am more surprised about the founder lack of interest for bank and finance. It’s fully in his duty to know where his investor money is. And he seems to be careless about it.
Pretty certain the AntiChrist will take some kind of this form. World is also pretty close to one world govt. which many have been trying to move towards. All of this is laid out in Revelation as the final prophecies coming in the last days.
Effective at what, political dominance? Eh..ressentiment and tearing down, attacking achievements of the strong and dominant while glorifying the weak and oppressed has actually worked extremely well.

Expressions of this sentiment like multiculturalism, mass migration and political correctness of the form of completely denouncing prior empires and dominant civilization is the status-quo order of the day. I think it is more uncertain how this type of worldview is opposed, not whether it is effective.
> Do Applers need to raise their hand to ask their managers if they can go to the bathroom?

Only after they pledge allegiance to the iPhone, and the recurring-revenue services for which it stands.
Even if you have three kids and a spouse, this still only translates to maybe 5-10% difference in total comp.

Where the real variation is is in the stock comp, which seems to be variable.
I'm not sure I totally understand what they are trying to say, but it sounds like - if you pay people more money in areas where they don't usually get more money - it is bad for those places?

The more interesting part of the quote from the article for me was this:

"Companies spin this by explaining they are merely paying people based on their cost of living, but this is absurd: do we increase someone’s salary when their spouse loses their job or when their kid goes to college? Do we slash it when they inherit money from their deceased parent or move in with someone? The answer to all of these is no, of course not: we pay people based on their work, not their costs."
i didnt downvote his comment. how can someone be offended and not even downvote the comment? you seem way more offended than me actually. as if it would make me less right. my point is that people pointing out flaws are wrong. in 2018 people confidently predicted that GTP could never do what its doing now because of its flaws, rambling and repeating. its the same mistake in both cases, a total lack of perspective and no awareness of the bigger picture.
And an (at least) equally massive number of people overstating its capabilities on the basis of some impressive demos. It's incredible, absolutely, but it's still 'just' a language model, with the same inherent limitations - it's important that we keep our feet on the ground and not get carried away.
I think the letter addresses this perfectly: equity depends on risk you take, the earlier you joined the more you get seems very reasonable.
I use a WebDAV server for storing backups (Fastmail Files). The server allows 10GB usage, but max file size is 250MB, and in any case WebDAV does not support partial writes. So writing a file requires reuploading it, which is the same situation as S3.

What I did is:

1. Create 10000 files, each of 1MB size, so that the total usage is 10GB.

2. Mount each file as a loopback block device using `losetup`.

3. Create a RAID device over the 10000 loopback devices with `mdadm --build --level=linear`. This RAID device appears as a single block device of 10GB size. `--level=linear` means the RAID device is just a concatenation of the underlying devices. `--build` means that mdadm does not store metadata blocks in the devices, unlike `--create` which does. Not only would metadata blocks use up a significant portion of the 1MB device size, but also I don't really need mdadm to "discover" this device automatically, and also the metadata superblock does not support 10000 devices anyway (the max is 2000 IIRC).

4. From here the 10GB block device can be used as any other block device. In my case I created a LUKS device on top of this, then an XFS filesystem on the top of the LUKS device, then that XFS filesystem is my backup directory.

So any modification of files in the XFS layer eventually results in some of the 1MB blocks at the lowest layer being modified, and only those modified 1MB blocks need to be synced to the WebDAV server.

(Note: SI units. 1KB == 1000B, 1MB == 1000KB, 1GB == 1000MB.)
I didn't say it was an answer to a lack of data. That was the reason I asked for anecdotal data that runs counter to my experience. No one outside of Twitter is going to have actual data on this and I'm not sure if we should even trust any data coming out of Twitter at this point considering Musk's reputation.

And for the record, that anecdote is not a single data point. It is a single statement based off my observations of the hundreds of accounts I follow. My timeline is less active. That isn't because I use the site less. It is because cumulatively the accounts I follow are using the site less.
I kind of wonder how far down the rabbit hole they went here.

Eg one of the standard preoccupations in this kind of situation is that the AI will be able to guess that it's being studied in a controlled environment, and deliberately "play dumb" so that it's given access to more resources in a future iteration.

Now, I don't think this is something you'd realistically have to worry about from GPT-4-simulating-an-agent, but I wonder how paranoid the ARC team was.

Honestly, it's already surprisingly prudent of OpenAI to even bother testing this scenario.
If it turns out that they also offer a vision plan, are you going to describe it as discriminatory against the eagle-eyed? Or would you be mad if you find out that their healthcare covers women's reproductive health?

Healthcare in this country comes from employers, and so if you've got kids, you've mostly gotta get it from your employer, and everyone with kids needs healthcare for those kids. So if you cover healthcare for your employees, that includes their family. Good system? Hell no. But it's not a trick's trying to punish the folks without kids.
Effectively there are two banks (Silicon Valley Bridge Bank, N.A. and Signature Bridge Bank, N.A.) with de facto unlimited FDIC insurance, as there's explicit guarantee for all existing and new deposits.
This is significantly more than a lot of people who will read this thread makes. Might want to check your obviously insane amount of privilege.

I hope to make this much annually sometime before I die, but I am not totally confident I will get there.
I think they meant that, in general, startups are not able to compete purely on salary. I don't think they're saying that Oxide's salary is not a lot.
> Why are they using my bot that uses the same API as everyone else?

Maybe different developers will use different APIs from different providers running different models?

Even better, from what I've seen and experienced, LLMs can perform very differently based on how they're prompted and/or fine-tuned, so Alice's TaxGPT may be better than Bob's SmartTurboTax, etc.

To the larger point, these could help make software a whole lot smarter and more tuned to personal preference. That, I think, is a selling point.

As a developer, consider a basic OCR library used to power an app that helps your user track their spending by reading receipts and automatically inputting amounts in some database. An LLM like GPT-4 can do much more than read what's on it trivially.

I can imagine an on-device model that has access to your health data can trivially read nutrition information on a label and suggest that maybe you shouldn't have that donut today...

I don't know, but easily building smarter software sounds like a strong business case...
Clickbait antidote: “For every 10% increase in the housing stock, rents decrease 1% and sales prices also decrease within 500 feet.”
This seems like it would be a cool browser standard. The browser could check that the specified SRI hash matches one published by some other entity, and then include extra information in the ‘lock’ icon or dialog, that goes further than TLS.

Usually, when I have an idea for a standard, it turns out one exists, so maybe I’ll do some digging…
Yes, I agree wholeheartedly. If you don’t need reliable replication and can tolerate data loss, whatever rocks your boat :)

Personally, I do not find Kafka difficult to operate. ZooKeeper is basically a boring black box and there’s also kraft (the famous KIP-500).
So do you believe soldiers in Ukraine are “murdering” Russians?
I’m a software engineer, live in an area with a way lower cost of living than the Bay Area, work for a company almost exactly the same size, and $191k would be a significant pay cut for me. It really isn’t a lot depending on your role, level of experience, etc, and that’s extra true for the Bay Area.
At VC-funded tech companies, founders typically have common stock just like employees.
> Are you suggesting that they should pay higher salaries to single people because they likely won't use the healthcare plan as much

Netflix does. Or at least did. They set aside money for insurance, and paid out whatever you didn't use as cash. People with spouses could just opt for the cash.
The author here. I am happy to answer any questions.
https://en.wikipedia.org/wiki/Walton_family
> not insignificant amount was produced in Russia.

Probably only Russian planes that are allowed to land in EU are those that transfer nuclear fuel (to countries like Slovakia, Czech Republic or Hungary).
Not a lot for total compensation for a software engineer with non-zero tenure in the bay area. For a point of comparison an SFPD officer starts at 105k and gets up to 145k before overtime and this is pretty average in the bay.
The missing competitor is natural gas, which is good at peak demand, and not very good at carbon emissions
That's because 99.9% of the population work for a CEO making millions of dollars a year, not $191k at a startup.
How in the world is this discriminatory compensation?

Let's simplify and say that: everyone at the company, and their families, are entitled to 100% of monthly premiums covered.

Someone choosing not to use that benefit as much as someone else by having fewer dependents is not discrimination.

It's like saying "I don't have a gym membership, I'm not using the wellness benefit each month, this is discrimination and others are getting paid more than me!"
YouTube Homepage Disappeared from Google Search
Salary is not the same as compensation.

If we look at Amazon, they do something very similar as they have a salary cap which most employees hit at L6. They can then say 'Even the CEO hits this same salary cap' when in reality the former CEO was the wealthiest person in the world.

Oxide is clever in being provocative here but this is part of a totally normal compensation model.
These made me unreasonably happy.
Given the downvotes to my comment (the irony), I have to add some context. When I talk about getting downvotes for asking what makes a good coffee, or other conversational topics like that, I mean doing so in the appropriate place, such as a sub's daily "cafe thread", where one can talk about anything within reason. The same comment made by another user or another time is received differently.

It's tiring and one of the reason I don't interact so much on the web anymore.
I've chosen to re-interpret "Open" as in "open the box to release the AI"/"open Pandora's box"/"unleash".
I don't think perjury is usually included as part of free speech either, but I take your point. Edited.
Don’t Fear the Filter
I don’t think amortized cost matters. The research and development has been done or is included in the unit cost.

Renewables have better unit economics than nuclear since fixed costs are spread over many, many more units. It sounds like better reactors need lots of research. More important is time, it takes ten years to build reactor while can order solar panels now. Probably can build a new solar panel plant and multiple solar installations in decade.

There does need to be economic incentive to over build. Someone, probably the government, will need to pay for carbon capture. May need to encourage hard-to-electrify industries to switch. But we have a while until that happens.
> Because it IS wrong.

Do we really know it IS wrong?

That's a very strong claim. I believe you there's a lot happening in this field but it doesn't seem possible to even answer the question either way. We don't know what reasoning looks like under the hood. It's still a "know it when you see it" situation.

> GPT model builds internalized abstract world representations from the training data within its NN.

Does any of those words even have well defined meanings in this context?

I'll try to figure out what paper you're referring to. But if I don't find it / for the benefit of others just passing by, could you explain what they mean by "internalized"?
i just got this answer:

Two pounds of feathers are heavier than one pound of bricks. While the materials are different, with bricks being denser and heavier per unit volume, the comparison is based on weight. Since two pounds is greater than one pound, two pounds of feathers will be heavier than one pound of bricks, regardless of the material differences.
I'm just about to start using it. I'd love to know what issues you've encountered. Thanks!
Everyone’s different but money pays rent in ways equity doesn’t, so especially for more junior people the money is a massive benefit.

In practice I think that motivated people are fine with non-wild salaries, but with early stage stuff it’s way too common to see people try to use equity as a replacement for salary. Your employees stressing out over money will cause them to perform less well.
Do they actually route traffics through nordvpn consumers, though? If you don't mind sharing.
Must be devastating for the marketing team at Google to have their new product Kleenex'd like this.
Everything has always been about power to one degree or another. Even living in a comfortable political environment where you don't have to worry about this stuff and can live in peace...first requires power. The key is getting people to think it is bad to play at the same game being played against you. Even freedom itself can be defined as the degree to which one has power or not.
We’re trading anecdotes here, but in all of the Series A and earlier startups I’m familiar with, the Founder/CEO is the the lowest paid person in the company. I would assume that non-Founder CEOs being hired in would typically be the highest paid individuals though.
> The key question is always a painfully simple one: how much are people willing to pay as a privacy-first premium?

the fact is that no amount of money a customer can pay will ever be worth more than taking that customer's money and then also selling every scrap of data that your product can get its hands on on top of it.

We need to stop accepting "But I can make more money by screwing you" as a valid excuse for how things are. It's true, but still not okay. If the economics are always going to favor exploiting people, than I guess if we don't want to be exploited we need some very powerful regulations and all of the oversight and enforcement that requires in place to change that situation. I'd prefer that to blind faith and optimism. Until then, there are a number of things we should be insisting on in products as consumers to help protect ourselves. "works offline" is a really good one in a lot of situations.
We will hit energy limits soon.
We are so used to building a new data center every 2 minutes to handle ever increasing number of 'how to boil an egg' videos, our cat pics, "free" email, "free" msging, "free" broadcast streams that its taken for granted the free stuff will stay free and tech innovation will never stop growing.

It's very similar to 2008 where ppl believed housing prices would never fall. But the day is coming where we can't afford that next data center. It's better to be prepared for that more than the singularity.
You've been using HN primarily (in fact maybe even exclusively) for political/ideological/racial battle. That's not allowed on HN, regardless of what you're battling for. It's not what this site is for, and destroys what it is for. I've therefore banned this account. Please don't create accounts to break HN's rules with.

Lots of past explanation at https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme...

If you don't want to be banned, you're welcome to email hn@ycombinator.com and give us reason to believe that you'll follow the rules in the future. They're here: https://news.ycombinator.com/newsguidelines.html.
GraphQL and Hasura is... totally reasonable for a startup? We used same at a 12 person startup, way faster and cheaper than the shitty MVP API service we were limping along with.

Also Hasura is not Meta tech afaik.
My guess is that the large tech companies in the bay area share certain characteristics, for better and for worse. Many factors are at play though. Do I think working for Intuitive Surgical is just like working for Apple? No, but in many cases I think you'd encounter similar issues.

That said, there are certain companies that are held in higher esteem by many of the folks who care about such things, and those companies tend to attract people who value working for an esteemed company. I talked with another FAANG engineer one day who said they'd feel like a failure if they didn't move on to another FAANG, despite grinding away for years, being middle aged and unhappy, and burned out by the politics at work. Anyway, I think those 'esteemed' companies attract more aggressive and driven folks which changes the culture vs any other large tech co.
Except that undermines some of the core points of the letter. They talk about transparency, but are still being quite opaque. They talk about teamwork, but as employee 50, how am I supposed to feel like I'm on the same team as employee 10, when he stands to make several times more than I do if we succeed?
Bookmarked. I will follow with interest although not sure ASR done locally on phone guarantees data is not being uploaded to the cloud.