skysight-inc/HackerNews huggingface dataset:
It's odd because top level salaries are a tool to hire the best. If someone is paying a good salary, it makes good sense to broadcast them. Otherwise, what's the point? Who's going to go after invisible carrots? All you can do is spread rumors or expect that people act on delayed rumors.

There's the argument that salaries are opaque so someone within wouldn't feel bad about getting a lower salary, but this is only really the case is someone is paying a L6 differently in US vs UAE vs India or something. But they know what market they're in.
> at home with the right hardware

Where the right hardware is 10x4090s even at 4 bits quantization. I'm hoping we'll see these models get smaller, but the GPT-4-competitive one isn't really accessible for home use yet.

Still amazing that it's available at all, of course!
Typescript also does the former, albeit with less friendly syntax.

X: 1 | 2 | 3 // …
You can come up with all kinds of fancy stuff, but if they're disjoint I don't think you're going to to much better than storing them in an efficient data structure for ordered data.

Something to look into would be to ensure that the starts of intervals are sorted after the ends of intervals if they happen to be at the same time. If you got that then the starts and ends of intervals simply alternate and most queries easily translate to one or two lookups.
> had tons of reviews with OK crystaldisk performance screenshots

Select the 1-star reviews. Usually someone helpfully posts proof of the scam.
Duplicate Whist
I'm confused, and please correct me if I'm wrong.

Aren't all these calls blocking? Doesn't `File.read` still block? Sure it's multithreaded, but it still blocks. Threading vs an event loop are two different concurrency models.
Really interesting how this is viewed in different countries.
How far does this go? Does this include Gacha game devs? How about people working on loot boxes in gaming (like finance/marketing people who come up with new boxes)?
Or NFTs or crypto in general?

I wouldn't even thought to think about people coming from gambling companies differently.
Void means "it is a syntax error to construct a value of this type". This is not a type that exists in category theory or Haskell. (But similar to the "bottom" type.)

Hence, "void*" - a pointer to something, but it would be a syntax error to derefence this pointer.
The unspoken assumption about salaries are that we picture earning that amount for the rest of our careers. $500k at one job feels much more secure and mortgage-able than $500k dependent on maintaining an illusion and level of work that will lead to burnout.
You can't joke in the office, you won't be taken seriously if you do and that will prevent you from advancing
Oops, I read 48 somewhere but that's wrong. Thanks.
If you are at risk you can be admitted to a hospital in advance. Also there are protocols like inducing labour a week early to reduce risks with too large infants. Etc.
Actually yes, but you won’t find engineers compensated that way. Usually it’s the CEO. They will take a symbolic base salary (often they will say $1 but HR forces it to be minimum wage behind the scenes) and get paid with stock.

The trick is that it’s not RSUs, so not regular income. Instead it’s some form of option (I am not a tax attorney so I hesitate to state the type of option, there’s a variety of them that are used with different limitations). I believe they exercise 83(b) style to avoid AMT as well.

As usual, you need to already have a lot of money to make this work. Tax avoidance is amazingly accessible once you have enough money. One trick I could do, but don’t — my bank gives me a line of credit based on assets they manage for me. I could quit my job and easily live for years just using the LoC and report zero income other than passive income from rebalancing trades (which are very minimal).
This is very impressive but I think Short-Stack [1] is a more impressive project because it is a fully fonctionnal Wii (as in, it works on its own as you would expect from a regular Wii) compared to this one where it needs other accessories to be able to play.

[1]: https://github.com/loopj/short-stack previously discussed 3 months ago here: https://news.ycombinator.com/item?id=40071826
> possible microstates

Conditional on the known macrostate. Because we don’t know the precise microstate - only which microstates are possible.

If your reasoning is that « experimental entropy can be measured so it’s not about that » then it’s not about macrostates and microstates either!
Is the startup time faster on iOS then? For me it spends time loading workspace and indexing the vault mostly…
Wild accusations without evidence? Shill much?
It's not really competitive though, is it? I tested it and 4o is just better.
The poster who was banned for 100k hours posted after 11 years, 149 days. Therefore, 100k hours cant be more than 11 years, 149 days.
It warms my heart to see that Steve's website appears frozen in time (and works just fine). I bought Spinrite nearly two decades ago and it saved my bacon more than once. Also loved to listen to him and Leo on Security Now in the very early days of podcasts ("netcasts" lol).
As a male "suffering" from alopecia areata I know a thing or two about baldness.

There are more pressing issues in the world right now. Spending time and energy in fixing baldness for men seems wasteful to me.
Llama 3.1: Our most capable models to date
now add a leaderboard for most collected...

btw i had a look at the code and it seems benign. no clue if there's a way to verify the same code is in the chrome extension store.
Potentially also for syncing lip movement for content dubbed in a foreign language. For me when watching foreign media dubbed to English the discrepancy is very noticeable and quite distracting, no matter how well the dub is written, performed, and edited to match the timing of the original.
You must have heard it already but you won’t turn into Arnold by doing bodyweight squats 3 days a week for a year. It will, however, shape your body and rearrange fat deposits into more conventionally attractive positions and I don’t think there’s anyone around saying that’s not attractive.
This is where I'd really be interested in seeing an AI system help. Don't write an AI system that helps me shovel out vast quantities of code, and then solves the problem of the resulting incomprehensible mass of code being impossible to work with by making it even easier to shovel out yet more masses of code to deal with the even larger masses of AI-generated code. It does not take a genius to see that this ends up with even the AIs being staggered by the piles of code in the world until all intelligences, natural and otherwise, are completely bogged down. (Exponential complexity growth defeats everyone in this physical universe, even hypothetically optimal AIs running on pure computronium.) Write me an AI that can help me drive something closer to Idris and bridge the gap between that overly-rigid world I'm complaining about and the more human/real-world goals I'm really trying to accomplish, have the AI and the programmer come to a meeting-of-the-minds and produce something with exactly the right rigidity in it, and help me reuse the results of other's work.

I mean... we're going to end up with the first one. But a man can dream. And while I will cynically say we're going to end up with the first one, it is at least possible that we will then recognize there's a problem and pursue this second approach. But not until the first approach bites us, hard.
Right now, anyone who works in text-to-image or interacts with the website Civit.AI is effectively “working in porn” as an AI engineer.
I bought a (little too) cheap large SSD off the internet. It was surprisingly slow, but it seemed to work fine, so I assumed that's the reason for the low price - until I tried to backup my other SSD on it. After the first ~50 GiB, all the writes suddenly failed and I could only perform reads.

After re-formatting it and attempting the backup a few more times, I was frustrated, so I searched the internet for related problems and found out about these so-called "chinese scam drives" that announce size to the drivers that is much larger than actual, and just throw away any writes above some memory address.

I quickly found f3 and tested it - and sure enough, it was a chinese scam drive. I reported the seller to the local inspection and they confiscated all the other drives and gave them a huge fine. I feel pretty smug about it.
Ultimately it just means that we have a way to make sure that We the People aren't being punished by laws that we don't consent to being held to.

It puts power directly into the hands of the typical American citizen, which is why our legal system is terrified of it. You don't have to be rich or well-connected to sit on a jury. It also effectively limits what can be done using that power to what a "random" (and presumably representative) selection of the community agrees to. That's what a "jury of your peers" was supposed to be all about.

I'd say that nullification makes it possible for people to truly govern themselves and that makes it an inherently righteous system.

It's the righteousness of the people who make up a community that is questionable, but even imperfect people deserve democracy and the right to self-govern.
30.84M H100 compute-hours, according to the model card

https://github.com/meta-llama/llama-models/blob/main/models/...
I have found Claude 3.5 Sonnet really good for coding tasks along with the artifacts feature and seems like it's still the king on the coding benchmarks
> ...culture of monkey patching...

I haven't seen more than a handful of PRs with monkey-patching in the last decade and even then they are accompanied by long-winded explanations/apologies and plans for removal ASAP (eg monkey-patching an up streamed fix that hasn't been released yet).

Also, ruby classes/methods can tell you all about themselves, so if you haven't got ruby-lsp up and running (and even if you do) you can always open a repl (on its own, in the server process, or in a test process) and ask the interpreter about your method. It's pretty great!

It's definitely the case that the editor's ability to understand code via static analysis is limited compared to other languages, but it's not like we ruby devs are navigating in the dark.
Meta releases Llama 3.1 open-source AI model to take on OpenAI
I'm not really in the market, but I would expect that most Midwest women wouldn't be opposed to dating a man who is a few years older.
Yeah - in theory they are the same thing. You can have a dependent type that's an array with a length of 5 or you can create a type called ArrayLengthFive, and in both cases the type checker ensures that you don't accidentally use an unbounded array.

But the difference is that with a dependent type, you get more guarantees (e.g. my ArrayLengthFive type could actually allow for arrays of length 20!). And the type checker forces you to prove the bounds (there could be a bug in my code when I create an ArrayLengthFive). And the dependent type allows other parts of the system to use the type info, whereas ArrayLengthFive is just an opaque type.

I do think there is room for both ways of working. In the string -> Email example, it's probably enough to parse your string and just call it an email. You don't need to try to encode all the rules about an email into the type itself. But there are certainly other cases where it is useful to encode the data constraints into the type so that you can do more operations downstream.
Having them quit jobs was not the desired outcome, but 2% did. Noahpinion talks about it briefly here https://www.noahpinion.blog/p/at-least-five-interesting-thin...
> people who expect me to care about my appearance

You seem to care about your appearance a lot, and also seem to be putting a lot of effort into cultivating a particular image. There used to be a lot of punk rockers in high school who "didn't care about fashion" but somehow all dressed exactly alike and had very similar haircuts.
And don't forget to factor in that IAH is a 20 mile drive from downtown Houston, and AUS is another 10 miles to downtown Austin! (Combined, that's about 1/5 of the driving distance between the two cities.)
Austin, isn't representative of anything except a confluence of factors combined with stupidity.

First, its a ~30 min flight to Houston, and a ~40 min flight to Dallas, two of the largest and busiest hub airports in the USA. So, a massive amount of american/united Austin traffic is Austin->IAH/DFW->destination if your not flying southwest with a direct route. Yes, there are a number of direct routes to other places, particularly large hubs (DEN/ATL/JFK/etc) but its like once a day or every other day for non hub airports.

But that pattern is doubly reinforced through local decisions which have resulted in ABIA being the number #1 airport in the USA for flights per gate.

AKA, by gate count it has the highest utilization of any airport in the USA, and this is the result of the anti-growth politics for the past 40+ years, that did things like move the airport from Mueller, to ABIA while initially planning on having the same number of gates as Mueller, and only relenting and adding 4 (IIRC) more. And keep in mind that Mueller was frequently like going to a crowded standing room only bar. And not only was ABIA undersized but it wasn't designed for serious expansion. And really, there wasn't any excuse when one looks at any airport designed in the past half century its obvious where the terminal expansion is planned (ex:DFW) with the better designed airports like TPA/MCO using a hub and spoke model. Instead what Austin is going to get is an ad-hoc expansions which will result in Heathrow levels of suck (and its already that way for the south terminal, where one has to leave the airport, drive for 10 mins and then re-enter).
Blogging Assistant – Generate and post SEO optimized blogs to WordPress
>If not you are basically telling them they suck for being in that job and not studying.

Not at all. There's literally nothing wrong with asking people if they're studying something or not.
I think you are failing to understand my point:

If something trends give or take 30% for 80 years or more, a +/-3% variance is a fucking rounding error. I don't care if it's home ownership or unemployment or whatever the number is, it is a rounding error not worthy of concern.

It's like the lowering and rising of the tides. It goes up and down, but the sea level remains basically the same overall; thus, nobody cares about the exact tide at an exact time for figuring out sea level because it's a rounding error.

Put more bluntly: The trend has not changed, what is there worthy of my concern?
Also, you do realize that Russia is currently winning in Ukraine

They are not "currently winning". By any objective measure, the war on the ground is currently a stalement.

Only problem is that in the long term -- stalemates never work out for the occupiers.

In Russia's case: If the situation continues as it does, and moving at the glacial pace that it does, and draining 10 percent of its GDP every year -- they will ultimately have to give up on their optional neocolonial adventure, pick up their toys and go home.
The C code in Ruby has to yield to the scheduler when it detects a fiber.

For historical context, python had several "colorless" attempts but none achieved widespread adoption.
Why we need to legalize weed, cus the glowies have already asked for it since they lose so much talent to the herb.
facepalm – mixed up arr & cashflow as I was going to bed. thank you.
True, but they are also encouraging to instead invest in other parts of your body which can more than compensate for this negative effect on female humans. Muscles…
Being bald is not an issue. And wasting earthly resources to "fix" it is a waste of those resources, imho.
You gotta love to see the feds putting in the effort where it counts.

Investigating the pedophiles in the government that went to Epstein Island? Bah, that can wait.

Shutting down some eBook sharing site? Oh man, better pull out all the stops for this one, can't let people read books now!
People wanted a head. They got it. Kind of surprised she bothered to go to the hearing first.
What will this do to the likes of Mistral, given that Apple has fully opened everything?
You could prevent arbitrary mutation, pushing computation onto a more flexible type and allowing assignment back to the more constrained type only when first guarded by an appropriate conditional. The whole "parse, don't validate" thing.
Java has shown that a sufficiently strong runtime can take the burden onto itself long after the facts have been established.

Python in contrast has a runtime ultimately held back by its deep integration with the C-ecosystem which creates more black-boxes inside the runtime than you can find inside a swiss cheese.

Similar with C# and Rust. No strong runtime, no colorless functions for you.
Completely agree; being able to transparently know what the system is going to do by just looking at a few lines of text is sort of game-changing. It's trivial to add and remove services, and you can be assured that you actually added and removed them, instead of just being "pretty sure" about it.

Obviously this is just opinion (no need for someone to supply nuance) but from my perspective the NixOS model is so obviously the "correct" way of doing an OS that it really annoys me that it's not the standard for every operating system. Nix itself is an annoying configuration language, and there are some more arcane parts of config that could be smoothed over, but the model is so obviously great that I'm willing to put up with it. If nothing else, being able to trivially "temporarily" install a program with nix-shell is a game-changer to me; it changes the entire way of how I think about how to use a computer and I love it.

Flakes mostly solve my biggest complaint with NixOS, which was that it was kind of hard to add programs that weren't merged directly into the core nixpkgs repo.
Something like this in TypeScript:

type Person = Omit<User, 'password'>
type Invoice = Customer & { invoice: Inv }
// or
type Invoice = Inv & { customer: Customer }
This is an insane response. This does not concern me at all and has nothing to do with what I said.
So are they actually making the models open now or are they staying the course with "kind of open" as they have done for LLaMA 1, 2, and 3 [1]?

[1]: https://opensource.org/blog/metas-llama-2-license-is-not-ope...

As I have stated time and again, it is perfectly fine for them to slap on whatever license they see fit as it is their work. But it would be nice if they used appropriate terms so as not to disrupt the discourse further than they have already done. I have written several walls of text why I as a researcher find Facebook's behaviour problematic so I will fall back on an old link [2] this time rather than writing it all over again.

[2]: https://news.ycombinator.com/item?id=38427832
Oh most certainly. But that industry has a reputation for a reason, no? I would expect every place to have different culture, interview processes, etc.
Thanks for the pointers, looks very relevant.

It's just such a low-effort peace of mind. Just a few clicks and I know that regardless what happens to my disk or my system, I can be up and running in very little time with very little effort.

On Linux it's always a bit more work, but backups and restore is one of those things I prefer is not too complicated, as stress level is usually high enough when you need to do restore to worry about forgetting some incantation steps.
summary: estimating work, effort, and time to automate something is less reliable than how long the equivalent manual changes will take. Any group exhibiting this behaviour may be seen to be waving a pretty bright red flag, especially if they identify as technologists.

Keep automating in spite of estimation hell.
Meta debuts newest Llama AI model with help from Nvidia and cloud partners
https://news.ycombinator.com/newsguidelines.html

No, they shouldn't.
This 405B seriously need quantization solution like 1.625 bpw ternary packing for BitNet b1.58

https://github.com/ggerganov/llama.cpp/pull/8151
Show HN: Context API and State Management Libraries
Meta-Llama-3.1-405B
I just wrapped up a long job search process, where I got offers from a handful of companies. I currently work at FAANG, so I was looking for a pay bump.

The only companies that could beat my current comp are other big tech and finance, but there were a couple of surprises along the way.

For example, a Tier 3 (i.e. you never heard about them) company offered me 450k TC for a Staff level position. This compares to the 500k TC for a senior level position at FAANG. I also interviewed for a Startup that offered 650k TC for a Principal level, although the stocks were paper money.

To your point, "random" companies can come close to FAANG salaries for high enough levels, but it's far from a given. In fact I'd say most random companies probably top in the 200k range.

If you are interested just start every conversation with a recruiter asking for their comp range. I found these days almost all recruiters answer, and then you can decide if it is worth your time to go ahead.
No, that’s what I was trying to understand (whether containment would be maintained in a catastrophic rail event) but I didn’t see it covered in the article.
AD is incredibly more popular than Kerberos despite part of it using the protocole. Microsoft is everywhere in the corporate world and most people know of AD but have never heard of neither LDAP nor Kerberos.

And to be honest, it's fairly understandable. AD manages to be somewhat turnkey while doing the same thing on Linux systems is a major pain.
PFAS widely added to US pesticides despite EPA denial, study finds
"I want shorter games with worse graphics made by people who are paid more to work less and I'm not kidding,"

It's been a meme for a while and I unironically agree.
It's hardly cheap starting at about $10k of hardware, but another potential option appears to be using Exo to spread the model across a few MBPs or Mac Studios: https://x.com/exolabs_/status/1814913116704288870
> And on a societal level it's an interesting philosophical question, but waiting around and hoping that something external comes along to magically fix the problem that you're experiencing personally isn't a plan for success.

Yeah, I suppose the only reason to point out that a problem is systemic and therefore requires a systemic solution is if you're part of a group or movement that is proposing a systemic solution. Otherwise, there's no point, because the only other solution is to solve the problem for yourself at the individual level anyway.
You can load the page using a VPN and then turn off the VPN and the page will still work.
Apparently this belief is far more common than I thought. I expected it to be closer to the percentage of Americans who think the Earth is flat (10%)[0]. Evidently 50% of Americans[1] believe you pay your highest marginal rate on all of your income. I'm blown away, and genuinely humbled. I don't understand how someone can get a Fannie Mae/Freddie Mac home loan, raise children, have a long and successful career and not understand tax brackets -- I clearly am incredibly out of touch with how some people live their lives, and I have a lot to learn about other people.

0: https://carsey.unh.edu/publication/conspiracy-vs-science-sur...

1: https://www.aei.org/economics/survey-confirms-that-many-amer...