skysight-inc/HackerNews huggingface dataset:
What I'd find really interesting in this space, would be coalescing around a "standard" storage format and API.

This definitely fills a need [1], and I'd easily port something like this to my Go bindings as needed (no Rust necessary).

It's encouraging that the storage format is a (recently published) RFC 9557 [2]. Not so sure about having jiff on all the function names.

Making SQLite easy to extend (Alex's Rust FFI, the APSW Python bindings, etc) really is a treasure trove.

1: https://news.ycombinator.com/item?id=41043499

2: https://datatracker.ietf.org/doc/rfc9557/history/
While that sounds interesting in the abstract sense, I'm pretty sure the athletes would all end up dead or severely disabled by age 25.

Which would totally ruin the vibe. If I wanted to watch guys killing themselves for my entertainment, I'd watch motorcycle racing.
Honestly, this downturn in profit is not surprising. (Copying from the other thread)

- A lot of Tesla competitors have caught up (outside of self driving) and energized their sections of the EV market. I see way more Korean EVs on the road than ever before for example.

- EV growth is slowing due to various factors, but so are cars in general due to economic issues.

- Elon opened up the NACS as a gambit for not having to change their own chargers. NACS won, but a lot of prospective EV buyers are waiting for NACS native vehicles from other manufacturers.

- Elon has really alienated massive chunks of the EV demographic. Identity politics are inherently tumultuous.

As a launch batch Model Y owner myself, I’m definitely looking elsewhere whenever this car needs replacing. I want more comfort and just a better driving experience (turn signal stalks, an instrument cluster etc in the more accessible models) and the only reason I went with Tesla is the charging network is unmatched in NA.

I do not have a very rosy outlook on Tesla as long as Elon remains in charge. He got it where it is, but he’s increasingly a liability.
Ok, but it did just blow up a little.
Ever since I watched that documentary on the steam volcano eruption that killed all those tourist in New Zealand I would never go near anything steam related coming out of the ground.
It's a made up concept and it includes all possible ways people can think anything. If you want something concrete then you can consider sheaves of finitely presented algebras on the nervous system considered as a topological space with the obvious covering relations, continuous transformations, and algebra morphisms.
Note there is an error in the paper going from equation (60) to (63): inequality (63) should read 10^-8 Hz < mu < 10^2 Hz. This is fairly important from an observational standpoint!
Because the Olympics organization would never want to pay to outfit athletes with non-sponsored gear (whether for cycling or any other sport).
Replaying the Tape of Academia: Alternative Practices for the Physical Sciences
My dude. Google Chrome hoovers up all your browsing history. Google knows the content of pages you visit, because you make search queries to visit them, and most sites use Google Analytics or Webmaster tools, or the sites are in their index and can be looked up by URL reported by Chrome. Google has your Gmail, YouTube, Google Drive… if it wanted to, it could access your private stuff because it has access to your email. You are whinging about a silly joke project with a hypothetical concern, when you are already granting broad permissions to all of your data.
> but the bottom line is that Google retains the vast majority of YouTube revenue

Do you have a source for that "bottom line"?
> Why isn't there a standard binary format for CRLs that is a cuckoo filter or a similar data structure?

We're getting there -- browser-summarized CRLs are available in Chrome and Firefox now

- https://letsencrypt.org/2022/09/07/new-life-for-crls.html

- https://blog.mozilla.org/security/2020/01/09/crlite-part-1-a...

- https://www.imperialviolet.org/2012/02/05/crlsets.html
I think a plurality of people here are single and young and can’t possibly imagine not living in a city with all the social advantages and lifestyle perks being in one has. I did too when I was younger.

But you quickly find there are better options when you want certain things and have options.
I wouldn’t even say hi alone my name to someone wearing a Meta headset out in public. And if facial recognition becomes that common for wearers, most of the population is going to adorn something to prevent that. And if it’s at work, I’m not working there and I have to think many would agree. Coworkers don’t and wouldn’t tolerate coworkers taking videos or pictures of them.
> biggest risk of a nuclear war breaking out that the species has ever faced

I think this is absurd and I really don’t like this line of thinking. This is being blown away out of proportion.

Russia wants ukraine and China wants Taiwan. These are localised issues, nobody is invading Texas, and core territories of nuclear powers are not in danger.

Much bigger chunks of lands have changed hands over the last 60 years, think collapse of USSR, the debacle in Afghanistan, Vietnam war, etc. The world did not end.

In 2008 American banks did more damage to the world than Russia/China would by successfully taking these areas of land.

Starting a nuclear exchange over these relatively small-ish issues would be peak idiocy. Yes, it sucks for the locals but there are 3 civil wars in Africa and conflict in the Middle East causing the same amount of misery, they are easier to solve but no one cares.
If you check out the video (https://youtube.com/watch?v=Z64etOuLZDQ), most people did in fact immediately begin running and urging others to do the same.

I appreciate your concern for folks' safety, though I'm not sure how the criticism applies to this instance. The bystanders behaved reasonably.
If you can tolerate some level of false positives you can turn the CRL into a bloom filter and save quite a bit of storage.
壹 looks kind of like a drone landing on a flower pot.
see the 'total' keyword in Idris

https://docs.idris-lang.org/en/latest/proofs/patterns.html
I would be surprised in 20 years if nobody is making rockets similar to Space X.

For OS - which is software, more similar to EV - Linux devs are able to make a much better OS than Windows, commercial success on the consumer front be damned. OS is pretty much commoditized but everybody uses Windows for enterprise because of vendor lock in, not because it’s hard to make an OS. Arguably, windows is the worst of the three popular OS’s despite having the largest commercial success.

OpenAI was able to make great GPT models and everybody else followed suit pretty quickly.

I think bleeding edge tech with larger moats takes longer than bleeding edge tech with smaller moats. The moat for self driving is low enough that there are many companies pursuing it with only VC funding. Compared to self landing rockets, which is being pursued by two companies backed by the richest men on earth.
Time to call in… McKinsey!
The time to buy Nvidia was 6 months ago. At this point investors have already priced in many years of exponential growth.
Using ‘ldap+kerberos’ is like saying your api is ‘rest+tls’. It is a protocol/format. The value in AD is how the format is used and its impact on systems and users.
So yes, Samba sounds more sensible.

When I played with it I stayed away from self-managing something like it for linux-only systems and for mixed/cloud/online systems I use Entra Id
Ouch! It is that age old problem. Massive wealth is unelected power, and they use the wealth to influence who we get to pick and what they do. Its not guranteed to happen but it is a sizable influence.
Here you go:

https://enhanced.org/
Google went to being a work/life balance company around 2017/2018. I remember talking with an ex-colleague about it at that time. (Ironically, back then I was off founding startups and he was working at Google, while now he's laid off and I'm back at Google.)

IMHO interesting CS work today is being done at OpenAI and Anthropic in the machine-learning space, the Ethereum Foundation and maybe Polygon or Cardano in the crypto space, and that's pretty much it. FANGs have not been hot in a decade. Google is where you go to have babies. Amazon is where you go to get a FANG on your resume. Apple is where you go to join a cult and enjoy a continually-rising stock price as a result. Meta is where you go if you want more money and are willing to be morally flexible to get it. Microsoft is...Microsoft, but they're getting pretty good at the continually rising stock price like Apple, so there's that. Netflix isn't even a FANG anymore, and NVidia doesn't treat their software engineers particularly well since hardware is their core competency.
> communist era train platform that’s been reimagined as a Bangkok night market.

Do you have google maps link please?
This is a nice idea until you think about the fact that bodybuilding is the only sport where professional athletes consistently die younger than their non-athlete peers, often considerably so. Steroids are not fun get big muscle candy, they thoroughly wreck your body and then you die.
Modal now charging for reserved containers(minimum of 0.125 cores per container)
I mean I can just ask my doctor for a higher dose. I’m currently not interested in suppressing T if finasteride works for me. I literally just started finasteride so I’m going to evaluate it until my next appointment in December and decide with my doctor how to proceed. I actually explicitly do not want to suppress my T unless doing so would result in better erection performance than not doing so and taking Finasteride. I’m extremely happy with where my body is.

Honestly it’s a little unnerving being told by strangers on the internet I should change my HRT. I’ve got a transgender doctor at one of the best Trans care clinics in the country. I get that folks are trying to help but really I’m fine.
yes, see https://en.wikipedia.org/wiki/2019_Whakaari_/_White_Island_e...
and Xi Jingping
Replacing the electronics is fairly trivial compared to building an atomic weapon from scratch.

Arming codes gives a nation time to recover or destroy them, but it’s not a long term solution.
ESA report shows unsustainable levels of orbital debris
Google cannot know if you have the rights for any possible document. If you have a whole book it could be bought from Amazon or downloaded via Torrent.

There can even be the case where you have private conteacts that give you rights that Google cannot know.

I can inly thing that they will look for the low hanging fruit: a folder full of movies, music, and other content.
This should not be downvoted. My undergraduate advisor had a vicious hatred for Margaret Thatcher and the 1981 cuts that caused him to seek employment abroad.
Good point - in that case their only edge is their strong consumer brand. Sounds like they’re fucked unless EV picks back up.
Its easy to hate on even though as far as I can tell her performance isn't particularly interesting.
You seem to not understand what a bubble popping is. Yes we have the internet around, that doesn’t mean the dot com bubble didn’t pop…
No… that’s the whole point. If you change them to be async, the language forces you to go and rethink what implications that has for the callers. This is a good thing, dumbly sequenced operations are terrible UX. And UX is far more important than whatever it is they call “DX”.
> Not sure why a publicly accessible GPU cluster would be a better solution than the current system of research grants.

You mean a better solution than different teams paying AWS over and over, potentially spending 10x on rent rather than using all that cash as a down payment on actually owning hardware? I can't really speak for the total costs of depreciation/hardware maintenance but renting forever isn't usually a great alternative to buying.
It's doping-adjacent if you ask me
And to put a point on this, the top professional road cycling teams in the world only have annual budgets of about $50m (covering 30 cyclists, all the coaches and directors, mechanics and any other crew they may need - physical therapists, chef, etc). Barely the top ten of the top road cyclists earn >$1m/yr. Compare that to mainstream sports that might have a just salary cap of $250m/yr.
Discussion (180 points, 1 day ago, 59 comments) https://news.ycombinator.com/item?id=41036526
> "Baa baa black sheep have you any wool?"

The word order matches the Scandinavian languages exactly ("Bæ, bæ lille lam, har du noe ull?"), so I guess it would be what a Scandinavian child would write when first learning English
Long-time JS/TS/Node programmer here.

Knowing ahead of time which functions are async is a feature.

It's a big neon sign that says "hey, this function call is expensive". This is a good thing for programmers to easily see and know at the call site.

If you make multiple calls with async/await in a row, the performance issues are plainly obvious at the call site. With "colorless" functions, this information is hidden in a deeper layer. You have to know what the function does on the inside to even know what its performance impacts are.

Also, a nitpick - you can call async functions from sync ones, you just can't access the return value. Sometimes, you don't need to.
Tax credits aren't pure profit. You actually have to build and sell a car to get a tax credit.
Article title: Reserving CPU and memory
The article makes some questionable statements. BART is building more miles of its network extending to downtown San Jose. It also refers to it as San Francisco's metro, but that's certainly not the case (That would be MUNI), and that fact is stated right in its name: Bay Area Rapid Transit.

This distinction isn't some pedantry, because BART is funded by the many counties it serves, not just SF. Those counties are on the board and get a say on where it extends to as well.
Yes in theory a person could write poor Rust code. But in practice the quality of popular Rust libraries is pretty high.

Linus says you never crash in the kernel, which is why Rust code merged into Linux won’t crash.
The answer to your concern is right there for you, both by YokoZar, and also in my comment above.

It is that we start at the periphery, very gradually going inward over a thousand year period. We should have enough data of the effects of our peripheral perturbations in the first few hundred years. It should provide a testable model for how to proceed safely as we go inward.
Sure. If you're Haskell, you call them kinds. In Idris, they're just types.
Energy infrastructure, a market with massive multiples!
It says the following: "Fine-tuning for GPT-4 (gpt-4-0613 and gpt-4o-*) is in an experimental access program—eligible users can request access in the fine-tuning UI when creating a new fine-tuning job."

However, it appears that I don't need to request access to fine-tune gpt-4o-mini.
I think saying it's the new binary is closer to the truth. You can't reproduce it, but you can use it. In this new version, you can even nudge it a bit to do something a little different.

New stuff, so probably not good to force old words, with known meanings, onto new stuff.
Defend democracy by voting for "To Be Announced"
Back when I used LinkedIn you could download a spreadsheet of your contacts with their email addresses and spam all of them.
It still seems reasonable someone may be confused, especially since the one letter of the company name that was changed has identical pronunciation (x --> z). It is like offering "Phacebook" or "Netfliks" competitors, but even less obviously different.
Sorry for bringing it up.
Right. I am not trying to suppress T. I’m super genderfucked non-binary and happy with T in my system. Estrogen has done wonders for me and I’m happy with that. I only want to prevent further recession of my hair line while optimizing erection performance. If suppressing T ends up being better for that I will try it. But I just started finasteride. I have a check up in September and at that time my doctor and I have already discussed that we can consider switching to injections and higher E doses if we want to suppress T instead of relying on Finasteride.

It’s just one thing at a time, and giving it some months to balance out in my system.

Honestly I have a transgender doctor at one of the best trans care clinics in the country. I’m all set. Just wanted to share that finasteride is not always without side effects. My doctor and I can figure out my HRT.
If the public is going to go to all the trouble of doing something, why would that public not make it clear that there is no legal threat to using any data available?

The public is incredibly lazy, though. Don't expect them to do anything until their hand is forced, which doesn't bode well for the action to meet a desirable outcome.
The issue is that legacy copper plant has a finite lifetime. Paper insulated lines are already mostly useless today. If you have to replace infrastructure you may as well select a more robust modern alternative.
It's not actually, though. For the majority of these sports, the professional leagues often have superior competition and performances than you see in the Olympics, with the notable exception being many of the individual sports where there isn't enough global interest to drive commercial organization outside the Olympics.

For example, the quality of basketball, soccer, and baseball you find in the pro leagues is all MUCH better than in the Olympics. Track & Field has a regular annual season that's already international (Diamond League), plus many standing invitationals, any of which are as likely to see records broken as the Olympics.
So, let me put it in terms people can understand: what is there to stop Biden from having the Secret Service black-bag Trump if Harris loses in November? Or stop Trump from black-bagging whoever beats the Republican that succeeds him in 2028? Or hell, what stops Biden from droning the SCOTUS justices that wrote the majority opinion right now?

According to the Supreme Court, the only appropriate venue for that question is a Congressional impeachment. The only time when it looked like a President was going to be impeached and convicted was Nixon. That's why he resigned. But I doubt that would happen today. In fact, you can blame Democrats for this: they didn't convict Clinton when he was trading sexual favors, even though that was absolutely something they should have[0]. And Republicans refused to convict Trump[1] for holding up Ukraine aid for political advantage or for inciting a riot in the Capitol building. It's like if you couldn't be convicted for beating and robbing someone because you refused to sign the guilty plea.

As for Chevron deference, let us keep in mind that the alternative to Chevron is legislating from the bench. SCOTUS consistently picks the interpretation of the Constitution that assigns the most power to the judicial branch, which they have absolute control over. The ostensible check on this power is Congress writing a new law, but Congress has been hung for over a decade, which means SCOTUS gets to cowboy-code whatever they want.

[0] During the Me Too era of sexual harassment revelations Democrats started realizing "oh wait, we did WHAT back then?!" and recanting

[1] A president so nice we impeached him twice.
You were likely thinking of the news that EV growth has slowed. A lot of headlines try and make it sound like EV sales are slowing but it’s the rate of growth that is.
Does ARI also return a suggested window of "right now" if the queried cert is manually revoked in the past? I was actually wondering this a few months ago when I implemented ARI in my ACME client - I also have a pending task to implement revocation checking, and if the ARI check makes that redundant it would be great. (Both the RFC and the LE blog only talk about querying ARI at some time before the CA decides to revoke the cert. My question is about querying ARI at some time after the user has revoked the cert.)
Yeah, the door opens in before it cams over to opening out (or can be thrown out onto the wing in some cases), so it’s being held in place by about 3000 kilos of force at typical cabin pressures. Good luck trying to pull it open.

Now, near the ground before the aircraft is pressurised, it could be dangerous mostly because it could pose a risk to the aircraft structure or systems if it tears off and impacts the aircraft in flight. Other than that, a jetliner can fly perfectly well with a door open at low altitude. (Not sure about special large cargo doors though)
Tesla is basically a meme stock at this point. Its investors don't care about numbers, just hype.
Everyone is aware of that. No one thinks Facebook or Mark are some saint entities. But while the spider is doing some good deeds why not just go "yeah! go spider!". Once it becomes an asshole, we will kill it. People are not dumb.
Better yet, just don’t use managed services like GDrive
6m is like 12 people for 2 years + overhead.
The point was that mandating the use of these new-tech options was cost prohibitive for many nations. $250-300 for shoes, $500+ for a speedsuit, etc.
I'm not sure that assumption is necessary, at least for finitely sized alphabets. For finitely many sizes of symbol that are meant to be distinguishable, you can define the smaller ones as just taking up smaller portions of the square. If you try to scale down too far, they'll eventually hit the epsilon limit and be indistinguishable again. Maybe you could break the theorem by growing arbitrarily large, but that really stretches the word "alphabet". He was thinking of notebook pages, so encoding things in the size of arbitrarily large symbols wasn't top of mind.
Could you expand on your regiment that helps?
Whomever we assign you, we know you sheep will flock together around them. Just remember how scared you should be! https://youtu.be/ofIlP1gJ-Ho
Heaviest element (120) yet within reach after major breakthrough
They would just funnel it through some other company that they can blame.
> Source available means you can see the source, but not modify it.

No, it doesn't mean that. To quote the page I linked, emphasis mine,

> Source-available software is software released through a source code distribution model that includes arrangements where the source can be viewed, and in some cases modified, but without necessarily meeting the criteria to be called open-source. The licenses associated with the offerings range from allowing code to be viewed for reference to allowing code to be modified and redistributed for both commercial and non-commercial purposes.

> This is kinda the opposite, you can modify the model, but you don't see all the details of its creation.

Per https://github.com/meta-llama/llama3/blob/main/LICENSE there's also a laundry list of ways you're not allowed to use it, including restrictions on commercial use. So not Open Source.
> - Elon has really alienated massive chunks of the EV demographic. Identity politics are inherently tumultuous.

This is such a gigantic unforced error, it alone is really grounds for his dismissal.

The CEO of Rivian might have some terrible opinions, too. I wouldn't know because he's not out there all day, every day telling the world about them.
I've summarized this entire thread in 4 lines (didn't even use AI for it!)

Step 1. Chick-Fil-A releases a grass-fed beef burger to spite other fast-food joints, calls it "the vegan burger"

Step 2. A couple of outraged vegans show up in the comments, pointing out that beef, even grass-fed beef, isn't vegan

Step 3. Fast food enthusiasts push back: it's unreasonable to want companies to abide by this restrictive definition of "vegan". Clearly this burger is a gamechanger and the definition needs to adapt to the times.

Step 4. Goto Step 2 in an infinite loop
From my ray-tracing days, I recall that the majority of the time spent in the acceleration structure was due to cache misses when traversing nodes.

It might be you want to use a binary partitioning algorithm or similar for just a few levels, and then have the leaf nodes be N spans in a (sorted) list, where N is somewhat large. Then you can have some fast loop to mow through the leaf spans.