skysight-inc/HackerNews huggingface dataset:
cough nginx. Nginx would start up and serve TLS on must-staple certs .. before doing the staple setup. ie: any client that validated that a must-staple cert had a stapled ocsp ticket would fail for the first few queries after nginx startup.

I don't know if they've fixed it yet. I doubt it though - they were pretty aggressive in their assertion that violating must-staple wasn't a concern.
"What did you study?"

Saved You A Click
I'm curious what techniques they used to distill the 405B model down to 70B and 8B. I gave the paper they released a quick skim but couldn't find any details.
Especially in the context of the original olympics, which were largely conducted nude. The idea that a rich country can field better equipment is absurd.
Is rooftop solar a fatal flaw in the Coalition's grand nuclear plans?
The model it's self isn't actually that valuable to facebook. The thing that's important is the dataset, the infrastructure and the people to make the models.

There is still, just about, a strong ethos( especially in the research teams) to chuck loads of stuff over the wall into opensource. (pytorch, detectron, SAM, aria etc)

but its seen internally as a two part strategy:

1) strong recruitment tool (come work with us, we've done cool things, and you'll be able to write papers)

2) seeding the research community with a common toolset.
> How would you sell what I've built?

It's interesting. You have built something tightly coupled ("like a classic domain controller") but then it is interacting with inspecific, totally decoupled stuff ("(p2p vpn), L4 (mTLS), and L7 (OIDC)").

"Tightly coupled for me, but not for thee" - why would someone who has adopted a decoupled application infrastructure decide that their domain controller should be coupled? I feel like people want one or the other in totality, they are either completely a Windows shop, or they are completely using bits and pieces of everything from everywhere. Everyone in between is ultimately migrating to one end or the other.

I can't speak for how to sell something I've never used. But I know Okta is very popular, and I encounter many IT people in many tech forums basically describe a feature of Okta. That's a huge scope. But that's a company that has tackled the dichotomy of coupled versus decoupled solutions, by simply providing everything. Is there a little bit of a chance that a single person can make something competitive with Okta? Yes!
To me, the olympics are about determining who is best at a sport. It's not a technical problem like a car race where bending the rules with creative engineering is expected and encouraged.
The Paper Index: Today's minimum wage worker (pre tax) pay can buy about 170 times more paper (about 12k sheets per day).
> ...included industrial-grade software and confidential data stolen from the internal server of a cleared defense contractor...

Not by Xiang Li himself, it's worth noting. So this particular example at least hardly supports the general conclusion you seem to be implying.

> [Wronald Best]’s trafficking in cracked software involved not only stolen property but also stolen ideas. ... On the supply side of the equation, he was the one releasing MPD’s software into the “wilds” of the Internet by providing it to Russian Cracker, and assisting Xiang Li by providing detailed installation instructions. On the demand side of the equation, as a consumer, Best used stolen, cracked software to design and manufacture products for the military and law enforcement, without payment to the companies that created the software in the first place. (https://www.google.com/books/edition/CRACK99_The_Takedown_of...)
It had Fedora 36. So maybe Linux kernel 5.17

I have the latest kernel version now.
The sport of cycling is toast. The culture is too far gone and honest folks can't escape the suspicion of doping.
It's funny you say that - we had users who simply wanted to run queries and didn't have direct access to a database, so they just asked someone from the technical team to connect their DB to Briefer and then they started querying from there because it's more convenient.

After a while they realized there were a bunch of other cool features and started engaging with those too.
What happened to using the semantic elements? Did that fall out of favor or the push for it get abandoned because popular frameworks just generate divs with semantic classes (hopefully)?
How much can you quantize that down to run on a Mac Studio with 192GB? Is it possible? Feels like it would have to be 2bit…
Try googling this it is kind of interesting. Link between bone density and skin elasticity. You will find that the denser the bones the healthier the skin. We may find people who are 70 looking like they are 50.
I'm not linking to numbers lol. I already know how much more I'm paying for groceries. I talked about perceived inflation from the beginning and you are just now talking about it? You haven't responded to anything I wrote. I am pretty sure you just read the word inflation and started some pre-written rant. Either that or you are severely lacking in reading comprehension.

Just linking a bunch of numbers does not make an argument. You have to actually talk and respond to the actual topic being discussed.
You can find the entire Llama 3.0 pretraining set here: https://huggingface.co/datasets/HuggingFaceFW/fineweb

15T tokens, 45 terrabytes. Seems fairly open source to me.
What other MFA vendor would you go with? For my own business continuity it might make sense to white-label both yubikeys and an alternative vendor, but Yubico seems to have the best product unless you're wanting to push MFA to user's phones.
> You don't need to know how a database lays out memory

You do, however, need to know what logical columns are in a table and the types of those columns to be able to effectively query against the table. And you need to know what the types of the inputs to a query wrapper function are to be able to call it properly.

Memory layout has nothing to do with type, because physical memory layout is completely separate from the semantic logical layout and form represented by the bits. You now appear to be the one conflating two unrelated things.

That something is treated as an integer fundamentally matters to its use. That the thing comprises some number of adjacent bits in big/little-endian arrangement is a very unrelated implementation detail.
Yes indeed. There are many choices. One is to switch to a different meat, one is to cut down, one is to give it up.

My point is only that if one chooses to continue to eat meat, then one has to decide which of the two industrial complexes, neither exactly known for their transparency and honesty, is the better choice. The cliff or the abyss. Vegetarianism or veganism will be the only rational choice for some, but not all.
This makes sense, though. I know I'm not the only one who looked up "Shrek.mp4" on Google and got a literal sea of pirated movies hosted on Google Drive.
That's not all they scan for: https://support.google.com/docs/thread/200185949/google-is-n...
As if most of the people who post prolifically on LinkedIn trying to be seen as “thought leaders” aren’t spamming the site regardless of whether it has a link.
You can totally do this with non-passive-aggressive phrasings ("Is this possible using structured programming instead of GOTO? What went wrong when you tried, how messy does it get?")
So far, with cycling, P(discovered cheating later | outrageous) ~ 1. Some people will believe that when they go indoors the sun stops shining because there is no longer any proof. It's certainly a strict way to seek one's knowledge. Others have a different view.
Warfare with modern weapons in a city leaves that city pretty thoroughly ruined: Warsaw, Berlin, Cologne, Hue, Mariupol come to mind.

There were a lot of appalling facts, but where does one fit in the Red Army sitting across the river and watching?
America’s Transit Exceptionalism
Why is so fking hard to use the web version of the site on my mobile. Constant popups to force installing the app. I dont want apps. I only want websites. I hate you linkedin product owners.
This tool has a function to "correct" the capacity. I can't understand why that would be useful, I would not trust a device like this at all for any purpose.
Surely there are certain logistics, like making sure it's charged before the race, or asking, "wouldn't I perform better by losing the extra weight?" being brought up before, no?
Depends on your income, honestly.

Hair transplants are a thing and work pretty well if the person in question has the money available. Several streamers have covered their transplant phase, giving you an insight to their experience over the months.

I personally don't value my hairline to that degree, but it does exist and works well.
A great discussion (even if I don't entirely agree) ruined by that last line.

> I also know if someone calls it the "enshitification of Firefox" or the work of an "anti-privacy, pro-advertising cabal," they're either ignorant or simply looking for rage bait clicks from angry Linux users.

Calling people who don't share your views ignorant or malicious is just a slimy rhetorical trick to shut down dissenting voices. Bad form.
I have some inkling that not having the urge to lock in to a single input (as TFA puts it) is not universal. One of the most common reasons (IIRC) for failing the RN's submarine command course (the "perisher") is excessive reliance on a single instrument -- these are officers with 5-10 years of experience by the time they enter the course, and the cream of the crop to have even qualified -- and with enough stress, even they lose the ability to do "sensor fusion".

Anecdotally, I don't know anyone who's constantly doubting the map and cross-checking it against signs the way I do when driving or walking. Then again, my first thought in basically any situation is what the worst case could be! so...
Coming from a German part of Poland[1] to Warsaw, a Russian city, it actually seems conservative. It was the first place I saw someone pray the rosary on public transport... kneeling. It blew my mind.

There is also a lot of fetishisation of its history by conservatives, since history in Polish schools is told in a very martyr way, and history of Warsaw, its monuments and all that play well into it. If anything, it’s a very good place for conservatives.

[1]: partitions and other shenanigans of Polish history.
He should ask ChatGPT what to do about it.
At least it used to be the case they only scan shared files.
Think the real problem is innocent people are caught because the PRC does much spying (so does every country), so a few innocent people are falsely accused and convicted also. Figure about 10-15% of people are innocent in criminal cases, its just the way the world works sadly.
This is a great idea! There's an exceedingly large amount of junk in a typical HTML page that an LLM can't use in any useful way.

A few thoughts:

1. URL Refification[sic] would only save tokens if a link is referred to many times, right? Otherwise it seems best to keep locality of reference. Though to the degree that URLs are opaque to the LLM, I suppose they could be turned into references without any destination in the source at all, and if the LLM refers to a ref link you just look it up the real link in the mapping.

2. Several of the suggestions here could be alternate serializations of the AST, but it's not clear to me how abstract the AST is (especially since it's labelled as htmlToMarkdownAST). And now that I look at the source it's kind of abstract but not entirely: https://github.com/romansky/dom-to-semantic-markdown/blob/ma... – when writing code like this I also find keeping the AST fairly abstract also helps with the implementation. (That said, you'll probably still be making something that is Markdown-ish because you'll be preserving only the data Markdown is able to represent.)

3. With a more formal AST you could replace the big switch in https://github.com/romansky/dom-to-semantic-markdown/blob/ma... with a class that can be subclassed to override how particular nodes are serialized.

4. But I can also imagine something where there's a node type like "markdown-literal" and to change the serialization someone could, say, go through and find all the type:"table" nodes and translate them into type:"markdown-literal" and then serialize the result.

5. A more advanced parsing might also turn things like headers into sections, and introduce more of a tree of nodes (I think the AST is flat currently?). I think it's likely that an LLM would follow `<header-name-slug>...</header-name-slug>` better than `# Header Name\n ....` (at least sometimes, as an option).

6. Even fancier if, running it with some full renderer (not sure what the options are these days), and you start to use getComputedStyle() and heuristics based on bounding boxes and stuff like that to infer even more structure.

7. Another use case that could be useful is to be able to "name" pieces of the document so the LLM can refer to them. The result doesn't have to be valid Markdown, really, just a unique identifier put in the right position. (In a sense this is what URL reification can do, but only for URLs?)
>> I mentioned to her teacher that kids that age struggle to learn theory for that long without practicing it. He agreed, and said that many kids are motivated to get through the theory because they’ve heard their teacher play nice music and want to get there too.

Few people are open to advice. Usually results in defensive/justification response.
FrostyGoop malware uses Modbus, threatens ICS systems worldwide
KUDOS for the creativity of coming up with something like this!
On the other hand the US agencies conducted a large scale supply campaign that included industrial espionage [1] spying on charities, the heads of friendly governments and its own citizens, breaking into data centres of legitamte business in friendly nations to install equipment and lying to their own government [2] and AFAIK nobody ever went to prison for any of it.

[1] https://en.m.wikipedia.org/wiki/ECHELON
[2] https://en.m.wikipedia.org/wiki/Edward_Snowden

Why is it ok for one country to do this, but somehow outrageous that another country does it (and likely on a much less sophisticated scale)
The problem is that Twitter has also been enshittified and the audience is dwindling.
Every time I've ventured into it I ended up using Samba to pretend to be Active Directory vs LDAP + Kerberos ...
How open is it really though? If you're starting from their weights, do you actually have legal permission to use derived models for commercial purposes? If it turns out that Meta used datasets they didn't have licenses to use in order to generate the model, then you might be in a big heap of mess.
That still doesn't make it open source.

There is a massive difference between a compiled binary that you are allowed to do anything you want with, including modifying it, building something else on top or even pulling parts of it out and using in something else, and a SaaS offering where you can't modify the software at all. But that doesn't make the compiled binary open source.
I wouldn't sell it for two reasons:

1. The market that needs this will not be capable to use it

2. The market that is capable to use it is also capable to use something like Cloudflare Access.

As for 'domain controller', like others have posted, that is a product or branded product from microsoft that doesn't have much to do with what you described. You could argue that Microsoft Windows Server can host most of those services, and will likely need a Microsoft Active Directory service (which in turn requires at least one Active Directory Domain Controller), it's not really related to what you are doing besides perhaps a user directory.

In a way, your product would address the classic setup that Microsoft (and Apple) have thrown away (many) years ago, companies are very bad at IT, and it gets worse as you focus on smaller companies and companies where IT is rather far removed from their core business. Something that is managed and maintained by someone else, that is where the money is, and in almost all cases that means the services and applications are not co-located in some office somewhere, mostly because the office is pretty much irrelevant these days.
Show HN: 2.5D GPU-accelerated fluid simulation
Graphics dev friend released his GPU fluid sim for Unity, thought it worth showing off here.
People can barely afford to exist now, not only would there be real wealth destruction through the course of the destructive war there would be a significant reverse wealth effect kicking in. A veritable economic implosion. WWII had a stimulus wealth effect following on from a Great Depression deflationary super-cycle capped by being able to destroy the completion by having them bomb each other. WWIII has none of those, so any belief that the impact to the average individual could be less than completely ruinous is completely misplaced.
There was a controversy in curling a few years ago where some curling teams were using new brooms by a new company that had significantly better tech. It was so good it made it unnecessary to have two sweepers. The resolution was to ban it and only allow brooms from certain manufacturers.

It seems reasonable that these sports could narrow down the list of approved equipment down to a few approved suppliers every year.

https://www.cbc.ca/listen/cbc-podcasts/1427-broomgate-a-curl...
> What if a couple cores are busy

If you don't pin them to cores, the OS is still free to assign threads to cores as it pleases. Assuming the scheduler is somewhat fair, threads will progress at roughly the same rate.
In tech you can trust the underdogs. Once they turn into dominant players they turn evil. 99% of the cases.
"Purchase of Ticker NVDA worth $1,000,001 - $5,000,000
Transaction Date: 2024-06-26 Report Date: 2024-07-02"

Going long on AI seems to be a smart move.
The federal government has a strong interest in carefully selecting recipients of grant funds (often large sums) and in controlling the purposes and uses of those funds. As a condition of receiving funds, the government may naturally wish to confirm that recipients will not be using the funds in ways that benefit other state actors, in conflict with the government's policies.

Officially misrepresenting that state of affairs to the government with so much on the line is what's illegal, not "sending an email to someone in China."
I suppose the US equivalent would be the FTC (assuming they can confiscate and fine?).
Clearly the definitions from all three major processors, both from consumer and merchant documents, don’t mean anything. Your anecdotes are far more convincing, for sure.

> So the blind advice of making a chargeback claim before making a refund/RMA type of request with the seller is really out of order in the steps to take.

That wasn’t even your point in the first comment. It was that chargebacks don’t do what they say they do. Way to move the goalposts when your initial point was clearly proven wrong.
That is the premise behind formula E, and no one watches it.
so it's a dumb metric

I have to ask, have you interacted with many recruiters?
Ps, the people want Ubi as a replacement to means tested welfare and Social Services, consider what level of Ubi would be required for an unemployed or disabled mother of two
US opens investigation into Delta after airline cancels flights
I think I get your point. I would add reconciliation to validation. In that sometimes you cannot validate something without doing it, and are instead storing a possibly out of band reconciliation of result.

I'm curious, though, in how this argument does not apply to many other properties people try and encode into the types? It is one thing if you are only building envelopes and payloads. And, I agree that that gets you a long way. But start building operations on top of the data, and things get a lot more tedious.

It would help to see examples that were not toy problems. Every example I have seen on this is not exactly leaving a good impression.
> The "content update" that CrowdStrike sent out was full of zeroes. Nothing else. Obviously not the intended content. And this simple data caused the driver to crash

CrowdStrike has stated that no the crash was not related to the file of zeros.
Yeah, except for Boonen is a sprinter and a hill climb even a short very steep one is probably the worst terrain for him. Cancellara isn't a climber but as a time trial specialist, he's a lot better suited for the kapelmuur than Boonen. And cancellara is better at descending as well.
That doesn't sound dangerous at all
Microsoft loosened the kernel driver requirements to allow anyone to register as a boot driver as long as a CA digitally signs them. Microsoft asserts that this was done at the EU's behest. They could tighten the driver requirement for the RoW, but that would lock Crowdstrike out and likely trigger antitrust concerns again.

If Microsoft had their way, I imagine they would require verification through their driver lab that does this for a living (https://learn.microsoft.com/en-us/windows-hardware/drivers/i...)
We Need to Achieve Housing Abundance (2023)
I'm not sure how your extreme example is helpful. No one has made a suggestion like that.
I never really understood the negativity towards LinkedIn and I'm probably not one of those 4% considering I basically never use it. To me LI is the perfect sort of social network, where it's actually useful when you need it, and the rest of the time you can simply ignore it. In years where I'm not considering changing jobs I'll usually only open LI to add new colleagues, or click an e-mail to accept someone wanting to link up with me, and that's it. Well, I'll admit that I kind of use it as an online resume for myself because I dislike updating my old doc (I really need to get that written in something that isn't doc). If I get some big brain-think which is related to my professional life I'll write it down in a note app and keep it for when I actually want to "activate" the LI algorithm.

To do that I'll post a few comments over a week, which seems to make LI think you're an active user, and then I'll post the most relevant / well written brain-think from my collection. If I'm feeling frisky I'll post two. A few days later my inbox will be flooded with recruiters spamming me with random useless stuff. Like this or that great Java opportunity (I haven't worked with Java in 15 years), but usually there is something interesting in the ocean of shit. Some of my colleagues use it actively and dislike it, but use it because they think they have to. In my experience that's not the case at all. The 500+ may be true, I crossed that long ago even though I've generally worked in non-tech enterprise so 80% of my connections have nothing to do with SWE.

Maybe this means that I do fall under the 4%, but even if you hate LI, you should know that you can play it extremely casual.
The set of topics is the most unusual Algorithm/Data Types book I ever seen. What Pascal compiler should I use to go through that code?
Deployment of PKI-signed distributed software systems to use community-provisioned compute, bandwidth and storage at scale is, now quite literally, the future.

We mostly don’t all want or need the hardware to run these AIs ourselves, all the time. But, when we do, we need lots of it for a little while.

This is what Holochain was born to do. We can rent massive capacity when we need it, or earn money renting ours when we don’t.

All running cryptographically trusted software at Internet scale, without the knowledge or authorization of commercial or government “do-gooders”.

Exciting times!