skysight-inc/HackerNews huggingface dataset:
An in-order dual-issue with >Cortex-A510 performance (60% more than Cortex-A53), 2.5x better performance density than a Cortex-A53, RVA22+V+Zvk and VLEN=128. That sounds pretty good.
This is a pretty popular hypothesis.

In fact, the Oscar nominated movie Arrival is based entirely on this idea.
Heck Steve Jobs himself was known to own the Sony Ericsson P800 (Symbian UIQ) long before the iPhone was developed
I guess it's just random stops or some checkpoints are more stringent than others.
Not the poster you're replying to, but I acquire music the same ways as them.

a1) on my computer, in folders. I manage it using iTunes/Music, but could just as well use anything else, or do it manually. I also have Serato for DJing, which imports my iTunes/Music library xml to share the same collection.

a2) to be fair, in the past year, I've gotten lazy and started streaming from the band camp app for more recent purchases. I'm not DJing much these days.

b) I buy phones with a lot of storage and don't upgrade very often
I've been using Personext as a template for my blog for a while now. I like how simple and minimal it looks. It took me a short time to fork the project and revise it to my liking.
We are not talking about immigrants, we are talking about foreign entities, as in not immigrated to the US. The Chinese communist party and the owners of bytedance have not immigrated to the US.

I don't get the point if the mental gymnastics here. We both know of an active threat to americans by a foreign entity. Companies are not people and being able to create and operate a company is not a protected right. Matter of fact, regulating interstate commerce is an explicit right of the government.

For example, you can't transport alcohol across state lines. The government doesn't need a good reason for that regulation, it's their constitutional right.

In this case, simply reciprocating china's bans on US companies would have done the trick.

Honestly, the US government should move to ban all trade with China within a decade or so.

As for bytedance, the government is not claiming chinese immigrants can't own it, they are claiming that the China based owners of bytedance have to sell their stake in the company since any company in China is under the influence of the MSS as evidenced by many examples, the boyusec/apt3 example I mentioned being one.
That's not quite right. If they do reach 1000 plays they will be compensated for the first 1000 plays (which is like $4 dollars), and all streams thereafter.

What would you change about contract legislation to prevent this?
Apple Is Rebooting Its Search for a New Next Big Thing
author has already responded saying they wrote it then fed it through GPT because they're not native English speaker.

So they were right on the money.
They really need to start the y axis at 0 in those graphs - it's somewhat misleading how low some of the latency bars appear.
> it's like if I said I was going to "disrupt the supermarket industry" by giving away free food

Please don't give investors any ideas...
Apartheid has been a thing there for a long time but now with so many people in Israel, still a minority but a very active one, openly advocating for ethnic cleansing my opinion of Israel has gone to trash. I have lost all respect.

The irony of this is that the primary driver of the holocaust was lebensraum and it was surviving the holocaust which drove the founding of Israel. Now lebensraum is a wildly active movement within Israel with 6, as of now, illegal planned and funded settlements in Gaza with still more illegal settlements growing in the West Bank.

https://en.m.wikipedia.org/wiki/Lebensraum

If that isn’t bitter enough the justification for such actions is playing victim. It’s a perverted distortion of concepts like never again.
>Has anyone else noticed that? I find the use of words like "akin" and "perplexing" to be fairly good hints, as well as things like using ";" for punctuation (which is very rarely used in normal online speech).

I use "akin" relatively frequently, and "perplexing" ocassionally, as well as other such "rare" (?) words. Is english vocabulary beyond the top-1000 most common words or anything above 2 syllables considered a sign of AI these days?

If anything marks it as AI, it's the overall tone and phrasing (too "mechanistic"), not the use of ";", "akin" or "perplexing".
Elon Musk challenges Brazilian judge over order to block X accounts
And maybe it wasn't removed by their choice. Below is a video of someone who had all their Spotify music removed with no recourse, due to a claim the were buying streams. No recourse.

https://www.youtube.com/watch?v=kVY7-Ti77UQ
The problem was the UI on the Japanese smartphones was completely unusable. Just how to go back to the previous menu differed between the different functions. I was there, I migrated my mother-in-law from her “galakei” to an iPhone. She went from barely even being able to take a picture (there was a dialog after each photo asking where to save it!! Wtf) to instant messaging and playing Pokémon Go.
BTW, congrats on the funding ;-)
> as well as things like using ";" for punctuation (which is very rarely used in normal online speech)

For many of us our "normal online speech" is largely identical to our normal written speech except when writing somewhere where we either are not using a normal sized physical keyboard or where posts need to be severely limited in length.
I really enjoyed: https://www.jordanmechner.com/en/books/journals/
And Satoshi was able to mine/buy plenty of newer bitcoins back in the early days.

The decision to erase the keys from those known wallets and make sure they never make a transaction would boost the value of their remaining coins.
That actually was very interesting for me, living in Spain, how extremely common mistakes were in data entry, generally.
If anyone hands you a form to check your details, you can almost guarantee to find some issue. I've never noticed this living in any other country yet.
The focus on _latency_ is a recent thing. VTE was previously focused on throughput and low CPU usage, which are conflicting goals.
Show HN: AI-Driven Relaxation Music and Sleep Management Music
ntroducing AI Harmony Feast, a groundbreaking platform where AI innovation meets the art of relaxation and sleep management. For the first time, experience sleep music tailored specifically to your needs, using advanced AI to craft personalized soundscapes that promote deep relaxation and restorative sleep. AI Harmony Feast is not just about listening to music; it's about experiencing a bespoke auditory journey that enhances your sleep quality and relaxation.
> I don't think you're under any obligation, I just think that not discussing prior art is a bad look.

See [0] where our reliance on Dijkstra is transparent.

> I don't see anything new about the application of these well-known ideas either. Especially nothing that could explain why Xr0 would be widely used, while Frama-C is extremely niche.

Begin with the fact that Xr0 is written in C and feels like C. We're building it so that C programmers will be able to use it without explicitly learning about formal verification.

> Proving (the correctness of code) is an inherently mathematical task. So if by "mathematician" you mean someone who does mathematics, then all of your users will be mathematicians.

Absolutely true. But what I mean by "mathematician" is a self-conscious mathematician, or at least someone with a background in formal mathematics.

(Edit: forgot to add link.)

[0]: https://xr0.dev/dijkstra-paradox
> The following color spaces offer access to larger gamuts than sRGB. The display-p3 color space offers almost twice as many colors as RGB, while Rec2020 offers almost twice as many as display-p3. That's a lot of colors!

Are there any stats on how many people have devices that support these color spaces? Guessing you're not going to get a lot of brands picking p3 colors until it's widely supported by devices in general usage?
Thank you. I don't understand why Spotify licenses all this rock and rap music when I'm only interested in pop music. So ridiculous. Why can't they just exclude all the stuff I don't care about?
The Browser Bruter – First Ever Browser based web application fuzzing tool
College is a great option to continue learning and be in the most social environment. Lots of positive energy on campuses, lots of freedom to explore and discover, lots of others feeling the same as you do, lots of opportunity for interaction with other people. You're experience and perspectives will give you a leg up on making the most of it. Entrepreneurship is big on campuses too
The original text is fine. No need to manicure it via gpt. Who are you trying to please?
I can't imagine a construction where people arguing at max volume or having a loud party at 2am would be insulated for their immediate neighbors. Apartment construction materials vary by state too FYI.
Franework probably is ok if you can buy it. From their site: " If you are purchasing Framework products from a EU country outside of that list, you can still place an order shipping to one of the EU countries on the list, but you will be responsible for organizing and paying for any logistics and shipping to the final country in the EU"

So actually I'm wrong, you can buy it, just fly over to Germany and pick it up yourself!

Does anyone know what's up with this? Why are they so actively trying to prevent people from buying their stuff?
These disappearing tracks are the reason I moved back to managing my own music collection.

I do have YouTube Music for listening to stuff I don't own yet, but primarily I use Jellyfin these days for music.
> As humans, two or more of us can reason our way to a conclusion without domain knowledge

That sounds like step-by-step thinking?

> With an LLM I have to prompt engineer to guide it.

I generally have to in humans, too. I mean, you and I are prompting each other, aren't we?

For me the difference between prompting a human and prompting an AI is that I can reset the AI, I can't make a human forget a previous analogy that had only confused them. (And likewise, I don't expect that I fully forget bad analogies which confuse me, though I do try).

> They work great as knowledge bases though.

IMO, that's their weakest part. We had knowledge bases before — where each claim can be easily localised within the model, corrected when it needs to be, verified in advance, and which give predictable output — LLMs are none of those things.

LLMs are much better at understanding the question (constant time for a fixed-length output, even when the query is phrased badly and relatively complex), and being able to synthesise things in the form of "${x} won't work, try ${y}".
It’s not even obvious today.

The strongest argument the creationists use when trying to push back against evolution, which actually works, is basically “do you really think your great grandfather was a monkey?”.

It takes incredible leaps of imagination to accept that different species had common ancestors and evolved from very different looking species.

Even if you do buy evolution it takes many leaps of imagination to propose and accept that not only do reptiles have a common ancestor with each other, and birds have a common ancestor and fish, etc. but all of them also evolved from a common ancestor.

And finally even after you accept that, while it wouldn’t take as much of a leap of imagination, it would definitely require fighting millennia of cultural and religious indoctrination to accept the idea that humans were also subject to the same processes as other animals.
Spotify does not allow you to self publish. However, you can pay a distributer like DistroKid an annual fee in order to upload to the platform (and all other majors).
This comment didn't age well :)
I use Spotify because my SO wants it for podcasts and stuff and family subscription is just tad more, and it's in my car and similar which is convenient.

I also buy the music I listen to a fair bit on Bandcamp or at concerts.

As an example, last fall a song from a band came up in the randomized post-album "radio" on Spotify as I was driving, and I added the band to my favorites. A month ago Spotify notified me the band was playing in town, so I went and ended up buying several CDs, including from the warmup band as well.

That said, I agree that Spotify should pay more to small artists. I really dislike that my money goes to Talor Swift and similar artists who have more than enough and that neither I nor my SO listen to.
I think there are some patterns though.

For low-latency work more sleep = better. There's no real advantage to pushing long hours. You can sleep and make quick progress when fresh.

For high-latency work that "should" be low-latency (ie you are on the end of a 1 hour pipeline that in an ideal world would be much faster) there can be significant advantages to just pushing more hours. This is a depressingly large % of enterprise work. Basically doing low brain stuff (which is most dev work) but trying to get feedback from the end of a long ci pipeline. I'm not sure this is true "in principle" but my observation is that after you hit baseline competence the people who make the most forward progress in this kind of dysfunctional scenario are the people who just spin the pipeline more and put in more hours.

For writing / proper design / activities where there might be no real safety net and feedback cycle might be years, definitely do that in the morning after good sleep.
Learning moment. Thanks for the clarification.
Interestingly... I've never encountered the first scenario as a justification. I know it must exist, as I've read people describe it.

Every time I've been in a group where nosql was desired, it was because they saw it at a conference, or watched a youtube video, or read some blog extolling nosql virtues, and... yeah - that second option. They'd either never actually used nosql, or didn't realize what they were getting into, possibly because even if they'd used it, the larger architecture had SQL in it someplace, just outside what they could see.
You are spot on.
I was just having the same argument with the recent news....
Thinking this is old news
Studying Large Language Model Generalization with Influence Functions
Samsung SPH-i300, 7 years before iphone 1, and iphone 1 didn't even have apps.

I loved that thing. Audibl.com player app, 3rd party apps to integrate phone dialer and contacts db, internet... 14.4k internet but internet! email, browser, ssh and irc clients, even a vnc client, thousands of random apps for every little thing like today, color grid icon home screen, touch screen, sdcard, in 2000 or 2001.
> Has anyone else noticed that?

No, and I think you're gifted with good pattern recognition!

Now models could be trained adversarially against this GPTZero and you'd have a harder time..
Lets combat marriage fraud by making it a kafkaesque ordeal to get married in the first place.

Big brain move, how many innocent couples get caught in the net, versus how many fraudsters can you realistically catch (organized crime has figured out how to game the bureaucracy, no doubt).
And nothing is wrong about that in my opinion. As long as the point they are making is cogent, better use of English is just better for the whole environment.

Also, I use akin and perplexing quite often in my text. The semicolon much more rarely however. But when I write professional text, then yes, I use semicolons too.
A 2-Axis, Multihead Light Positioner
More saliently than that, Palm started out as a vendor of Newton apps, before it started making its own Newton-killer hardware.

Palm's Graffiti started out as an alternate text input system for the Newton. It was an Apple software vendor long before it was an Apple rival, and its design is influenced by the Newton more proximally than the Mac.
From the examples, I can only fully appreciate the marriage part. When a foreigner wants to get married in germany, they need to prove they aren't married in their home country yet. Getting these documents can be a huge hassle or even impossible. This made a few international couples I know go to denmark to get married.

Any process around immigration seems pretty awful, just based on the overwhelmed and (often) unhelpful offices (based on reports from the former friends again).

On the other hand, buying and registering a car was quite easy and possible online, besides picking up the car at least. (With some caveats though. Wanting an electric license plate at the time needed me to go by in person to show them the certificate of the car.)
It's not "unsupported". That's just not true.
I suppose you could "just" run tmux and have more or less the same results (opened tabs with history, but won't survive a reboot) ?
> Public services _are_ invariably inefficient

The NHS used to be very efficient, when it was managed largely by clinical staff. Now it has as many professional managers as clinical staff, and they all have to be paid...

Also an awful lot of the NHS fuctionality is now farmed-out to private healthcare companies, who need their rake-off.

As far as "professional managers" is concerned, these guys are mostly NHS managers, not the kind of managers that could easily transfer into a private company. Their expertise is in some obscure corner of the NHS.
You can avoid this kind of moment by telling the LLM to write in a certain less formal style rather than using its “default voice”.
Personally I'd prefer your own words with GPT tasked to just correct grammar instead of rephrasing it. The GPT-generated rephrasing sounds very off to me due to the formality it introduced in your tone, it flourishes the comment to sound "proper" in a formal tone but completely misses the informal aspect of a comments' section.

I'm not a native speaker either, sometimes I re-read some of my own comments and realise I could have phrased them much better, corrected some grammar but I prefer that they sound like me.
Yes! The binaries and gui-easy are both great!

And I just love how easy it is to do everything in Racket. Creating an executable, adding a package, including a module, even spinning up a new file and putting it in SICP compatibility mode - all of these things require 0 memory or reference with a manual because they're so straightforward. Everything is very nicely designed.
Ah yes, you're right. I'm still not that settled in on the rules... :-D
CLI text processing with GNU Coreutils
Local Chat with Ollama and Cody
My question is thus more on the on-disk data, you mention VM being terminated, does that data is wipped too and new VM starts on a brand new disk?
15 years ago. It was big news then.
Germany has always had a rocky relationship with USA software....
Remember when Lotus.... software could not be exported from the USA because the encryption was considered a weapon of mass destruction?

https://www.reuters.com/article/idUSL6E8F276E/
>I don’t know much about how music licensing works. But would this cause smaller musicians to decide to pull their stuff off Spotify?

It might, but then there's this:

(1) they're not making money already anyway (they'd be getting like $3 for 1000 streams before)

(2) that's were the listeners are (not the listeners they have, since they don't have many to begin with, but the ones they wish to attract)

(3) most of such a low number as 1000 streams are usually themselves, band members, friends, and family, plus whoever they sent a link to and gave it a short listen before moving on.
It's not who, but what. I just want to be presise. I found the improved comment to be better than my original text, and closer to how I would've formulated myself in my native language.
I use "akin"; I use semicolons; I find your take perplexing, insulting, and depressing. That remains true despite the commenter actually using LLM to polish the language.
A lot leaning on “more or less”.
Hello!

I am pleased to announce a new version of my "CLI text processing with GNU Coreutils" ebook. This ebook will help you learn 20+ specialized text processing commands. Major changes in this version were adding 100+ exercises and updating features for 9.1 coreutils package.

Links:

* Web version: https://learnbyexample.github.io/cli_text_processing_coreuti...

* Markdown source, exercise solutions, etc: https://github.com/learnbyexample/cli_text_processing_coreut...

* Interactive TUI app: https://github.com/learnbyexample/TUI-apps/tree/main/CLI-Exe... (includes some coreutils exercises)

I would highly appreciate it if you'd let me know how you felt about this book. It could be anything from a simple thank you, pointing out a typo, mistakes in code snippets, which aspects of the book worked for you (or didn't!) and so on. Reader feedback is essential and especially so for self-published authors.

Happy learning :)
I would be interested in the 14 days free trial too, but either put it on the website for everyone or remove any mentions to it.
I wonder if is there a monetary reason to be on youtube (music)?

I listen to most music on yt music (although their client sucks) and buy stuff on bandcamp whenever i love some band and it's available there. I've never seen a value in spotify - limited library with no ability to fill the gaps with custom files (like you can do on YT music), client is meh, additional cost or ads are meh too.
In the US, there is a path for PhD holders, to my knowledge, it's called EB-2.
Huh, the devs really weren't lying, Alacritty really got better on the latency front. I started using it for supposed better security than Xterm, but at the time I think it was quite a lot worse on latency, but the throughput was way better.
Why do you think that this happens multiple times every day? Do you have any sources, or are you just making things up?
The tests are a bit involved and manual for specificity. E.g. yhe standard product scan for PFxx/C8 just checks for organic fluorine compounds which so happens are a constituent of bones.
So you need specific tests for each PFxx compound like LC/MS.

The brominated compounds are a bit easier to detect as bromine is rare and rather bad in general. However again non-specific, and these have shorter lifetime in blood, so unless you're exposed to huge amounts all the time, it will be hard to catch without LC/MS again.

Microplastics are probably funny,.since they require chonky blood sample and repeated fractionation in a centrifuge at the moment. Cheap, but labor intensive at the moment.
However automatable.
Palm 5x with OmniSky modem!

I can't count how many useless WAP development conferences my company sent me to.