skysight-inc/HackerNews huggingface dataset:
If you've not played with mynoise.net, you might give it a shot. It's one person's passion project to do exactly this - more or less infinitely variable background noise. Each soundscape has a range of samples (typically 8-10 sections), and you can adjust the levels for each section individually - or let it automatically fade stuff around. Some of the newer stuff is more algorithmically generated "infinite variation" music.

I've easily put thousands of hours on the Flying Fortress option - both my kids slept better with the low background rumble of WWII bombers thundering away in their rooms (the womb is very loud, and, yes, there's a womb noise simulator too), and I love it for office background noise, though my office doesn't have other people in it (typically).

I'm far, far more comfortable paying for this sort of thing, where he's gone and sampled stuff in person, than with something that's just "scraped the internet" and replicated something or another.
Parody is also explicitly allowed as fair use, and mimicking is very much part of that.
So, literally, you are defeating the AI through the power of love. This is fantastic.
Ariane 6 was authorized by 2014, and they couldn't really change it politically speaking.

Whatever Israël personal feeling, he had no power to change the design.
World’s First Carbon Import Tax Approved by EU Lawmakers
"You can't sue someone for mimicking someone else's voice well enough to be confused for the mimicked creator's voice."

Absolutely not true. It's called "appropriation of likeness." If the representation is reasonably likely to be confused with or linked to the famous person, that person can sue.

One case I found funny was that of a porta-potty company called Here's Johnny. Johnny Carson successful sued them: https://www.lexisnexis.com/community/casebrief/p/casebrief-c...
Here's a simple function from positive integers to primes.

Let f : Z+ -> Z+

Let f(0) = 2

Let f(n) = p, where p is not divisible by f(n') for all positive integers n' such that n' < n, and p <= p' for all positive integers p' such that p' is not divisible by f(n'') for all positive integers n'' such that n'' < n.
Mylar balloon.
when did silent films start be called “silent” films

since they were the only kind of film for a very long time
People are becoming more concerned about where their electricity and food and heat and shelter are going to come from. It won’t really be AI that tells you to get into the pod because the AI said it’s the only way to survive.
I'm not seeing how induction helps here.
Ask HN: What is the likely explanation about military UFO sightings?
Is it some kind of geopolitical game? Is it aliens? Is it software bugs?

It was in the spotlight for a time, but now not so.
I'm still waiting for the day when people will stop being absurdly neurotic about sexuality and just let people share their stuff as long as it's age flagged appropriately. It's so absurd that the most normal thing on earth is put into the same moderation category as harassment or hate speech.
That's a specific use. Not all mimicking is parody.
Looks like my edit window closed, but my results ended up being very low so there must be something wrong (I've reached out to StabilityAI just in case). It does however seem to roughly match another user's 3B testing: https://twitter.com/abacaj/status/1648881680835387392

The current scores I have place it between gpt2_774M_q8 and pythia_deduped_410M (yikes!). Based on training and specs you'd expect it to outperform Pythia 6.9B at least... this is running on a HEAD checkout of https://github.com/EleutherAI/lm-evaluation-harness (releases don't support hf-casual) for those looking to replicate/debug.

Note, another LLM currently being trained, GeoV 9B, already far outperforms this model at just 80B tokens trained: https://github.com/geov-ai/geov/blob/master/results.080B.md
It's usually enough to CYA with the TOS, but then operate strictly on a complaint basis. Like your typical cops do.
It's not totally rigorous, but it wouldn't be hard to fill in the details. This is a sketch of a proof, not the proof itself.
since m,n must be even let m=2a, and n=2b, with a,b>=1

if m^n = n^m is true then

(2a)^(2b) = (2b)^(2a)

2^2b * a^2b = 2^2a * b^2a

since m,n are distinct and a,b are distinct let n>m, b>a

2^(2(b-a)) * a^2b = b^2a

so since b>a, b must also be even

let b=2c

2^(2(2c-a)) * a^4c = (2c)^2a

2^(2(2c-a)) * a^4c = 2^2a * c^2a

2^(2(2c-a)) = 2^(4c-2a) plug in and divide 2^2a

2^(4c-4a) * a^4c = c^2a (1)

Here either c<a, c>a or c=a

if it's the first two then let c+k=a

2^(4k) * a^(4a+4k) = (a-k)^2a (2)

if k is positive

2^(4k) * a^(4a+4k) > a^2a > (a-k)^2a

breaking equality (2) so c<a is false

if k is negative, remember 2c = b > a with that 2c+2k=2a -> 2k>a, but a is positive, so k is positive.

Thus, c=a (giving only 1 possible solution), plugging into (1) and solving gives

2^(4a-4a) * a^4a = a^2a

a^4a = a^2a

a^2a = 1

a = 1.

so m=2, c = 1, b=2, n=4

2^4 = 4^2

There are probably some mistakes though :P
> Imagine this, an AI able to operate some specific API in a deterministic / reliable way.

It doesn’t seem like LLMs are going to be able to do this, unless the application has a high tolerance for mistakes.
There are multiple indicators that the currently available vaccines probably are three dose vaccines. But time and trials will tell.
Defamation Defenders on No Code Founders
I feel like this happened to every single character in friends. At the start, they all had fairly well-rounded characters. By the end of it
- Ross besomes insufferably pretentious
- Joey gets stupider and sluttier
- Monica gets more compulsivly clean
- Phoebe stops getting plotlines and just says bizarre things

The only character this doesn't seem to happen to is Rachel. She starts out as a naive barbie and she graduly matures into a career woman who makes her own decisions (she's also naive and barbie-ish but it no longer consumes all her lines). Reverse Flanders?
The argument seems to be rather that intuitions for size and subsethood and bijection aren't compatible anymore, which is a reductio argument against assuming that size comparisons make any sense for infinities at all.
If you actually clicked the link before posting it specifies more than just porn.

And porn is the most interesting aspect as it's morality is much more debatable than hate speech, doxing people, etc.
Many years a philadelphian. Provolone and thin sliced ribeye is easy to come by. A good roll is not! I just can't get any good rolls even two hours from Philly

Long live the Carangi Roll!
I don't think this is necessarily the case anymore. The bing implementation of chatgpt has a toggle for how cautious it should be with getting things wrong. I was working on a very niche issue today and asked it what a certain pin was designated for on a control board I am working on. I believe it is actually undocumented and wanted to see what chatgpt would say. And it actually said it didn't know and gave some tips on how I might figure it out. I suppose it is possible that it synthesized that answer from some previous q&a somewhere, but i couldn't find any mention of it online except for in the documentation.
that is only for images in comments. image submissions to subreddits are still ok. A lot of communities have imgur-only rules due to other image hosts having lower retention or invasive UX.
Didn't mean "he current Ukrainian government asserts that the Russians invaded Crimea" was debatable, but that the Ukrainian government asserted the Russians invaded Crimea and that the Russians for quite some time claimed they didn't (and that they didn't know who the LGMs seen in Crimea were.)

But getting back to this gravity thing... sure stuff frequently falls to the ground, but have you ever SEEN gravity itself? [Yes, this is a joke, but your point is well taken, I had a comment a bit ago about how it's hard to take some twitters comments seriously and that they often seem to just spout BS. The good news is that it's not everybody spouting BS, but it often seems like most people are.]
It looks more like the JIT improvements made it profitable to manually unroll some loops in the base64 module: https://github.com/erlang/otp/commit/a03cf1601605dee767cd9d5... IOW, the 4x improvement seems to largely come from a refactor of the base64 module, not from compiler improvements per se.
To be perfectly exact, it is even a thread pool and it is tunable.
I used these for home router + wifi until last week... they were pretty good, low power and low heat / fanless, relatively normal x86 with a BIOS tailored for embedded. I can see they're a bit niche both themselves, and using a niche cpu for the vendor and arm64 wants to eat their lunch. But it was good while it lasted.

I coincidentally replaced mine just before this with 2.5G arm64 based board, also fanless.
Couldn’t have said it better myself.

I also flew the SFO<>SYD leg at least twice (generally 3+) times a year in my last job. Qantas was my preferred airline but never got to fly an A380. I flew it from SFO<>DXB for many years and you can’t beat that shower and leg space..

Let’s make a petition that all airlines start flying A380’s :)
Flash Attention
FWIW, Reddit's new limits are about 3rd party use of their data/APIs. As a regular user, it doesn't really change anything (unless you consume Reddit NSFW content exclusively through a 3rd party app, I guess), so a pretty different case than Imgur's change here, which fundamentally shifts their user-base.
Is it actually clear that license restrictions on the training data really do affect the model itself? I know OpenAI says you’re not supposed to use the output of GPT3/4 to train competing models, but that doesn’t strike me as legally enforceable. Most of the discussions I’ve actually seen where lawyers weigh in seem to argue that training these models is pretty clearly fair use and therefore any copyright restrictions on the training data don’t really affect the output. I suppose we won’t know until a case actually goes to court, but I think it’s kind of silly to preemptively say you can’t use these fine-tuned models commercially because of a probably-not-legally-enforceable restriction on some of the training data.
Launching James Webb was part of the European part of helping with financing James Webb. And of course they picked their own rocket to do so.

Ariane 5 was not picked because its the most reliable. Ariane 5, Delta IV and Atlas 5 all had the necessary certification to launch James Webb.

Falcon 9 and Falcon Heavy also have this level of certification, but of course they got it after James Webb was already assigned.

Your comment is just a fundamental misunderstanding of how launch vehicle selection works and how NASA certification levels work. Please stop with these uninformed comments.
If you sit in the forwardmost section of the cabin far ahead of the engines (possible to do in economy on the A380), the pin-drop silence (by airplane standards) combined with the long and slow takeoff makes the moment of lift totally surreal.

I think the guy next to me panicked because he thought there was engine trouble and we were going to overrun.
Note that the graphs on the taxonomy pages collapse labels outside the top nine under "all others." The incidents aren't literally labelled "other."
Shh, another post on the home page is about them hiring (YC W18), don’t interfere with the business model!
it’s been intermittent this afternoon, my recent builds fixed
From my experience it's a mixed bag. Sometimes it works perfectly. It wrote a simple graphics game in javascript in the first try, from just one prompt. Funny thing, I don't know much about JS or HTML. In another try it failed to create simple python program using opengl. Never managed to point camera at (0,0,0). Had problems with rotations. Did only 2 instead of 3. And so on in spite of me trying to correct. It was complete failure. Another case, python working with text files, did a great job. That was something useful.
gwern had the best early take on gpt-3 and how it was so amazing.

Yudkowsky obviously thought about AI things so much, and he has many interesting ideas and he is the highest status poster on lesswrong dot com, but he admits he is not a great writer and I think not all his ideas are so great. For example I like Paul Christiano's ideas more (https://news.ycombinator.com/item?id=35635345) although I have to credit Yudkowsky bc without such debate I am sure Christiano's ideas wouldn't have been put as clearly or publicly. Here's one of Yudkowsky's own tweets (March 24 2023) where he self-deprecatingly roasts his own bad writing by showing how GPT-4 writes it in a clearer way https://twitter.com/ESYudkowsky/status/1639425421761712129

Slate Star Codex I don't like as much as either one and I don't think it has such new or interesting ideas, sorry it's only my opinion.
This doesn't prove anything, unfortunately. It doesn't even make use of the fact that m,n are integers. If m,n are not restricted to integers, there exists an infinite number of solutions (e.g. m=8.043, n=1.46).

The mistake in your proof is that you considered the shape of the log function while implicitly holding m on the left-hand-side constant (i.e. you should have concluded "for a constant m", there is only 1 n satisfying this equality"). However, since m is variable, you have to consider an infinite number of log functions. If I missed something, let me know.
I kind of don’t know what to make of this - imposter syndrome? They don’t feel they deserve to be heard, or to be creative, or something? They feel guilty for making stuff? They think it’s okay to present a certain level of content quality in one medium, but not another? Is this one of those “I am living with mental illness and this is how it makes me feel” type confessionals? Also what’s with the weird race stuff?
As best I can tell, Reddit's limitations on posting NSFW with Reddit hosting the image or video are implemented client-side, and unevenly across their first-party clients at that.
Egads, why hand-draw a graph like that when there is Desmos?

https://www.desmos.com/calculator/f61mxuqurc [update]

https://www.desmos.com/calculator/aqhcs63r2e [first version]
There are at least a couple companies trying to recreate the GOCE V-LEO concept for earth imaging. Apparently you can take better pictures when you're much closer to the earth.

https://eoi.space/
https://www.dspguide.com/ is a great, general introduction to digital signal processing and includes coverage of the Fourier Transform. I'd recommend checking it out for anyone struggling to grok DSP concepts.

This article seems to have the right intent, but I felt the quality of the writing would need to improve for it to become truly useful for learners.
My apu2d4 on OpenBSD has been running perfectly for a number of years now. Sad to see this wrapping up but it was certainly a fun experience. I given Pascal a big thanks and wish him all the best!
> I very much preferred Borland from my days in Turbo Pascal and Turbo C++

Turbo Pascal was stunning for its time. A fully functional editor and fast compiler operating from a single 5.25 floppy, which occupied one of the two A/B drives on my university's PCs before hard disks were affordable.

But I have to admit OS/2 felt more like the "adult" OS compared with Windows. To be fair Windows had to load on top of DOS, so it didn't have the luxury of using the PC to its full extent. But still.
People love to quote this 4% total budget thing. Like yes we get it, but please stop just repeating that stuff.

Government did much less stuff in 1960s, that was before the Great Society and many other things. 4% total budget in 1960s and 4% in a modern Western state are totally different things.
BoE discovers new use cases for DLT in synchronized settlement
I will admit I stand corrected about not being close: https://twitter.com/_akhaliq/status/1648848468234911754
That sounds awesome. How do you do that?
If that's what they're going for, it might have helped if they'd consulted more competent lawyers and issued a more accurate statement, rather than saying that the AI song represents "a violation of copyright law" (image-quoted in the article).

Taking a brief look at that case, the way AI is being used is distinguished from that case in an important respect. Hedwig, a backup singer for Midler, mimicked a specific song that Midler had made, after Ford couldn't get Midler to perform it for their ad. It seems reasonable that doing that, for profit and for broadcast, would violate Midler's right of publicity, and maybe even the performance copyright on the existing song.
To say that some sets have the same size as some of their proper subsets also doesn't seem "useful", so usefulness is not a very strong argument.
This language reminds me of all the run-to-completion frameworks in the embedded RTOS world.
Not sure how practical it is to find devices that have no concept of a file/filesystem in today’s day and age.
Tagging, upvoting and downvoting users. Vetted power users. Voted on tags. Credentials. Payment for visibility. Chronological threading. AI based moderation.

I think that twitter left a large opening for authority based conversation. Twitter was centered around people and what they said while other forums are generally topic centered.

You could imagine hacker news with an idea of "following" and then a news page that consists first of the people you followed.

I think that the next community that is able to promote authoritative speakers and make invisible the uneducated or low status users will be the next one to be big.

Upvoting/Downvoting makes a community the average of their users. Upvoting and downvoting has no answer for eternal september. https://en.wikipedia.org/wiki/Eternal_September

I think there are probably ways of manipulating visibility that can out perform average.
> In theory, I could imagine an AI which learns the exact type of music you like and generates songs precisely tuned for your brain.

We've tried it with social media (a feed generated and tuned to keep your brain clicking on ads), and the end result seems close enough to an utter disaster (in terms of impacts on society and humans) to try to avoid doing that thing again, in a different space.

Therefore, I'm sure it will happen quickly, and someone will make a lot of money on it. Feedback chambers are clearly profitable.

The interesting parts of being human, though (IMO...), are finding the different things you like. In the musical realm, conversations with other people about music where you have somewhat different tastes, find overlap, and have to be able to describe music in forms they'll understand (I personally prefer doing this without any actual music available to listen to...) is just fun.

As is tossing on something with a lot of randomness in the mix, finding something interesting, and going and exploring their catalog. I'll suggest Unleash the Archers, Northwest Passage, should you be interested in the "metal Canadian folk covers" category.

The smooth drug of AI-generated brain-rut music... sorry. I'll pass.
I mean, some people live in hotels. Or in tents. Or a sidewalk. Or in RVs. The IRS has its own rules on “residence” but that’s usually measured in hundreds of days, but here it’s “any”
Most professional musicians make a living doing live shows, which this doesn't really infringe on.
France has the same GDP per captia of Alabama, but I know where I rather live.
Spain sees the first lung transplant performed by robot
That’s what happens when you deal with companies from the US.
Glade can’t render both GTK3 and GTK4 in the same process and wasn’t actively maintained. Cambalanche was a replacement supporting both.
You are not wrong that compatibility is a factor in the success of the Linux kernel and a huge reason that desktop Linux has never really hit the mainstream.

Flatpak looks like it may partially fix that problem for desktop apps. Certainly, Flatpak makes it more realistic to support a commercial app on Linux.

For gaming, somewhat ironically, the Windows APIs are serving to provide that compatibility role. If I wanted to reach Linux gamers, I think I would write a Windows game that was properly tested for good compatibility and performance on Proton. Not only can I probably effectively reach more Linux desktops that way today but my game will probably still run well a couple of years from now whereas a “native” Linux binary will probably have broken by then.
This strikes me as being at least as big a deal as the NSFW bit.

For 10+ years, imgur has been many people's go-to way of hosting an image they want to post to a forum or whatever. Many of those people will have paid little attention to whether or not they were logged into imgur when they posted each image. In short, it sounds like a lot of image links are about to break.
because not everyone wants the most reliable car.
Some people want a fast car
Some people want an electric car
Some people want an american car
Some people want a car that not everyone else has

etc
How are you defining "in the matrix" such that it applies for the past couple thousand years of recorded human history?

That seems rather at odds with how I would define it, "The computers create a customized compelling reality for each person to keep them from considering anything interesting."
> If you have a chair as your property, it doesn't magically become public property in N years, it's yours forever.

Copyright lasts 70 years past the death of the author. I assure you, you will not own that chair after you die.

Your heirs may own the chair, but inheritance itself is also a legal construct. No will, and the decision is made by the probate court. No heirs? Then your chair does go to the state. Or maybe it gets left on the street to be taken by any member of the public who sees it and happens to want it.

Intellectual property in the end is really not that different from any other kind of property. Like any form of property, it's a social construct that exists because people think and act like it exists, and because the resources of the state are used to ensure that any dissenters are suppressed and/or punished.

Ultimately, the reason that your chair sits in your living room, rather than in your better-armed or more muscular neighbor's fireplace, is the same reason that you can't sell bootleg copies of the latest Disney movie on Amazon: the voluntary observation and enforcement of the law by human beings.
This story seems like weak beer indeed. It's not like she was firing hundreds of people over Zoom, reneging on paying severance, or any of the other examples of recent CEO misbehavior.
I am managing a project where we chose Postgres in Azure to replace our on premises Oracle.
Restarting Ariane 5 at this point would be more expensive then getting Ariane 6 out.

Going for the Ariane 5 ME was the alternative plan many countries wanted, rather then the Ariane 6.

Don't hold your breath for Ariane 7 anytime soon.
The market is not the only possible judge here.

Anyway, I didn’t say anything about objectivity. Of course “reasonable” is subjective.

But if we have some basic values, we can make objective judgements about what furthers those values and what doesn’t.

For example, we could decide that it’s not conducive to an equitable society to allow single individuals to make and keep billions of dollars on some small number of trades.

And in fact, that was the case for decades before Reagan cut the highest marginal tax rate from 70% to 28%, which directly led to staggering inequality today.

Modifying what the original commenter said, there’s something fundamentally wrong with profiting massively on speculation with food.
I'm the CTO at Seer Medical, we make a wearable EEG device that's designed to be worn for ~10 days, including during sleep.

Totally agree that the electronics is not the difficult part (battery management, and power consumption aside). Our most loved features are the industrial design and materials science around our electrodes and ways of attaching them to the scalp.