skysight-inc/HackerNews huggingface dataset:
> Mistral's latest just released model is well below GPT-3 out of the box

The early information I see implies it is above. Mind you, that is mostly because GPT-3 was comparatively low: for instance its 5-shot MMLU score was 43.9%, while Llama2 70B 5-shot was 68.9%[0]. Early benchmarks[1] give Mixtral scores above Llama2 70B on MMLU (and other benchmarks), thus transitively, it seems likely to be above GPT-3.

Of course, GPT-3.5 has a 5-shot score of 70, and it is unclear yet whether Mixtral is above or below, and clearly it is below GPT-4’s 86.5. The dust needs to settle, and the official inference code needs to be released, before there is certainty on its exact strength.

(It is also a base model, not a chat finetune; I see a lot of people saying it is worse, simply because they interact with it as if it was a chatbot.)

[0]: https://paperswithcode.com/sota/multi-task-language-understa...

[1]: https://github.com/open-compass/MixtralKit#comparison-with-o...
Its the good old "in a gold rush, sell shovels"
I'm not sure what's "irrational" about thinking humans are a blight and scourge upon the earth. Being "concerned about future human well being" is not inherently more rational.

They are just different values people might hold.
For sure – short of large and well-supported projects like Django et al., docs are notoriously incomplete if present at all.

Even then, you have to get people to read them, which is somehow a monumental task. Docs? Nah, lemme read this Medium blog instead.
You think processing of oil (or natural gas) for plastics doesn't involve CO2 emission?

Let me introduce you to ethylene crackers.
I will take a look at this!
PSA: This is broken for Apple silicon. It relies on the CUDA-only `flash_attn` package. Alas, I wanted to try Mistral's MoE on my MacBook. :( Understandable though! It's a new model with an incredibly bizarre release. My phalanges are crossed.
This is a solved problem with git. I’ve worked on bigger projects than yours with histories that are so big you can’t clone them if you wanted to. I’ll make a note to drop what to google for tomorrow, but basically the history is fully available but git knows how to query it over the network. When you open a file, it loads it over the network. Remote build systems do your builds.

Most of this was built by Microsoft to work on Windows with git.

We moved from SVN in the late 2010’s, and holy crap man, did it change our workflows. No longer were we passing around patch files in a team for code reviews, but actually reviewing code somewhat like on GitHub. It was magical.
That’s why you need a binary repository like Artifactory and not store your large files in Git. But you can still track them in Git with the large files in a binary repository like Artifactory.
Biomass. It's just a small matter of chemistry. Of course this will be more expensive or we'd already be doing it.
There were european VCs investing in the very first round, french one in particular. Founders are french. This qualifies as european in my book (let’s not get too demanding)
> Plus the UAE is ~10% citizens, 90% migrant foreigners. I'm not sure how per capita footprint of the UAE accounts for that (is a UAE citizen carbon footprint actually 250t CO2...?)

It's close. Electricity is practically free for citizens, which is why their large homes are key peretualy cool and thoroughly well-lit, like what you'd see in a real estate marketing brochure.
Its actually difficult to for a "regulator" to do what battery does, the battery can output significant surge as needed and its resistance drops as voltage rises absorbing large spikes without issue.

In the Cybertruck there would need to be a DC-DC buck that could handle the 48v inrushes properly from the 800v traction battery and spikes would have no where to go as the DC-DC would not be bi-directional or even if it was could not react fast enough.
I built something like this but found that the electric arduino water sensor quickly became corroded after a week and a half and ended up replacing it with a float switch.
https://voice-swap.ai/ may be of interest, you can covert your rough singing to use a real singer's voice (apparently! I've not tried it)
They already are scared: https://www.theguardian.com/news/2022/sep/04/super-rich-prep...
goes to show there's still lot of creativity left in the web. web pages, DNS, email forwarding, vanity domains -- i'm glad to see hackers tinkering and exploring what the next gen web looks like. Otherwise we'll lose it to commercialism and walled gardens.
I think there are some serious ergonomic issues with forks as they’re presently implemented. However, I’m curious what you intend from:

> the GitHub server should be able to apply ACLs based on the push identity

That’s essentially exactly what a GitHub fork _is_ – an ACL’d set of refs you’re allowed to control, separate from upstream’s set of refs. I guess – what would you have us do differently?

Disclosure, I work for GitHub and am the product manager for Git stuff.
> There's certainly more than a little projection at work in this insistence that the only way to establish a free sovereign state is to commit genocide against one group or another.

I agree that it's not necessary to commit genocide to establish a sovereign state! In fact, it's getting in the way.
This is why the US needs stronger rules about where food is coming from. If I had the choice between Ecuador and Washington state for applesauce I know which country I am picking from a food safety standpoint.

Currently for most foods if they are processed in the US they can say it’s a product of the US. For example meat from China processed in the US is sold as US meat. This means you can just repackage it, boom US product!

The current rules put profit over consumers being informed where their food comes from.
I'm trying to understand what exactly this is testing/demonstrating.

Like: "Wow, but why should I care?" I'm not sure being able to fsck a random disk image shows resiliency. Doing this could do all sorts of nasty things to data you actually care about.
Voice Swap: Change your singing voice using AI
The FDA isn't underfunded or understaffed by any stretch of the imagination. Their funding is mis-allocated and not optimally applied to protect the public that pays the funding.
Sure sounds to me like the other institutions are only "excluded" because they aren't currently making enough money to qualify for the tax. Kinda like I was "excluded" from itemizing deductions on my 1040 last year, due to insufficient mortgage and medical expenses. But my cousin Sam was not excluded. Same tax law applies to both of us.
>The science is the science

Implying we alreayd know everything we need to know, which is patently untrue. People who discuss science as a settled matter should be treated with suspicion.
It's smoke. but where there is smoke, there is some level of fire
I like the idea that there’s a step missing in between. Like, after high school, you spend a year minimum doing college prep at some sort of extended school. Or you could test out of it and enter college immediately (if, say, you went to a college-prep-type high school). I don’t know who would fund it and that’s half the battle, but it would be miles better than what we do right now.

Part of the issue with public schools right now is that we aren’t really just education anymore. We’re like a social service agency. And I’m not saying we shouldn’t be but people need to understand that what we do is so much more than just content. Every day last week, I was in the offices of the guidance counselors, or our behavioral interventionist, because kids had come to talk to me privately about different struggles they’re having (all mental health-related in one way or another). Whether it was anxiety, depression, panic attacks, or not being able to get through the day without smoking weed because of how bad they feel. Who else is going to help these kids deal with that? They don’t have community resources to help them, and they often don’t tell anyone at home about it. And that’s just extra stuff on top of what every normal teenager goes through during their development. I’ve had to have so many conversations with boys AND girls this year about using protection if they’re having sex that it’s terrifying, because of the shit I hear. But people on the outside just see me as, like, giving history assignments.
Many of them absolutely would, the question is how do we get to a place where they can trust Palestinians to not murder them in their sleep? There's also the problem of the growing right wing Israelis who believe god gave them the entire levant and are unwilling to give up on that vision. This group is not the majority in Israel, but their birth rate is much, much higher, so they eventually will be. The current defense minister is in this group which is a huge problem as it eliminates palestinian incentive to negotiate in good faith since they know the current government will not settle for anything less than full control of the west bank.
> everyone will apparently just shut down and not do anything about it because why bother

A negligible (both in terms of numbers and wealth) part of the world population feel this way. I guess most people actually still barely think about these things while they continue to live their lives as they come. In a lot of counties the discussion is still barely taking place.
Interview with Thierry Volpiatto (2018)
HN needs to put a hard limit on the number of phrases in a post which can use the annoying emphasis markup. I vote for 0, but would accept as many as 2. There’s so much text emphasized in this post that it’s impossible to read.
>Humans learn a lot of things from very little input

And also takes 8 hours of sleep per day, and are mostly worthless for the first 18 years. Oh, also they may tell you to fuck off while they go on a 3000 mile nature walk for 2 years because they like the idea of free love better.

Knowing how birds fly ready doesn't make a useful aircraft that can carry 50 tons of supplies, or one that can go over the speed of sound.

This is the power of machines and bacteria. Throwing massive numbers at the problem. Being able to solve problems of cognition by throwing 1GW of power at it will absolutely solve the problem of how our brain does it with 20 watts in a faster period of time.
It's funny how many don't know this. Almost as if the TPM wasn't designed to protect users.
We've seen example after example of "Scientists & Business" knowing full well that their products are harmful and doing everything they can to cover that fact up and prevent the public from learning the truth, and even examples where the FDA itself knew full well that the products are harmful and yet the products are allowed to continue to be sold.

The entire system is broken and part of what is missing, perhaps the most important part, is accountability and meaningful consequences.

Obviously, companies who were genuinely unaware that their products were harmful and who immediately recalled and ceased production of those products after finding out aren't the biggest problem, but they still show that the product safety testing practices of both the company and the FDA are inadequate.
Show HN: Open-source Server-less Image Optimization API – deploy with sls fw
If you're curious to see what's going inside these malicious PyPI and NPM packages, we host a catalog of all removed packages for research use. Here are links to some examples of the cached malicious source code, along with the signals of malicious intent detected by Socket:

https://socket.dev/npm/package/shineouts/files/1.12.16-beta....

https://socket.dev/npm/package/@dynamic-form-components/shin...

https://socket.dev/npm/package/eslint-plugin-shein-soc-raw/f...

https://socket.dev/npm/package/@spgy/eslint-plugin-spgy-fe/f...

If you're curious to see more examples of the kind of malicious stuff that is posted regularly to package registries, we have a live updating list here: https://socket.dev/npm/issue/gptSecurity

[Disclosure: I'm founder of Socket]
The root problem applies though.

If you need permission: who among the population can give it, and what connection could they have to what amounts to a strangers corporeal remains.
Not sure how that would work.

"Citation one-three-niner-delta-uniform, Denver Tower, adjust altitude to seven three hundred, bearing one zero five."

"Citation one-three-niner-delta-uniform, Denver Tower, please respond."

Also FYI it's not like anyone can actually be asleep because pilot is required to establish two-way ATC contact to enter the airspace.
Ask HN: How to get into the vulnerability research field?
How do you break into Vulnerability Research (with focus on mobile security).

I noticed that all vulnerability research positions expect you to already have the knowledge and career experience, other than few government-sponsored training programs (which I'm not eligible for).

so I would appreciate getting some advice on how I can pivot my career to that direction.

Some background about me: 6 years in cybersecurity. I started as a SOC analyst, then moved into DFIR, with focus on malware reversing (effecting x86 platforms most of the time, some few occasions ARM/MIPS malware), I wrote tools in C/C++ as well as detection scripts in Python and Lua.
Would this be more secure than using GnuPG (https://incenp.org/notes/2015/gnupg-for-ssh-authentication.h...)?
> Musk's public response was “My firstborn child died in my arms. I felt his last heartbeat, I have no mercy for anyone who would use the deaths of children for gain, politics or fame.”

It's worth noting that Musk's ex-wife, Justine, disputes this version of events.

https://www.independent.co.uk/news/world/americas/justine-mu...
Absolutely! I based my dissertation on analyzing how students selected different lower level CS exercises (typing exercises, Parson Puzzles, output prediction, etc.) based on ICAP. What I observed was lower Active exercises benefit all students, the general order of exercise selection follows a sawtooth wave (work upwards to assessment, then reset for the next week), completers and non-completers in a MOOC selected 'next exercises' similarly, and no one likes pop ups recommending you to 'downgrade' if you're struggling on a problem. There are limitations to my work, like the order of how exercises were presented primed their selections, but the overarching theme I tried to convey was that lower-level drilling is an absolute necessity for learning.
I remember a post on HN about how YAML was a terrible serialization format. A stricter subset of YAML (eg - StrictYaml) wouldve solved every single problem mentioned there.

Similarly, the solution to git is a subset of git (strict git).

Gits problem is that it is too powerful and assumes that it's users are all git experts. You should be able to run git in 'easy-mode'. Add, commit, checkout new branch, revert, squash merge. That's all 90% of people need.

Then the intermediate folks can run it in mode 2, adding the ability to rebase, reset heads, cherry pick, revert, stash etc. This covers the next 9%.

The last 1% can use it in mode 3 for the rest.

Once you take away the fear of what you could break, git becomes far less intimidating.
Nice to see you here. I was just casually looking through the txr-libs there and just randomly spotted this, the CSV library, in a let form:

(fieldrx (regex-compile ;; using a regex object here messes with emacs syntax highlighting
"([^,\"\']*(\"([^\"]|\\\\\")*\"|\'([^\']|\\\\\')*\'|)[^,\"\']*)+"))

I understand that here using the #/.../ regex literal object didn't look right in your Emacs, so you dynamically compiled from a string literal.

But that now happens each time you call the function.

Lisp has your back here; we can hoist the compilation of the regex to load time using load-time:

(fieldrx (load-time (regex-compile "...RE...")))

load-time makes a difference in interpreted code, not just compiled files. Even in interpreted code, the regex-compile expression will be evaluated once only and then the cached value used:

1> (dotimes (i 5) (prinl "hi"))
"hi"
"hi"
"hi"
"hi"
"hi"
nil
2> (dotimes (i 5) (load-time (prinl "hi")))
"hi"
nil
Well, maybe you could spend a minute looking at the screen shots at the link and realize it works like every typical desktop app anyone has used since 1988.

TV is a classic interface in every sense of the word—it isn't pushing boundaries as perhaps you are looking for.
There is an issue for it:

https://github.com/ggerganov/llama.cpp/issues/4381
While I also desire better controls in the chain, is what you describe accurate? When I purchase meat I always look and the country of origin is always noticeable.

Now I typically only do this with seafood products but maybe I have been buying SA beef before.
If you never have any commercial offering, you have a 0 valuation.
Not parent, but he probably meant the oligarchy of always-the-same-politicians wield similar power and do as they please, just with extra steps.

Monarchs are pretty irrelevant in Europe afaik.

People don't really have a choice when electing candidates in their country because all parties tend to drift in the same direction (authoritarian, crony capitalism) and they have no clue who their country's representative in the EU is.

In regards to assassinations, I'm not sure about Europe intelligence but I'm sure someone will have something like the CIA in the old continent.
Vs code + git graph + git lens is all you need for a happy git experience.
Yep that's right! I did implement IP rate limiting, so eventually power users will either have to sign up or stop using the service. I figured this way was less friction for new users to see the value the product provides.
Such things would use up the customer's (electrical) power for the company's profit in ways that were not intended by the purchaser. That is in addition to spying, which it also is.
I think if a cosmic ray flips the bit and changes the behavior of your software, you can still reasonably brag that you wrote 0-bug code. It's not your fault that happened, you didn't do that. The code you wrote had 0 bugs.
>In sixty years of human space travel, we've made very little progress and there's not much reason to hope for much more.

And for reference, it was less than sixty years between the first airplane and the first human space flight.
those HN posters are just rabid libertarians hell bent on dragging any and all services that are not privately owned and operated for profit.
This is great quality work---you'd crush it writing technical documentation or putting together technical internal corporate training programs.
That's it! I was just having trouble connecting to my local rmq server on a fresh fedora 39 install. Forgot to disable selinux!
Absolutely. In a move-and-edit situation, git will sometimes infer a rename and sometimes not, based on your local version of git, your settings, and the details of the edit. If inference fails, you may have a harder time resolving merge conflicts, performing cherry-picks, etc.
This is exactly what I've been thinking about making recently as a response to the enshittification of the web: a single site that just collects a small number of useful, simple web apps that I could share with other people who are tired of being perversely monetized by ads and VCs. Utterly brilliant, thanks for sharing!
Strong recommendation for Every Layout, and any other project from creators Andy Bell and Heydon Pickering.

What I find particularly compelling about that resource is its structure. It's not just a list of recipes (despite what the landing page suggests). They build it all up from a foundation of general principles which provide guidance in visual design far beyond the enumerated examples [0]. Then by showing their work developing each example, they show how to apply the system of design thinking. It's really quite elegant!
Between Kundera and Havel [1] I am picking Havel 7 days a week. If you have a bit of time give read to Havel's timeless 'Power of the Powerless' [2] which challenges Kundera's world view.

[1] https://reason.com/2023/07/14/milan-kunderas-eternal-feud-wi...

[2] https://web.archive.org/web/20120107141633/http://www.vaclav...
Part of me looks forward to these experiences. A larger part of me already mourns the decline is purely human creativity that they suggest. Perhaps AI models will make the perfect game or music or write the perfect novel. I'm certain they'll be programmed to reproduce the funky jank and humans bring to everything they create. At some level, though, we each have our own story that we want to tell and when there are so many automated voices in the room, it's going to be harder to tell those stories.
Additional citations:

https://cleantechnica.com/2023/12/09/1-8-million-barrels-of-... (“1.8 Million Barrels of Oil a Day Avoided from Electric Vehicles”)

https://cleantechnica.com/2023/12/09/ev-sales-growing-faster... (“EV sales growing faster than expected”)

https://assets.bbhub.io/professional/sites/24/2023-COP28-ZEV... (“Zero Emission Vehicles Facebook”)
Moreover, even if the user manages to deny you root access through excellent hygiene, that just means you can't include this machine in your botnet. You still have full view of the home folder! Upload to a data broker, get $.
I think you are underestimating the difficulty of catching a mouse.

I have hunting dogs and they can spend several hours going after a mouse, and their success rate isn't very good.

Plus, large animals are poorly Suited to hunt much smaller animals. Speed, momentum, and anatomy are not in your favor. Imagine driving a semi truck and trying to run over a mouse
we don’t even know what AI is truely going to look like in 2 years, and 2 years ago nobody cared. Isn’t it a bit too early to regulate a field that’s barely starting ?
While I agree generally, I would caution anyone to follow the woman linked above. She has started a handful of scares before that were false and she has a financial incentive to making these claims.

Her use of her XRG equipment has come into question by lab professionals. The most recent example being the lead scare she started around kitchenaid mixers.

I agree with the message though, everyone should become educated and be careful especially with children.
I'm confused; there's a huge difference between low level lead contamination generally and a HUGE contamination in this stuff. They're both bad of course; but something major has had to have happened somewhere along the way for this case to happen, and I'm a bit confused why there's not more panic generally happening about the cinnamon/spice supply chains.
Yeah, an environmentalist friend of mine told me this about my Terrapass offsets - which cost a fortune to take me to net zero. He said that I was just bribing someone so I could go on holiday. Most people agreed with him so I kinda went with it and stopped.

It's way cheaper to go on vacation now. I care about the environment and stuff but not enough to have a bunch of people tell me I'm bribing someone. And tbh, this is better. No one actually lectures you for going on vacation now.
The $25 version works fine don't buy features you don't need.

https://www.yubico.com/product/security-key-nfc-by-yubico-bl...
Ask HN: Are you, your spouse or your children gifted?
I'm curious what the gifted population is at HN.

I myself went to a gifted high school but never had my IQ measured. My wife is profoundly gifted and our children are both gifted, with our daughter's IQ highly gifted and our son profoundly gifted, even more so than my wife. I'm in tech and my wife is in finance.
If it’s really unknowingly they shouldn’t be held responsible. But we have plenty of examples where companies knew exactly what’s going on and they covered it up for decades. See lead gas or tobacco. Or the food industry who pours sugar into everything. They know exactly that they are generating millions of diabetics.
> I don't think anyone is advocating we dump more sulphur dioxide into the air,

People most definitely are advocating that...
The limiting factor isn’t knowledge of how to do it, it is GPU access and RLHF training data.
Low effort AI answer