skysight-inc/HackerNews huggingface dataset:
It will increase carnosine in the body, more if you exercise than are just sedentary, but beta alanine is concentrated in places like the olfactory bulb so will increase your sense of smell amongst other things, but its still not what I'm referring to.

Side note: If the aim is to increase carnosine in the body, I'd do carnosine as its better absorbed than beta alanine according to some studies, and then there's the remyelinating effect of histidine on the nervous system amongst other things, which is beneficial for some types of mental acuity, useful if you want to be a stand up comedian or some other verbally quick witted individual.
Your benchmark lacks the current #2 https://github.com/nlpxucan/WizardLM/tree/main/WizardCoder

It beats Claude and Bard.

You could probably get a 4bit 15B model going in 16GB of RAM and be approaching GPT4 in capability.

...on an old laptop, lol

Let's eat OpenAI's lunch! They deserve it for trying to steal this tech by "privatizing" a charity, hiding scientific data that was supposed to be shared with us by said charity whose purpose was to help us all, and dishonestly trying to persuade the government not to let us compete with them.
Better than random input, but still only ~half as fast as using sete

[19:13:34 user@boxer ~/src/looptest] $ diff -u bench.c bench-alls.c
--- bench.c 2023-07-06 16:04:16.000000000 -0400
+++ bench-alls.c 2023-07-06 19:13:34.000000000 -0400
@@ -17,7 +17,7 @@
int num_rand_calls = number / CHAR_BIT + 1;
unsigned char *buffer = malloc(num_rand_calls * CHAR_BIT);
for (int i = 0; i < num_rand_calls; i++) {
- buffer[i] = rand();
+ buffer[i] = 's'; //rand();
}
return buffer;
}
[19:13:37 user@boxer ~/src/looptest] $ gcc -O3 bench-alls.c loop2.s -o l2
[19:13:42 user@boxer ~/src/looptest] $ gcc -O3 bench-alls.c loop4.s -o l4
[19:13:47 user@boxer ~/src/looptest] $ time ./l2 1000 1
250001000
./l2 1000 1 0.69s user 0.00s system 99% cpu 0.699 total
[19:13:55 user@boxer ~/src/looptest] $ time ./l4 1000 1
250001000
./l4 1000 1 1.28s user 0.00s system 99% cpu 1.290 total

Jumps are slower.
Are you planning to add more visualizations? The stuff on here is pretty rudimentary compared to what I'm already seeing producers put on my Twitter and YouTube timelines.
Doesn’t really matter what they identify as. If they’re male they should go in the male prison. Identifying as something doesn’t change the physical attributes that make males a potential threat to females.
It's almost like stimulus doesn't really work.
That's exactly what I thought. Yes, the release was rushed, so they haven't gotten to implementing all the features yet. If it stays around long enough for them to open it up to Europe they will have to support the RTBF.

https://news.ycombinator.com/item?id=36621778

PS: How dare you reason with the lynch mob ;)
https://youtu.be/Q3eTSbC3neA?t=90
Futurepedia – The Largest AI Tools Directory
“A lot of people reject political ideas (i.e., regulations) because they have an idealized love for our free markets.”

No, it’s that regulation is often used as a political tool to wield power over the players in the market.

Free markets are far from ideal. But they do make it a bit more difficult to game the system because there are fewer ways for a third party to interject itself. Don’t get me wrong, I’m not saying it doesn’t happen or even that it’s rare. Just more rare than if you turn politicians loose on the system.

I’m always amazed that people implicitly trust politicians, as though they’re unbiased referees trying to keep the game fair. Nope. The reasonable regulation you pass today will turn into some bizarre fiefdom in 10 years.
Which one can do by deactivating/marking-private an account.
You are the one claiming there was a credible threat, so it's upon you to show it.

Empirically, Facebook's denials when it suited them suggests they did not feel any such threat. The fact that they sometimes agreed is not an affirmative indication of such a threat, as they could have easily done so on the merits of the requests.

The fact that the proposed action would require Biden to collude with the GOP congress to censor speech the GOP congress supports most heavily and would never censor, combined with the knowledge of reality that such collusion would never happen, suggests that the threat could not exist even theoretically.

So, now's your chance to put forward an alternative case for there being a credible threat, rather than just an angry dude impotently swearing at social media with no actual power to repeal section 230 short of said implausible collusion. After all, Biden political appointee or not, he and I have exactly the same power to convince the GOP to censor the speech in question: None. Are my angry requests to Facebook similarly plausibly "threatening"? Obviously not.
Public prometheus endpoints without password protection? That's funny because our security scanners never ended up in this situation because we never allow public prometheus endpoints without password protection. Turns out we did a good job on that front at least. :)
This is baby bonds.

https://en.wikipedia.org/wiki/Baby_bonds
I was able to install the iOS app and post a Thread without granting any permissions. Presumably it only wants to collect health and wellness data if you want to use the app to share that data with your friends, just like it only wants to access the camera if you want to use it to take a photograph to share on Threads.
> With 1 billion users, $2/year gives you $2B/year, not $16B/year.

I was doing the max theoretical if we had all 8 billion humans signed up. The better approach would be to do something pegged to the minimum wage in the country but it's pointless trying to create completely theoretical finances for an imaginary company in a forum thread. The general idea I'm trying to get across is we could charge a vastly lower price for these things if there weren't such greedy and power hungry motivations underlying their financial and corporate structures.

> This is not at all the model we should strive for when it comes to a social-network-as-utility.

I agree it does seem like something that it would probably be better served via a non-profit but it's probably a tough sell. Maybe something like a cooperative might be a nice compromise.
I wish there was a huge decision tree covering all possible scenarios for flight delay/cancellation, it is very hard to know exactly whwt to do in such cases.
> It's a quite powerful idea to run every package in its own container (sandbox).

It is, but I also actively don't want every package to run in its own container. I'd rather containerize select applications that I choose.
We should be so lucky. But then most of those promises would be frauds since they are most of the time not followed up on once the politician is in power.
Well, I would guess that it leaves the vehicle stranded until someone comes along to remove the cone.

The vision system recognises the cone, gets confused because a cone on the hood is outside of the normal operating parameters, and refers the problem to a teleoperator. Pulling high-G manoeuvres in the hopes of dislodging the cone obviously isn't an option. The teleoperator can't do anything about the cone, so the car becomes stranded.
I was a on paid account since last month and was never really billed for my $8 dollar usage. I don't have GPT-4 access either.
But significantly lower risk of getting your teeth busted.
Technically, their new GPUs are also directly descended from them. Though, deviating more and more each generation.
I'd love to get into AI and AI development. Where can I start?
That is what they all say.

So how much would it cost to hire a hacker to breach a system deploying their solution?

I bet you if you asked their VP of engineering: “If I had one skilled hacker and a year, are there any non-trivial customer deployments that could stop me?” The answer would either be a resounding no or they would not be able to point to a single shred of evidence supporting their assertion like a red team exercise with those parameters.

Extraordinary claims require extraordinary evidence.
>In order to make a pie from scratch you must first create the universe. That's seL4.

While somewhat true still, much progress has been made and the situation isn't the same as five years ago.

Furthermore, there's multiple ongoing efforts to bring seL4 closer to turn-key, such as Makatea[0], Genode[1] and sel4cp[2].

0. https://trustworthy.systems/projects/TS/makatea

1. https://www.genode.org/

2. https://trustworthy.systems/projects/TS/sel4cp/
The people working on browsers care about their users being able to use the internet in their browser. Absent the specification work that just wasn't possible - it took years to get webkit to the level that you could reliably expect all pages to work, even when spoofing the user agent (sites used to user agent gate access to only Firefox and IE, nowadays they just block every that isn't chrome[1]). The specification work helps everyone - without it you have to spend immense amounts of time reverse engineering whatever features other browsers ship if sites start using it, and similarly you don't have to worry as much that if you ship some feature some other browser will implement it slightly differently and then you have to reverse engineer what they did in the feature you shipped without specifying. That used to happen a lot. Similarly producing a specification and going through the standards groups can help identify issues and prevent them becoming a problem before the feature is shipped. It's super easy to go "I have a problem" and then make a feature that solves your specific problem rather than the more general issue you're working with. Back while I worked on webkit, Google engineers were chronic for this, and the problem is they would then frame any pushback as being "you hate the web" rather than "oh yeah, maybe we should have one complete spec instead of dozens of slightly different overlapping ones".

Overall I'd say the bulk of folk I worked with from pretty much every company I interacted with cared specifically about the web as platform independently of whatever their employer might be doing (Google, Microsoft, Apple, Mozilla, Opera, Yahoo, Facebook, are all companies I recall having significant amounts of communication with, as well as various academics, oss projects, etc and there are very few times I encountered bad faith behavior).

[1] Commercial site developers, especially "enterprise" ones, are absolutely abysmal developers. The only thing that has changed in the last few years is them switching from IE only to Chrome only.
One has to give them credit for what must be the most grandiose stunt actually landed. And on so many angles! “It just works” - they even got the scientists fully aligned! Fiercely smart industriousness.

https://youtu.be/P_ACcQxJIsg?t=5946
I agree, it's obvious common sense.

What's interesting is that it was so hard to get there. Despite the answer being obvious.

The article author suffers from the same problem, she keeps tacking on unnecessary attacks on what gender "is" that derail some legitimate concerns.
Especially with all the hype about publishing the "algorithm"
Software rendering. In parallel on the GPU.
Why Is the U.S. So Good at Killing Pedestrians?
Gleam is a friendly language for building type-safe systems that scale
JAL was privatized in 1987.
it would change the methods we have to use. cutting carbon emissions wouldn't do anything substantial if it's not man made. in that case I think we'd need to use geoengineering to avoid it.
I wish this were true, but other drivers that do make those mistakes and can crash into you and kill you at no fault of your own.
> The minister, who was raised in a staunchly communist household, said she had been unable to follow her own dreams of becoming an employment inspector because there was not enough money for her to spend years studying.
This indicates to me that some of the old base models used architectures that were significantly more difficult to run at scale (or to ship around/load different weights at scale) - which is truly saying something, since they were running at incredible scale a year ago. There's probably a decade of potential papers from their optimizations alone (to say nothing of their devops innovations) that are still trade secrets.
For the record I was being sarcastic.

If you check the power generation stats for Sweden[1] you’ll see that wind generation was generally higher in winter months than Summer.

[1] https://app.electricitymaps.com/zone/SE-SE2
Surely it will take more than the few hours the platform has been open for these groups to form? “And don’t call me Shirley!” :)
> speaks to the anti-poaching lawsuits of a decade or so ago.

There's a large difference between

a) colluding to not hire people between equally sized competitors

and

b) aggressively reaching out and poaching a (foreign) partner's key people, especially when that partner is 50-100x smaller

I'm sure you're aware of this so I'm left a bit confused here.

..

> Google does take a shotgun approach to specifications... in a world where forums like HN are filled with people just parroting AlexR style talking points of "Apple is fighting [BS half assed spec] because they hate the open web".

Umm... Okay.
I’ve been curious what happens if a very red ball is suspended in front of rectangular cardboard about 7 ft up. No person would mistake it for a signal, but what about these “self driving” cars?
Oops, there's no training data for that.
As crazy as it sounds, I second that sentiment. France is turning fascist. Like for real. As a not entirely white guy, you have no idea the crazy stories I have to tell already and it just keep escalating.
Pop OS with Nvidia drivers ISO:

https://iso.pop-os.org/22.04/amd64/nvidia/31/pop-os_22.04_am...

Works great on my machine with a RTX 2060.
As jgrahamc pointed out, it's visible on the 28 day charts, I mistakenly copied the link from a different tab than the one I was looking at, sorry!
It's memory management, not memory minimalism. I'm always hovering about 12 GB out of my 16 GB MBA, but never have any issue opening a project or opening 10–20 tabs (rookie number) and I have a few apps that are always running. I believe that macOS uses the RAM for caching files, so the reported usage is not really tied to the number of apps running. There are memory-heavy workflows, but these are outliers. Even 8 GB would be fine for most of what I do.
Canadian judge rules thumbs-up emoji can represent contract agreement
I couldn’t log in to Instagram for over a year due to a bug with my account. At first, there was no recourse. Then, they released Meta Verified, which offered customer support for a monthly subscription fee. It took about 50 emails back and forth (most some version of “I’m sorry, there’s nothing we can do”) before they finally fixed it for me. I deleted it shortly after.

I really hope all the developers and artists I follow don’t move to Threads. I’m not exactly jumping at the chance to use an Instagram product again.
>But once cloudflare no longer wants you, your other options have a tendency to evaporate as well

This! If the forces persecuting you made Cloudflare to drop you, and you go, you establish your own site and your own platform your own infrastructure, unless you have some billions lying around to put fiber optical cables over the oceans physically connecting your servers to the rest of the world, you will depend on other people. And the forces persecuting you, they could just go the next level and start to demand Tier 1 providers to drop you. And the whole thing start to derailing into a cat a mouse game. Where you will have to constantly be thinking "Okay, what is their next move to deplatform me?"

Because as you said. Usually when Cloudflare drops you... it's not very absurd to assume banking institutions, Mastercard, Visa, Google, Microsoft, Amazon, etc... will also drop you. And the law pretty much allows those multibillion dollar companies to deny service to a paying costumer, which is a pretty dangerous precedent in my opinion.
Never use the word ethics around a lawyer because we have a completely separate set of professional codes enforced on us which are unhelpfully called “ethics.” You will confuse the lawyer and he or she will lash out irrationally, possibly with an unhelpful or snarky post, even though deep down the lawyer secretly agrees with you.
It was great for us at UC Santa Cruz. The reason I had healthcare during grad school was because the union won it right before I joined. The reason they have a housing stipend now (in the most expensive rental market in the US[1]) is because the union fought for a cost-of-living allowance. We at UCSC didn't always agree with the course of the larger UAW 2685 but they did a lot for us.

I'm not sure what the system was like in the union in Wisconsin but I'm surprised that more STEM students didn't join and change the course of the union if they were that negatively affected. Our union was democratic almost to a fault but maybe the structure in Wisconsin was different.

[1]https://www.sfchronicle.com/realestate/article/most-expensiv...
Because they have competent local competition. ANA is very evenly matched with JAL. Same with HKA and Cathay Pacific. Even Taiwan has China Airlines (flag) and EVA.
So what I'm hearing is "if you are a student, you should not be able to live", is that right?
I love that book. I actually cited it in the last federal grant I wrote. Along with some Naomi Klein because I was feeling spicy.
They're closed source. Just parts of the driver are opensource.

Note that these GPU's are widely used in (mostly low end) phones, and I think power the UI in some other household items with screens. They provided iPhone GPU's till 2017 (and there is debate if Apples new GPU might contain some imagination tech)
I really really hate this forced push to snaps.

I think I'll try Linux Mint out. Or maybe it's time to go back to my beloved Debian, which I abandoned because of Ubuntu when Ubuntu was still not too filled with crap.
"Population Bomb" was not a scientific consensus at any time. It was controversial, at best, in its day and has always faced criticism. Ehrlich was a scientist but not of the type qualified to hold forth on the subject, and he did not perform research that would have strengthened his projections, none of which came to pass. His book is pop culture, not science.

https://en.wikipedia.org/wiki/The_Population_Bomb#Criticisms
I'm verified and I still Tweetdeck still isn't working for me.
Will China overtake the U.S. on AI? Probably not. Here’s why
Hmm, why is it an ISO, rather than getting the drivers from a server afterwards? I have a few devices that need proprietary drivers, do I need to do the same for the others?
Air France-KLM, Lufthansa and BA are also privatized.
^ https://archive.ph/ILfbq
BlueSky never had a chance, same goes for Threads. It's not some mistake in strategy, it just turns out you can't launch a copycat social network no matter how good your marketing/funding... network effects are tough.

They aren't failing due to privacy, or invite strategy, or anything else. They are failing because there's no differentiation whatsoever. It's so simple, and it's been true since forever.

The meme that Twitter is burning down is cope. The only people for whom it's burning down are extremely online liberals. And even they are not leaving Twitter. They are the only ones praying for these alternatives to succeed, or in recent HN threads asserting the downfall is assured and imminent. The actual ground truth of using Twitter if you aren't extremely online and praying on political rivals' downfall is that it basically hasn't changed much at all.

You need to differentiate, be cool, and be fun in some new way to leap past immense network effects. And probably also guarantee revenue share through a sort of decentralized network.
Hardly, if you want to win elections you pander to the older generations. Being popular among 18 year-olds isn't politically interesting at all.
You find people who see the long term benefit. Maybe they don't exist. Maybe they do.

Wikipedia is a giant global website that runs entirely on donations. I'd wager there are alternatives out there to the MBA/VC orthodoxy.
Because higher education shouldn't be something reserved for the independently wealthy?
I'm just going to move to BSD entirely, I think.

I'm saddened to hear that FF has dependencies on flatpack daemons, but I'm not surprised by it. The direction Linux is going seems very clear to me, and I expect more of that sort of thing as time goes on.
Actually, I have been through this and they will absolutely lie, and gaslight you with all kinds of nonsense.

I have a series of screenshots and recordings where United would change information on their official app from, say, insufficient crew, to crew rest, to blaming weather. Had to take them to court (their delays cost us thousands) and won thanks to demonstrating how they altered their own information to blame everyone but themselves.
The fact is that no neural network can solve sudoku puzzles. I think it's hilarious that AI proponents/detractors keep worrying about existential risk when not a single one of these systems can solve logic puzzles.
> Is a delivery app that is basically a glorified basic ordering system really worth 30% of the transaction? No.

To be fair, it’s only “an ordering system” if you look purely at pick-up ordering. For deliveries, these apps are two-sided real-time resource schedulers (allocating a driver to N orders they can efficiently deliver through pickups and drop offs on a single precalculated connecting route to optimize both time and fuel consumption.) The value is in the backend software, as the very same backend software should be reusable for e.g. routing driverless taxis.
Is there a valid reason to run from the cops?
Thank you. As a shell amateur I was having trouble wrapping my head around the original description.
I stopped flying AF when they started flying perfectly good albeit temperamental airplanes into the ocean floor. If I wanted to assume that level of risk I'll take my chances on some fartbox submarine. The rigor of their pilot training has since been raised into question.
> Twitter is poorly ran and struggles even with basic things like not pissing advertisers off as they keep making controversial decisions for the network.

This trope of "pissing advertisers off" is repeated ad nauseum, but there is no evidence that rational advertisers have preferences regarding which content surrounds their advertisements. They only care about paying less money for advertisements than they make in revenue attributable to those advertisements. And therein lies a Yogi Berra-esque paradox: if all the advertisers leave Twitter, then the advertising prices will decrease, and advertising to Twitter users will become cost-effective ("Republicans buy sneakers too.")

What advertisers do care about is angry mobs of people harassing them about all the wrongthink their ads are appearing next to. It would be more accurate to say that "advertisers don't like being harassed by a mob of people who are pissed off at the platform that hosts the ads."
Higher density isn’t intrinsically high density urbanism. That’s a limiting idea.

There’s a broad spectrum of density between Montana ruralism and downtown Manhattan, with different thresholds of possibilities at each degree of concentration along the way.

Besides Montana is growing at 1 percent a year on average and that will certainly increase as winters become more mild. I believe it was Idaho, Montana and Florida that saw the highest population growth among U.S. states between 2020 and 2022 as well. If it grows 10 percent a decade it won’t be the rural paradise it is for long.