skysight-inc/HackerNews huggingface dataset:
IMHO, having employees (and otherwise affiliated) come to the thread can be a huge positive for the conversation, but it is indeed very important to disclose the affiliation! Don't fall into the trap of "well I'm just commenting my personal opinion, I don't need to disclose."

I think you can make a perfectly logical and reasonable argument about why it should be fine, but in the end it doesn't matter. It will backfire because it's been abused to the nth degree in the past and now people's antennae are up.

Transparency around affiliation is key. If you're commenting something of substance, then people will appreciate it and value your comment. If you're not adding anything substantive, then it's best not to comment at all.
I suppose that the dev team never used winamp.
Java now has records, record patterns, pattern matching, and switch expressions. Things that the golang author still don't seem to understand the need for (quite ironic for a language that claims it makes concurrency easy).
Seems people here on HN were lucky. Signed up ~20 minutes ago and no download link, so surely they're doing some checking, it's not fully automated, unlike what others say here.

On Huggingface, the following disclaimer has been put in place:

> This is a form to enable access to Llama 2 on Hugging Face after you have been granted access from Meta. Please visit the [Meta website](https://ai.meta.com/resources/models-and-libraries/llama-dow...) and accept our license terms and acceptable use policy before submitting this form. Requests will be processed in 1-2 days

https://huggingface.co/meta-llama/Llama-2-70b-chat-hf/tree/m...

So seems it's a manual flow on their side to "accept" downloads.
New schools appear as soon as the money is available.
This is incorrect as of last year: https://en.wikipedia.org/wiki/Carson_v._Makin

There is a powerful political and legal movement behind the idea that state-funded religious indoctrination is not only permitted, but required.
Would it be possible to interpret the comment you're responding to more charitably and respond to that?
Yes, as per Harrison Bergeron, as mentioned elsewhere in these comments.
The public schools in my city weren't even accredited when I graduated, as the students were not able to achieve the graduation rates and test scores required. This was despite the influx of billions of dollars to modernize the facilities, equipment, and lesson plans. Beyond that they were dangerous from middle school through the end of high school. Private school was really the only option for anybody who had the funds to escape the public school system.
I'll admit I'm not totally sure what this is? Satire? Art project?

It looks to me like what would happen if you tried to verbally describe some kind of fan-based web site from 1996 to someone else who hadn't experienced the web pre-Web 2.0, and then they went off and did their best with it.

I will say, I did enjoy the web a lot more back when it felt more like a carnival than a shopping mall.
fwiw, these are guidelines, not rules, and districts can themselves choose their curricula. I'm in the bay area, and even though SFUSD has removed algebra from middle school math and tried to remove calculus from high school, my kids' district still has an advanced math track that teaches algebra in 7th or 8th grade, allowing public school kids to reach Calc BC their senior year, and/or have an elective slot for other AP math options (Stats, etc).
Accept that you will never have a perfect job. There is much to be upset about. It could be pay, the interest in the work, the level of autonomy, the career growth prospects, the work-life balance, the people you work with, the people you work for, etc.

In the grand scheme of things, your complaint is minuscule. Trying to adjust the world to sate your ego is the folly of many men. Think carefully about what you actually have control over, and count your blessings that this is all you have to complain about.
I took AP calc in highschool and much later in life got placed in trig for college. I was greatly annoyed that the subsequent precalculus class was the exact same stuff I learned in trig, to the point where I asked the professor if I would learn anything new, and they said no.
Is it expected to be slow? Each request takes several seconds to reply.

Also how recent is the training data? When I asked what’s the date today? I received 22nd of March 2018.

Interesting choice of using streamlit for interface.
It still doesn't catch everything.
A 34B model is probably about the largest you can run on a consumer GPU with 24GB VRAM. 70B will require A100's or a cloud host. 13B models are everywhere already. I'm sure this was a very deliberate choice - let people play with the 13B model locally to whet their appetite and then they can pay to run the 70B model on Azure.
The best charity is one that benefits both parties, no?
The UK may be still high up, but the problem is the apparent downward trend.

The whole point, as I understand it, is to research what happens in the (still) rich and advanced nations which (slowly) lose their riches and advancements.
Any insights into recency of data? One of the big ChatGPT limitations is how old its dataset is which means it can't reference things that happened recently.
You can imagine the following perspective:

- Most people don't need to learn calculus at all, and it's fine if the few weird students who do start when they get to college (maybe the advanced students can learn single-variable calculus in high school).

- For pure signaling reasons, taking calculus in high school has become very important for college admissions.

- In order to take calculus in high school, you need to at least take algebra I (and hopefully geometry) in middle school. Wealthier parents understand they are playing the college admissions game early on, so they make sure in elementary school that their kids will be able to get on the algebra track in middle school.

- Getting on the algebra track is thus the first really consequential part of the college admissions game, it happens much earlier than the rest, and takes real scheming by parents to make sure their young kids are prepared. [actually true]

- If you could just make this impossible, it will even the playing field in a huge way and knock down one of the biggest hurdles in college admissions for people from lower-SES backgrounds. [also probably true]

- The only downside is that students will no longer have time to cover calculus in high school, which doesn't matter anyway because it's only a small number of unusual people who need to learn calculus (very advanced math!), and they can just learn it in college.

This is my best guess about the line of thinking that motivates these "no advanced math" policies. It has elements of truth to it which are worth paying attention to. The problem is just that actually, it's really useful and important to learn calculus in high school, and more people need this opportunity.

edit: I thought it was clear that I think a lot more high school students should be learning calculus as early as possible, and that "no advanced math" is a terrible policy, but I guess not...
What is the interface bus for the external GPU?
USB4?
The lawsuit was filed because (1) the district refused to allow students accelerated placement based on their prior outside coursework, and (2) used acceleration exams with a pass threshold that was comically too high (requiring students to know much more than was actually taught in the classes they sought to pass out of). These tests ended up having a wildly disparate impact on girls, who passed at a much lower rate than boys.

The district lost on (1) but not on (2) because it is illegal in CA to refuse placement for a student who has completed a course that would qualify for UC/CSU credit — which is what PAUSD was doing.
How do you know they are dumbing down the curriculum and how are you comparing your children's progress?
>So if people need some extrinsic motivation to engage in my class, one of two things might be happening. Maybe they’re just not interested in what I have to offer. That’s fine! They should take a different class. More likely, though, the problem is me: I'm somehow subverting people’s natural curiosity. Maybe I’m doing that by inflicting evaluation on my students—rules! points! policies!—instead of just showing them what they came to see.

This paragraph shows the difference between college and other education. This applies to college because everyone there paid to learn. This does not apply to public schools, ESPECIALLY if it's in an area where the culture is bad for education. There are a ton of kids who absolutely do not care at all about anything you have to say if there are no consequences for being apathetic.
The google brand name behind it also definitely played a role.
I'd expect self driving cars to have much better sensors and reaction times than we do, and as a consequence not needing to choose between those risks and actually carrying people from one point to another.

But they will probably be way slower than people on streets that are just at the side of sidewalks and full of pedestrians.
Granting student children rights would be a disaster for career administrators and bureaucrats, undermining the entire institution and all of its conceits.

If you want to see how well it works, look at the Sudbury Valley School model. (It works extremely well.)
Back in college we ordered pizza and when the driver arrived there was some confusion finding money for a tip and after he was gone we realised that three of us had given him cash. After that every time we ordered it seemed like the pizza arrived in minutes. We assumed that someone had put a note in their system next to our phone number like "amazing tippers".
> I can't imagine having more than a dozen tabs open, period. You tab hoarders will never make sense to me...

Dashboards can easily take two or three tabs.

The bug tracker is opened on a tab as well as the ticket page. You have a pull request opened to review it, and you check something in the repository. Pop open a couple of diffs to check where someone messed up in the past.

And in the meantime you have Spotify/YouTube.

A dozen tabs easily.

Factor in task switching, checking CICD pipelines, and of course HackerNews opened somewhere, and you can get multiples of that.
I think out of the ~15 developers at my company, only 2 willingly do 8 to 4, and no one does 9-5 or 10-6. Most people who have a choice do either 6-2 or 7-3.

Edit to add: one of my coworkers who does 6-2 video calls her kid on mornings because she leaves the house hours before he wakes up (I think she leaves at 3:30). I think the whole situation is heartbreaking.
What ur describing is essentially Librewolf
I was cautiously optimistic until I clicked the “Download the Model” button, only to be greeted by a modal to fill out a form to request access.

If the form is a necktie, the rest of the suit could use some tailoring. It’s far too tall for me to wear.
I don't really think it is progressive, just dumb. The Dallas project the author defends as a better alternative is also in mostly democrat voting city
I believe Sweden Sans is used as title typeface on the most recent national ID-cards and passports.
But that's exactly my point. Would you deny this same right to kids that attend Jewish day schools? Could you even argue for that without sounding like a massive bigot?

Religious people are part of your community and have the right to their religious identity and to be a member of your community. If they want a school just for them, you don't suffer for it.

Religion is not at odds with society. We're not the USSR. Religious freedom is an enshrined right in this country.
I forgot that credit cards comes with insurance in some places. Most apparent is that you can't even rent a car in some parts of US without a credit card. In EU that type of insurance may be included in the legally obligated housing insurance.
You are on to something here. The thing I'd contribute is that then we need teacher training to improve math teaching in the US. Math teaching in the US is often of poor quality, as teachers may not be trained well and are often not confident in their own mathematical ability. Curricula are often haphazard.

The US generally takes the approach that changing the curriculum or changing standards will change outcomes, but rarely invests in teacher quality, which would have very high impact (compare to Korea, Finland, etc.).
> What is the realistic likelyhood of this being mandated

Just under a third of Californian's aren't religious [1]. Nobody is proposing to ban religious schools.

If you can't swing it, make the choice local. Each county or whatever can vote on whether to permit religious vouchers. The Bay Area will ban it. The Central Coast won't. This remains better than the status quo.
[1] https://www.pewresearch.org/religion/religious-landscape-stu...
In many ways we're already at an always pass system.
Same. It’s great for this sort of stuff
Someone knows why they jump from Framework Laptop 13 to 16? And how this product naming will evolve?
The ideology that it is possible for a human male to transition to a human female (or the inverse).

Not everyone believes in this and that is ok. I choose to respect the wishes of adults around me for social cohesion. I draw the line when we’re talking about children.
Just cos I was curious and Java has a pretty good comprehensive library.

- PNG: https://docs.oracle.com/en/java/javase/14/docs/api/java.desk...

- HMAC - https://docs.oracle.com/en/java/javase/14/docs/api/java.xml....

You need Jetty for HTTP/2.
You could sell ice cream for 5c in Antarctica in July and people might not buy it.
SF was a one trick town, software, that software wealth in the later stages was built on low interest rates and cheap money. That is no longer the case, and SF will end up going the way of Detroit.
There are lots of home school resources and programs. Things range from sitting your kid in front of a video lecture to being the teacher yourself. Some programs are great some are just enough to satisfy the law that your kids are getting education. Frankly if you don't already know the above then you are not ready to wade through the mine field of homeschool. You need to figure out which programs are good and which are just marketing.

In the end though, while many homeschooled kids do well on tests, they all show the narrow mindedness that comes from never meeting someone who is different (religion, and political background are big ones here)
Seeing open source projects backed by YC always giving me a special feeling of joy and excitement.

Good luck, I’ve been having highlights on my radar since your first post on HN.
Not anymore lol

https://huggingface.co/localmodels/Llama-2-13B-ggml

Just wait a few minutes for the other variants to be uploaded.
Good point. I know I'm just being bitter, but I still can't stand Python after dealing with the 2->3 transition. I code mostly Java and use Go where I might have reached for Python before. The Go built in libs make it so easy to build small CLI apps where I may have used scripting before. And the cross compile situation makes it easy to ship wherever. I'm not a PLT person, and Go is easy for me to simply solve problems with. Probably also why I'm fine using modern Java.
Could someone please give us non-practitioners a practical TLDR?

Specifically, can I get this packaged somehow into a thing that I can run on my own server to classify my mail as spam or non-spam? Or at least run it as a service with an API that I can connect to?

I watch the development of those LLMs with fascination, but still wade through tons of spam on a daily basis. This should be a solved problem by now, and it would be, except I don't really want to send all my E-mails to OpenAI through their API. A local model would deal with that problem.
I used Swig to connect our C++ API to Ruby back in... '02 (wow, so 21 years ago, time flies!). It worked great. We could try things out in IRB (the Ruby REPL) and it allowed us to quickly write unit tests in Ruby (this was well before things like gtest).

There are probably better/easier ways to do that now, but back then Swig was the only game in town and for us it worked out pretty well.
A forge is just a place where people go to bang out something useful or entertaining. It's not common, put the name comes up in dev contexts.
Thanks for sharing. Yeah, that’s a very reasonable use case to switch over. We have lots of logrocket and busgnag converts.

We do have more SDKs in the works, and occasionally, community members help us out as well (see the comment about our java sdk above). If you have any thoughts, please share (tickets below).

Regarding Elixir, we have some experience with the language within our team, so please reach out if we can build something for you in the short term. I'm at jay [at] highlight [dot] io.

https://github.com/highlight/highlight/issues/5082
https://github.com/highlight/highlight/issues/4452
I have written a library actually. I found interfaces perfectly sufficient for allowing applications to consume the contracts of the library without needing generics. Of course I understand that they have a use and are useful, but it's not like there weren't excellent solutions for this in Go before generics existed.
> When Poland transformed from communism to capitalism most people had savings for less than a month. Nobody was rich. You can't do a startup or a company if you start starving after 1 month without income.

Ok, but that's modern britain. Millions of people can't save money and are far from rich. Plenty will starve after one month of no income. News reports seem to indicate quite a few already do even if they are employed.

> In 90s it was impossible for 99.9% of the population.

99% of the british or western population doesn't start a startup either. That's why people resent the 1%. The main reason people in east europe don't have the culture of starting startups is due to the communist model that supressed the natural human tendency of doing trade and innovation. It's simple as that. Now that that's gone, Poland and the rest of the former bloc, are acquiring a taste for it.

You are right about wealth accumulation though. That's why countries such as Italy or Greece for instance seem developed. Not having had a war in a long time, they were able to build their infrastructure and benefit from it. Let alone Britain that managed to accumulate wealth, by means we all know. Now that the same means can't be employed it would appear that a long, cold, period of decline lies ahead. Let's see how well these countries can handle the sea of change about to come. I bet they won't be as resilient and determined as, say Poland, which only as recently as 30 years became free and achieved so much. To put it into perspective you are probably older than your country was free.

West Europe lacks that determination. The US and East Europe (and a few others) have it. The future, I believe, belongs to them.
‘Underground climate change’ is deforming the ground beneath buildings
Yes, the masks didn't work. Now everybody should know it.
First of all, they were using paper mouth shields or adidas branded useless cloths, not masks.
But even the dumb fcks using real n95 mask, i see people everywhere touching the mask from outside (where the viruses should be stopped if the mask works) and then touching everything else. And when coughing opening the mask and coughing inside the palm...
>hoarding

I've got 30 tabs open today, and the oldest of them is only a few hours old.

I look down a page, see interesting links, and middle click them all. They open tabs but don't actually load until I click that tab. I close each tab after I'm done reading it, or after a few hours if I never got around to reading it and lost interest.

Is that hoarding? I don't think so. But it's the sort of workflow that TST makes pleasant but is extremely frustrating with a horizontal tab bar.
anydomain.net/anymxrelay/
It’s an interesting concept tbf. I immediately disable it tho but I won’t shit on the idea cuz it’s at least a start
A few years ago I was offered a job with a very long commute. The pay was good and the recruiter assured my that I could work from home half the time (this was all pre-covid.)

After a few months I got some bad feedback from my manager's manager. I rarely had a need to talk to him directly so I almost never saw him or messaged him. He was convinced that however we were tracking story points said that I was less productive from home and I needed to come in more.

I came in every day for a week before returning back to my normal two days at home three in the office routine. Shortly after that the office got reorganized and that manager's desk just happened to end up near my new one. Obviously I started seeing him a lot more and he gave my manager feedback that I was doing much better work. Nothing had changed.

Work definitely feels like a theater.
My personal IANAL assessment is that using content in this way does not, in fact, violate copyright law as long as that content is not emitted verbatim by the LLM. So I don't think that copyright law is helpful here unless/until new law is created to cover this use case.

And there is no good technological solution, either. It's a very tough spot to be in. Right now, I've done the only thing that people who are concerned can do -- I've removed all of my content from the public web entirely.

That's how it will be until a better solution presents itself.
Baltimore is a segregated, poverty-ridden, drug-addicted city. Try performing at or even caring in the slightest about schoolwork if your parents are uneducated junkies and you haven't eaten for a day or two.
Here are the traditional best practices of how README files should look:

“The distribution should contain a file named README with a general overview of the package:

the name of the package;

the version number of the package, or refer to where in the package the version can be found;

a general description of what the package does;

a reference to the file INSTALL, which should in turn contain an explanation of the installation procedure;

a brief explanation of any unusual top-level directories or files, or other hints for readers to find their way around the source;

a reference to the file which contains the copying conditions. The GNU GPL, if used, should be in a file called COPYING. If the GNU LGPL is used, it should be in a file called COPYING.LESSER.”

— GNU Coding Standards, https://www.gnu.org/prep/standards/html_node/Releases.html#i... (July 1, 2021)

“Good things to have in the README include:

1. A brief description of the project.

2. A pointer to the project website (if it has one)

3. Notes on the developer's build environment and potential portability problems.

4. A roadmap describing important files and subdirectories.

5. Either build/installation instructions or a pointer to a file containing same (usually INSTALL).

6. Either a maintainers/credits list or a pointer to a file containing same (usually CREDITS).

7. Either recent project news or a pointer to a file containing same (usually NEWS).”

— Software Release Practice HOWTO, https://tldp.org/HOWTO/Software-Release-Practice-HOWTO/distp... (Revision 4.1)
Yes. If it were the case that public schools were universally regarded as great, and everyone felt well served by them, it would be right to be skeptical of private interests coming in and trying to capture some of that money for themselves. But we have the exact opposite of that situation.
Appreciate the sentiment. Give us a try when you get a chance!
Well, if you expect a modicum of accuracy in the output...
I’d rather have 5 of these around the world than a single property that has way too much space for me. I never open my curtains anyway.

But it just isn’t a thing. Surely the margins would be decent? The demand must be too low.