skysight-inc/HackerNews huggingface dataset:
Ok call it Open Weights then if the dictionary definitions matter so much to you.

The actual point that matters is that these models are available for most people to use for a lot of stuff, and this is way way better than what competitors like OpenAI offer.
The irrefutable fact is that the author presents the core logic of the file-reading solution as a defn, not a defmacro. It may be driven by a macro, but evidently that part is not noteworthy enough to be presented.
A lot of people who are very good at what they do have a hard time selling it. A lot of people who are good at selling it are not actually accomplishing much. So there is often a gap between perception of high performers and actual high performers.
Open source requires, at the very least, that you can use it for any purpose. This is not the case with Llama.

The Llama license has a lot of restrictions, based on user base size, type of use, etc.

For example you're not allowed to use Llama to train or improve other models.

But it goes much further than that. The government of India can't use Llama because they're too large. Sex workers are not allowed to use Llama due to the acceptable use policy of the license. Then there is also the vague language probibiting discrimination, racism etc.. good luck getting something like that approved by your legal team.
I'm not sure how I made it sound so easy, because presumably getting a 250k job at a FAANG isn't easy either. Which is what my point was - if you're going to deal with the time and stress to get one of the most desirable jobs, why not use that same time and effort to build a business?
Gitlab considers everything older than 0.49 years to be "a year ago". Since it's July, that means commits from January 2024 are "a year ago" now!
It's similar in my fridge. Instead of a temperature dial, it has touch sensitive buttons, so the slightest brush with a jar drops the temperature or puts it into fast-chill mode, which will freeze the vegetables in the drawers.
I understand.

Sure thing, VM.Eval("your code") returns a value if one is produced.

if (vm.Eval("1:2") is Value v and v.Type == Libs.Core.Pair) {
Console.WriteLine("Pair: " + v.Cast(Libs.Core.Pair));
}

Have a look in the main Program.cs to see how to get a VM up and running.
Hah. The WorldCon was designed to travel between cities and between continents to increase diversity of opinion. It doesn't need independent SF magazines to avoid "groupthink", it already has a world of diversity and the natural forcing function of the primary voters being attending members and attending members encouraging local memberships in addition to travellers.

That was as much a part of the controversy of the Chengdu WorldCon as any of the mistakes they made. The WorldCon was built to welcome that sort of diversity of opinion from an entirely under-represented part of the world in voting to that point. Even if the Chengdu WorldCon hadn't made silly mistakes it still would have angered a lot of people by how much it proved the Hugos actually aren't about "groupthink" and try to get a diversity of opinions.
Not much code to show, but here :)

Install:
https://github.com/MeoMix/symbiants/blob/master/.devcontaine...

Link to the build artifacts:
https://github.com/MeoMix/symbiants/blob/master/index.html#L...

Minor config change to expose loopback for local testing from external device: https://github.com/MeoMix/symbiants/blob/master/Trunk.toml#L...

Then `trunk serve` to spin up a server on localhost:8080 with Rust package running in the browser.

Release build: https://github.com/MeoMix/symbiants/blob/master/.github/work...

Production code: https://ant.care/
I considered that, but a lot of their comment seems to be about changing the class's behaviour to reflect the functionality they were expecting, rather than just giving it a different name. Especially this bit:

> I would've thought that the C++ template class would be just a marker interface to use on a monostate, so that users of the class know that it has shared state.

Also, if that's what they really meant then they surely could've have written a far sorter comment that simply says this name is already taken and it should be called something else. They don't seem to be saying that at all.

(Not that it affects my original point, but FWIW that linked meaning of monostate isn't common in my experience, and it sounds like a truly awful idea: if your state is really good then be honest about it and use free functions. So it hardly seems worth reserving a useful word for it over the concept std::monostate is actually about.)
> the training data is the source

Sure. But that's not going to be released. The term open source AI cannot be expected to cover it because it's not practical.
I posted the same math here and it was downvoted all the way to the bottom of the thread.
Note: for nginx there is https://nginx.org/en/docs/http/ngx_http_ssl_module.html#ssl_... which needs to be pointed to a pem-encoded file with the CRL list (list of revoked certs).

So no API-based configuration, like OCSP stapling, that just works. I can probably try to configure this with a cronjob/systemd timer but this is significantly less ergonomic.
do you know that Gross National Income has nothing to do with average individual income?

If you are taking that as your baseline, you have already nationalized every industry and productive asset in the country.
Yup. There's a lot of credentialism and in-group stuff. I work with a ton of PhD physicists currently and it's one of those things that you can never quite forget in an environment like this as someone with "only" a bachelor's degree from a no-name college.
LoRa mesh network is another option.

I've considered BTLE and LoRa for a sensor network I have been planning.
Same I've never seen a cruise control system that would activate/resume at parking lot speeds. Even with physical buttons that's an accident waiting to happen.
> Our adversaries are great at espionage, stealing models that fit on a thumb drive is relatively easy, and most tech companies are far from operating in a way that would make this more difficult.

Mostly unrelated to the correctness of the article, but this feels like a bad argument. AFAIK, Anthropic/OpenAI/Google are not having issues with their weights being leaked (are they?). Why is it that Meta's model weights are?
"10 TB"? Why did you even need to open it??
In what universe is getting a 300k FAANG job more accessible than starting a local plumbing business?
> reducing the duration of the government granted monopolies on chip technology that is obsolete well before the default duration of 20 years is over

Why do you think these private entities are willing to invest the massive capital it takes to keep the frontier advancing at that rate?

> I do want to limit the amount we reward NVIDIA for calling the shots correctly to maximize the benefit to society

Why wouldn't NVIDIA be a solid steward of that capital given their track record?
As someone who's worked in auto manufacturing, moving buttons around happens all the time for all sorts of reasons. Different trims can have different buttons in the same place for example, or different cars using the same consoles.

It's not every button on every vehicle, but I have definitely had that conversation before when the hardware design is due to be finished before the product team is done changing things.
BSoD Maker
I tried a bitmask/bitset/bitvec but found the performance of searches to be a worse than the ordered map I'm using. Intuitively I expected it to perform slightly better for searches because of the cache efficiency, but I guess the way my ranges were distributed made it spend a lot of time searching within each element of the set. I'd like to revisit it eventually though because I think this direction is promising.
Just seem a bit backwards to start with a gitignore that ignores every possible tool one could use with a particular language, rather than going directory/file/pattern by directory/file/pattern. Hence my proposal for these people to take the contents of the github/gitignore repository, fold it all into one big file they can reuse in all their repos, and call it a day.

Like why is there a `.DS_Store` (which is specific to macOS) in the `core.gitignore` file? That belongs in the global `.gitignore` macOS users should have in their home directory, rather than including it in project specific .gitignore.

But I digress, not exactly a huge problem and I won't lose any sleep over it :)
It would have been nice to have a replacement for it ready and shipped before they started getting removed.
There was a post[0] on here recently about how the US went from producing woefully insufficient numbers of aircraft to producing 300k by the end of world war 2.

One of the things that the post mentioned was the meager profit margin that the companies made during this time.

But the thing is that this set the America auto and aviation industry up to rule the world for decades.

A government going to a company and saying 'we need you to produce this product for us at a lower margin thab you'd like to' isn't the end of the world.

I don't know if this is one of those scenarios but they exist.

[0] https://www.construction-physics.com/p/how-to-build-300000-a...
How about hierarchical timing wheels?

"Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility" by George Varghese and Tony Lauck

http://www.cs.columbia.edu/~nahum/w6998/papers/sosp87-timing...
I would avoid Facebook and Meta products in general. I do NOT trust them.
We have approx. 20 years of their record to go upon.
Regardless of the training data, the license even heavily restricts how you can use the model.

Please read through their "acceptable use" policy before you decide whether this is really in line with open source.
How about using some of that money to develop CUDA alternatives so everyone is not paying the Nvidia tax?
Why would CRL require web server support?
https://archive.is/d3IMo
Centuries ago, the limitation of most knowledge was the difficulty in discovery; once known, it was accessible to most scholars. Take Calculus, which is taught in every high school in America. The problem is, we're getting to a point where new fields are built on such extreme requirements, that even the known knowledge is extremely hard for talented university students to learn, let alone what is required to discover and advance that field. Until we are able to augment human intelligence, the days of the polymath advancing multiple fields are mostly over. I would also argue that the standards for peer reviewed whitepapers and obtaining PhDs has significantly dropped (due to the incentive structure to spam as many papers as possible), which is only hurting the advancement of knowledge.
You could run a 4bit quant for about $10k I'm guessing. 10x3090s would do.
This would be pretty normal in Europe, my dad went through the same and his job was never a concern. And treatment was fully covered by the public health system. Salaries reflect that of course, can't have it all.
To the extent these are incremental units that wouldn't have been sold absent the government program, it's difficult to see how NVIDIA is "harmed".
You've noticed an issue.

You let the manufacturer know, and you let them decide for the next steps.

No ultimatum to threaten to disclose to the public or to ruin their reputation, it's not your business.

In the meantime, you keep it for yourself.

You helped: no lawyers, no problems.

If really there is a safety issue, after a reasonable period of time you can inform the regulators, as it is their job to assess safety.

This is responsible disclosure, not TMZ-style public-shaming.
It's either go through a doctor, get a prescription and have it covered in some capacity by insurance, or I go order from a third-party/online solution and pay hundreds of dollars for something I desperately want, but won't be able to sustain financially because insurance won't cover treatments without a prescription.

I've already depressedly resigned myself to going bald - my hair is too far gone to have any medication or treatment give any meaningful amount of restoration.
I posted this unpaywalled link:

https://www.wsj.com/style/design/japanese-heritage-shoya-hou...

30 seconds after posting the article.
Us, from Trunk.io: "Oh look we're at the top of Hackernews! Oh wait it's not us"
That's a bad strategy. The reason people are tempted to mess with internals is that it works most of the time. Unless the library has some way of punishing people who use them, then they'll just do it without regard for, as far as they're concerned, arbitrary toothless restrictions. Sure, some stuff will break, but that's true even if they're respecting the API boundary too, especially for a beginner. There will be zero learning about API boundaries in particular.
My understanding is that stapling is the victim of the usual incompetence and laziness that infects a lot of systems where if one in a billion fail closed that would be considered a disaster but one in ten fail open is considered fine. You can't achieve meaningful security this way.

The browser vendors have learned that you have to do it yourself or it won't be done well enough to be useful. So you pull every CRL, do a bunch of compression or other tricks, then give your users that data and now they have working revocation.

When Bob's CA and Kebab Shop breaks their revocation stack, instead of dozens of poor individual users or web site owners confused and calling Bob's outsourced call centre in Pakistan with no sign of a fix, now a Google account exec asks Bob's CTO whether they forgot to say they were getting out of the CA business...

I agree this isn't a desirable outcome, but it might be all we have.
This is like saying any python program is open source because the python runtime is open source.

Inference code is the runtime; the code that runs the model. Not the model itself.
You need to provide hard numbers because welfare fraud is typically less than single digits. Going by “vibes” is pretty useless, especially since the government has been the largest force in reducing poverty in western nations.
> The land Israel was founded wasn't prosperous at all, on the contrary. Many years of cultivation made it the place it is today.

This belief demonstrates either a fundamental ignorance or a deep disrespect for this land and the people who have lived there for thousands of years. There was—and still is—a major olive industry. It is not a coincident that Israeli settler terrorist target and destroy olive plantations from Palestinians on the West Bank. Cities like Lyd and Gaza had a major tourist industry before 1948.

The land Israel was founded on wasn’t prosperous for the only reason that the people that had it and knew how to use it were kicked out of there, and replaced with people who didn’t (yet) know how to use it.
To each their own. Comparing startup options to mature company RSUs is apples to oranges, and a retelling of the basic trade off between risk and reward. Upside, downside, taxes et. al. combine to inform individual decisions. Both paths have merit. Suggesting startup options are somehow inferior to RSU is simply disingenuous — I would have done much more poorly with RSU than options.
Source versus weights seems like a really pedantic distinction to make. As you say, the training code and training data would be worthless to anyone who doesn't have compute on the level that Meta does. Arguably, the weights are source code interpreted by an inference engine, and realistically it's the weights that someone is going to want to modify through fine-tuning, not the original training code and data.

The far more important distinction is "open" versus "not open", and I disagree that we should cede that distinction while trying to fight for "source". The Llama license is restrictive in a number of ways (it incorporates an entire acceptable use policy) that make it most definitely not "open" in the customary sense.
Also true but not relevant here. That original example of overly precise dollar amounts would still be an issue. The root cause isn’t units, but innumeracy.
I don't think there's a shortage of capital for AI... probably the opposite

Of all the things to expand the scope of government spending why would they choose AI, or more specifically GPUs?
I don't see many GAFAM products created in any functional language, even those with primitive type systems. Are you sure it is the type system that is scaring people away?
Everyone else disable 3rd party cookies but has unspecified/undocumented workarounds & carve-outs that they've had to keep expanding on. It broke a ton of login and valid diagnostic systems.

Google's playing hard mode by trying to actually specify how the new world is going to work. A third the current explainers they are working on relate to trying to get login flows working again. https://github.com/orgs/explainers-by-googlers/repositories . Google's commitment to specifying & standards has made this much harder.

Meanwhile they also have vastly more scrutiny. I'm not sure if the UK's CMA or ICO have updated the public on what their concerns are, but the UK in particular has come out strongly saying that they get full say in what Google does here, in one of the strongest repudiations of the ideas of the Declaration of Independence of Cyberspace that the world has seen.

And meanwhile the slithering reptiles at the IAB are generating as much chaff nonsense and outcry as they can against Google, and putting forward proposals about making sure advertisers can tell what you had for breakfast & whether or not you flossed last night.

This is the least enviable spot to be in. The web has to change but trying to get the mandate for it to happen is neigh on impossible; giving users options & capabilities to pick seems like the only option at this stage.
Yes CHIPS is still a thing. As far as I can tell, nothing changes except that Chrome will not disable third party cookies by default. It will remain a preference that users can choose.
That wasn't the question, the question was a 500K faang job vs. a local plumbing business making a comparable amount of money.

I think it's very easy to start a failing plumbing business. I think it far less accessible to start a plumbing business that competes with a FAANG salary.

Put another way: how many people do you know who started their own consumer-facing, bootstrapped business, of any kind and who take home $3-500,000 as CEO? My answer is, like, two and they're both lawyers who didn't start making that kind of income until their mid thirties.

Edit: It would not, at all, surprise me if even in the trades the most common path to business ownership was to take over someone else's already existing business, which would I think cut even further into this point since it would mean the most common path to entrepreneurship is optimizing employment in a small business context.

I think getting a FAANG job is difficult, but for the median 30 year old (who has around $5,000 saved up and limited or no external safety nets), starting a business as your primary source of income is a really good way to bankrupt yourself and not much else, and valorizing that path is actively harmful.
Here’s one list of what is needed to be actually open source:

https://blog.allenai.org/hello-olmo-a-truly-open-llm-43f7e73...
I liked Cloud Atlas, I should watch it again. It was weird and ambitious.
So that admins find out that the certificate they have configured is no longer valid.
You are not wrong. There are benefits for sharing certificate authority per customer. We actually considered using one authority per organization. However in our case, there is no organization entity in our data model. There is projects, which is similar but not exactly same. So we were not entirely sure where should we put the boundary and decided to go with more isolated approach.

It is likely that we would add a organization-like entity in the future to our data model and at that time sharing certificate authority would make more sense.
Textscope: Python text analysis library for relevance and subtheme detection
Thanks for the suggestion! I tried dense bitsets in an earlier iteration but the performance wasn't great, so I thought something like RoaringBitmap probably wouldn't work out very well. The ranges are relatively dense but there also aren't that many of them (only a few thousand or so), so the bitset seemed to spend a huge amount of time searching within elements.
If it's water, how does it turn into vapor below 100 C? Is there some pressure magic in the heat pipe?

Yes. The air is partially removed before sealing, resulting in the heat pipe interior having a lower pressure than ambient air pressure.
Llama 3.1: 405B, the largest openly available model released
It's the same old ideas, over and over again.

But it's not a circle, it's a spiral; we learn something new every time.
Problem is, with modern websites, everything is a div and you can't necessarily infer semantic meaning from the DOM elements.
Sure, but don't you think the "not getting locked out" is just the pre-requisite for their eventual goal of locking everyone else out?
Show HN: Headmaker – HTML <head> generator and reference
Hello HN! I made a site for creating head elements. The included tags are somewhat curated and should cover the majority of use cases without too many outdated/irrelevant entries.

I recently started learning JavaScript and wanted to make a simple interactive site to apply what I've learned; I was also a bit lost regarding head elements, so it seemed a good way to kill two birds with one stone. After looking for comparable sites and being disappointed in what's available I decided to flesh it out and make it public.

It ended up being more of an undertaking than I was hoping for from a first project because of scattered and inconsistent information sources. I think it turned out pretty well though. Any feedback is appreciated.
As a 30-something "full stack web developer" who has also spent the last 3-4 years learning about IBM i (aka AS/400) servers and the CL and RPG programming languages... I have a glimmer of hope that I might move into a gig like that in my twilight years of employment :)
As a layreader of history, i've noticed the more ideological, the more they are prone to authoritarianism. And it makes sense if you think about it. It's why paternalistic revolutions always devolve into authoritarian nonsense.
What % of them were from FAIR vs non-FAIR?
It’s very different. Love not having to deal with others’ stresses, hate that I internalize a bunch more stress of my own instead
These types are equivalent if you consider a value of both of these types have the exact same read operations. Calling `get(String)` will return `String | int` in both cases. You're right that you could build a value of one of these types that does NOT conform to the union, however. I am not sure what's the technical name for what I am trying to say... are they "covariantly equivalent"???

EDIT: ok, I just wanted to say that one type, `Map<String, String | int>`, is a supertype of `Map<String, int> | Map<String, String>`, so if a function accepts the former, it also accepts the latter. They're not equivalent but you can substitute one for the other (one way only) and still perform the same operations (always assuming read-only types, if you introduce mutation everything becomes horrible).

I was trying to emphasize how having type "combinations" ends up causing the type system to become undecidable as you end up with infinite combinations possible, but as I haven't really gone too deeply into why, I am having trouble to articulate the argument.
> vulnerabilities are just left in play until someone malicious comes along and decides to do some real damage. But that seems so silly

Well, that's exactly how it tends to work for housing, so I think GP's point is that if it works there it should work here. However, I disagree because the stakes are so different (harming a single family who are free to harden however they like, versus harming the general public who are at the mercy of whatever hardening is done for them).