skysight-inc/HackerNews huggingface dataset:
For example if a car is waiting at a stop sign, or getting out of a driveway, and I have priority, I always check if the driver is looking at me. If not, he possibly didn’t see me and might go while I pass.

It happens that drivers only check for any large moving object (because they expect cars) and don’t notice a cyclist.

Basically any time a car has to wait for me to pass, and I don’t have much distance to react if it doesn’t, I make sure the driver has seen me.
Then remove the parts that offend your modern sensibilities and focus on the essence.

He was right. Scientists were focusing on the "science-y" bits and completely missed the elephant in the room, that the thing a toddler already masters are the monster challenge for AI right now, before we even get into "meaning of life" type stuff.
That only works if people, actual users, actively choose to listen to filler.

If they do, what is the issue?
Even if the AI produces a pearl, it is going to drown it in shit. Because it is an automated operation.

No new AI content generation advance has so far escaped being used for the equivalent of SEO spamming, long-tail flooding the market to mislead consumers and lazy “passive income” bullshit.

No AI content generation advance ever will; it’s not like industry is going to hold back and say: not this one, guys. It’s too good. We’re going to let it have three years in a custom built home studio to make its magnum opus.
I wonder, if a C library is working (i.e. is not formally proven to be not having problems, but works in most ways) why shouldn't we translate it using rust unsafe? I would say there is a value in it as rust lacks of libraries generally. And this would not be different from using a dll/so that was written in c and can be unsafe in some circumstances after all
ARM has unilaterally cancelled both the Nuvia architecture license agreement (ALA) and the Qualcomm ALA.

Because all Arm ALAs are secret, we do not know if Arm has any right to do such a unilateral cancellation.

It is likely that the ALAs cannot be cancelled without a good reason, like breech of contract, so the cancellation of the Qualcomm ALA must be invalid now, after the trial.

The conflict between Arm and Qualcomm has started because the Qualcomm ALA, which Qualcomm says that it is applicable for any Qualcomm products, specifies much lower royalties than the Nuvia ALA.

This is absolutely normal, because Qualcomm sells a huge number of CPUs for which it has to pay royalties, while Nuvia would have sold a negligible number of CPUs, if any.

Arm receives a much greater revenue based on the Qualcomm ALA than what they would have received from Nuvia.

Therefore the real reason of the conflict is that Qualcomm has stopped using CPU cores designed by Arm, so Arm no longer receives any royalty from Qualcomm from licensing cores, and those royalties would have been higher than the royalties specified by the ALA for Qualcomm-designed cores.

When Arm has given an architectural license to Nuvia, they did not expect that the cores designed by Nuvia could compete with Arm-designed cores. Nuvia being bought by Quacomm has changed that, and Arm attempts now to crush any competition for its own cores.
>What is YT premium and why would you pay money to use YT?

To me, it's a matter of principle that evolved over the years. I grew suspicious of free services. So, I pay for what I use, at least, in the terms that the provider lays out. I pay for my domain, I pay for my email, and I pay for YouTube as well, as I use it heavily. I still think that the subscription cost absolutely doesn't compensate for my usage, there is just no way in hell. But I do really like the service, and so, I would like to contribute, so I like that I can have this subscription relationship with it. I also like to express my opinion with my wallet: "I don't like being sold to advertisers, I would rather pay directly". I think youtube is fair for offering this alternative, I wish more providers did.
there are artists that are famous without "filling up concert halls", or even having that much of a scale of an audience. success doesn't have to be this frankly obsolete and obtusely singular idea of it. for a lot of music and artists that were brought up and got popular on the internet, and for the people who listen to them, this "concert fame" is completely irrelevant. i bet that it's almost inverse for a certain kind of listener who either just doesn't go to concerts, or can't, and/or simply enjoy listening music in their own manner of comfort.
very well, I already changed this and I'm working on more changes
you can see the part you talked about already updated
https://owlears.com

many thanks!
> The homeownership rate for 26-year-old Gen Zers is 30%, below 31% for millennials at 26, 32.5% of Gen Xers at 26, and 35.6% of boomers at 26.

Unless you're specifically 26 years old, I suppose? This analysis seems far from scientific and cherry picks data in strange ways.
Three web views for Common Lisp: build cross platform GUIs with Electron, WebUI
Deploying in production, the current agentic systems do not really work well. Workflow automation does. The reason is very native to LLMs, but also incredibly basic. Every agentic system starts with planning and reasoning module, where an LLM evaluates the task given and plans about how to accomplish that task, before moving on to next steps.

When an agent is given a task, they inevitably come up with different plans on different tries due to inherent nature of LLMs. Most companies like this step to be predictable, and they end up removing it from the system and doing it manually. Thus turning it into a workflow automation vs an agentic system. I think this is what people actually mean when they want to deploy agents in production. LLMs are great at automation*, not great at problem solving. Examples I have seen - customer support (you want predictability), lead mining, marketing copy generation, code flows and architecture, product specs generation, etc.

The next leap for AI systems is going to be whether they can solve challenging problems at companies - being the experts vs the doing the task they are assigned. They should really be called agents, not the current ones.
It also includes 256kbps AAC audio (vs 128kbps for free users).
Hey mdrzn, thanks for the feedback! do you have any suggestion? In order to have a preview it requires to generate the image (and pay for the GPU time). If you are interested in having some examples with your logo write me on X @LorenRD
No, browsers did not have native support for video before the <video> tag.

Late 90s:

Netscape and IE, the main browsers at that time had generic plugin support through <object> and <embed>. What this did was load a plugin if it was indeed installed in your browser.

There were various video plugins available at various moments, e.g. Quicktime (.mov), LiveVideo (.avi), some Java and ActiveX... From the IE3.0 beta press release here [0] (1996) you can see mentioned some of the support for those things.

Again, you had to have the plugin which may not have been available for specific browsers or OSs. An additional problem is you needed to have an appropriate codec.

Early 00s:

Around ~2002 Flash started supporting video with FLV files. This still meant requiring the flash plugin but by that time it was fairly common. When YouTube started in 2005 it played through Flash.

HTML5:

HTML5 was released publicly ~2008 but didn't become a W3C recommendation until ~2014. Discussion on <video> started ~2006-7 but actual support still needed a few years more.

[0] https://news.microsoft.com/1996/05/29/microsoft-internet-exp... (search for "video")
Imo that's BS, because hair loss happens due to hair miniaturization and impact on miniaturization is not discussed in this article at all. Iow completely bald areas will likely stay bald and that's the problem that no medicine can tackle.
Zig isn't 1.0 and has zero backcompat guarantees. It's also barely used anywhere and hasn't proven its value, even if parts of it may seem promising
Technical debt is all those decisions you make that are not the optimal way of doing things. Eventually I seen entire companies screech into a halt because the code couldn't be reasoned about, things were too fragile so any change caused something else to break, and/or performance was so bad that tjry were bleeding money.

It's all debt. It's time debt. You gotta pay with time for every thing you gotta build, tech debt adds in more time you always gotta pay every time you do things.
I'm not really sure how the behavioural addiction here is harming the person. You're talking about an external harm with the behavioural addiction being symptom treatment due to feeling trapped.
Harder to do with one of those glassy skyscrapers. the ugliest and probably the deadliest for birds kind
> Our Apple signing/notarization is not entirely done yet, thus you have to run the following command once to run the application

This is unclear to me, what does “not entirely done” mean in this context? Has the process been started and they are waiting for Apple?
The brain has developed, through evolution, very specific and organized structures that allow us to learn language and reading skills. If you have a genetic defect that causes those structures to be faulty or missing, you will have severe developmental problems.

That seems like a decent example of pretraining through evolution.
Aren't those solutions to problems as well?

Find the best questions to ask. Find the best hypothesis to suggest.
> other than as myth, parable, metaphor, or ghost story.

Yes, it started as metaphor which caught on enough to be used as the name for a phenomenon/choice that does exist beyond myth.
i like octopus' style too

but i called them to sign up, and they told me my house was two apartments. it isn't. it never has been. and when i asked them to update their data, the operator said that isn't something she can do.

i would be a customer otherwise. sigh.
Its the deception. They dont call it "Spotify Easy Listening" and have a store brand the consumer can easily identify, the same song has 50 names and 50 artists, and its in Spotify's financial interest to keep doing that.
8 years is certainly more than average, although expats not learning German is common enough to be something of a meme.

Anki works. I learned German using Anki. I recommend reading texts and making a card whenever you come across a new word.

That said, the most valuable thing is just to integrate German into your life. If your use of German is limited to Anki decks, then you'll have to keep using Anki for the rest of your life just to remain fluent. I doubt you want that.

Instead, think about the things you like to do. Try to use German when doing those things. Try to make German friends and converse with them in German. If you like to read books, try to read books in German. Try to make German something that has real value for your life.
Great list of books on music and mathematics. It's an endlessly fascinating subject that appeals to the intellect and the heart. I remember years ago, reading Godfried Toussaint's paper, "The Euclidean Algorithm Generates Traditional Musical Rhythms". http://cgm.cs.mcgill.ca/~godfried/publications/banff-extende... (PDF)

Following the trail, I was glad to find he wrote a whole book, The Geometry of Musical Rhythm, where the article forms the basis of a chapter. It's one of my favorite books I keep returning to re-read different parts.

I hadn't seen "Exploring Musical Spaces", looking forward to reading it.

Dmitri Tymoczko's book is wonderful too, A Geometry of Music: Harmony and Counterpoint in the Extended Common Practice. Rich with ideas and insights, I like how he tells the history and development of Western music theory.

Oh I just learned from the author's website that he has a new book released.

> I have just finished a second book, Tonality: An Owner's Manual, that proposes a new, hierarchical, and geometrical model of musical stucture.

> One interesting outgrowth is the musical programming language arca. This line of thinking has also led me to contemplate a third book about category theory and music.

https://dmitri.mycpanel.princeton.edu/index.html

---

This video of your live performance setup as a one-man band. Amazing.

https://www.youtube.com/shorts/S82hsEDY8Pc
Well, ideally I would like the OS solving this problem by simply chrooting/sandboxing apps to their own little worlds, with a proper API giving them optionally a way to the user's file system, similarly to android and iOS.
Then how would you exchange it with real money? There are few things that accept cryptographic coins as currency.
> Killing endangered species is illegal. It does not matter If is "just one" or "just a few" eagles.

Great logic! Let's ban skyscrapers and any windows that do not pass through UV. Use one in your house? Illegal.
Model predictive control on open-source wheeled-biped robots
Also the argument that people don’t deserve good quality music because they ‘don’t care’ is breathtakingly cynical.

Why shouldn’t people be exposed to good music? Maybe they’ll get into it.

Does that slop mentality extend to other things? Food, clothes, consumer goods? Do people deserve rubbish just because it’s not something they’re particularly interested in?
Provided that China actually knew about it; this is what Putin would like us to believe but I doubt it as there is absolutely no benefit for them.
But they do! The (sort of) analogous second medium is gravity. You can “sail upwind” with a solar sail by angling it to reduce your orbital velocity.
It might be possible for a language model to paint a photorealistic picture though.
This is further complicated by how Spotify actually divvies up payments.

If they did it proportionally per subscriber you’d suddenly find money being distributed in a much fairer way.

Instead they divvy it up on a global aggregate basis so even if I were to pay the subscription and just listen to indie artists, my money goes towards pop megastars and artificial slop.
Honestly, I’d like the UK to go heavily in favour of data mining. I think a lot of copyright holders are just trying a money grab because AI is a rapidly growing industry
Like I said, a self driving car isn't ever going to be efficient as a bus. The bus can literally do the same thing as a car, but better.
Have enabled access to more folks! let us know if the tool is helping you using /feedback!
Hi there !

It's simple - personal data are better version of "copyright data" so both should be used only after agreement.

Most likely with one time or perpetual payment(s) and contract renegotiation and cancelation rights.

It's realy such simple.

Thing like femous actor or actress wanting to sell rights to face. And "small plain people" faces are not worth paing ? Then no right to use it.

And same with every single word, finger moving or public apparence.

Edit:

Read some Gibson.
It wasn't always like this. When Spotify was launched the desktop app was one of the best pieces of software I'd ever used. It launched quickly and songs played without buffering which was unheard of at the time. It was the work of largely one developer, Ludvig Strigeus who was also the author of the original uTorrent client (which was also used to be fantastic). As a software developer I'm biased but I think this ultra smooth experience was a large contributor to Spotify's initial growth.
Arguably, generating verified C from a low-level focused subset of F* (Low*, used in the HACL project) is close enough to count as a "similar tool".
I think you are conflating how models are used by services like Spotify with what they can do. I run some models locally. These are going to become more powerful.

Your confident prediction of the future limitations of models sounds like what the chess and go masters said.
That doesn't make any extra money, internet visits are more valuable.
No, wrong way around. Competent people get promoted, until they end up in a position they are not competent in.
We’re on a public discussion forum.

Always telling to see people bring these elaborate details to the forefront instead of simply stating where they stand if it’s about Jewish life.
This is so strange. people think that an llm trained on programming questions and docs can do mundane tasks like this means intelligent? Come on.

It really calls into question two things.

1. You don't know what you're talking about about.

2. You have a perverse incentive to believe this such that you will preach it to others and elevate some job salary range or stock.

Either way, not a good look.
> The LLMs are now writing their own algorithms to answer questions

Writing a python script, because it can't do math or any form of more complex reasoning is not what I would call "own algorithm". It's at most application of existing ones/calling APIs.
Such an excellent paper.
But the biggest fallacy in this PR stunt is that outrageous "we don't know, nothing to see here":

Windmill company ESI Energy LLC, guilty of killing 150 bald and golden eagles in 8 USA states [1][2]

[1] https://www.nbcnews.com/news/us-news/wind-energy-company-ple...

[2] https://www.justice.gov/usao-edca/pr/esi-energy-llc-wholly-o...

> Use one in your house? Illegal

I'm curious, how much bald eagles crashed against your house windows lately?
I have a few playlists on Spotify. I never had it add any track to it. Been using it for years.

Does it actually happen?
This guy thoughts it's a good idea to buy the worst drug imagineable on the internet and then take it to the point to get addicted and destroy their body. It's not their fault because they weren't an adult yet?

From media it looks like you can buy fentanyl in any major American city just around the corner. Why not stop this? Why not fight the actual problem?
Officially financial data. Unofficially every textbook and science paper ever published. Email me if you're interested.
Argentina chooses US investor to spur nuclear-powered AI dream
It can also very convincingly explain a non-solution pointing to either real or hallucinated docs.
Is Rust formally verified? Not that I know of
One man’s household garbage is a future man’s degree in archeology…
generating tricks is itself a trick that relies on an enormous bag of tricks we inherited through evolution by the process of natural selection.

the new tricks don't just pop into our heads even though it seems that way. nobody ever woke up and devised a new trick in a completely new field without spending years learning about that field or something adjacent to it. even the new ideas tend to be an old idea from a different field applied to a new field. tricks stand on the shoulders of giants.
> An honest title would be "Compiling a subset of F* to partially Safe Rust, Partially Formalized"

Sadly that is the name of the game in conference publishing. Make a big claim in the title and hope the reviewer does not read the fine print.

> If I may translate from the language of academia. "We present beautiful rules in figure 4. But in reality, our implementation relies on a large number of hacks."

Er, this I can understand. Every conference paper only presents you with a simplified view of the contributions. There is no way to describe every corner case within the page limits of a conference paper (specifically, I bet this was submitted to POPL 2025).
Thread the other day https://news.ycombinator.com/item?id=42463123
It's unfair in that allowing multiple instances of the same song will almost surely lead to that song receiving more plays than it otherwise would due to how recommendation algorithms work.

I don't think this is the most egregious act of dishonesty in the article, though. I think Spotify deliberately seeding this music into its playlists is a worse abuse of its position as owner of the marketplace.
This is the actual problem, and something that should be properly regulated.

I would hope that the money I paid, after the Spotify cut, went to the artists/labels that own the music I actually listen to, proportionally.

The fact that it goes to some Taylor Swift or Lady Gaga annoys me more than Spotify adding their own slop to slop playlists.
While it's true that the UK doesn't have nodal electricity pricing per unit of energy (and Ofgem, the regulator, agrees that this would have benefits[0]) I'm not sure we'd be in much of a different position if we had.

We haven't seen particularly rapidly growing demand as energy efficiency improvements and the closure of heavy industry has offset the general increase in energy intensity which happens over time as economies grow.

It's also not like there is no locational signal in the current system - the costs which large generators and large consumers pay to use the transmission network do depend in part on where they are connected and how much of the peak network capacity need they are responsible for (so called "triad charges").

There are also significant revenue incentives for building embedded (ie distribution-connected) generation.

Ultimately it's hard to avoid the fact that we closed down old reliable coal and gas generation without having the right replacements in place. Governments of all political stripes didn't want to take decisions (eg on new nuclear especially but also things like pumped storage hydro) because it was easier to pretend these changes were cost free.

0. https://www.ofgem.gov.uk/publications/assessment-locational-...
2014 was not bad because it was not an essential priority of any kind.

Way before Flash, most people had Windows and HTML comes with hyperlinks.

These go way back.

Decades ago, the Windows Media Video (.wmv) file extension was "associated" by default with Windows Media Player (WMP), the built-in Microsoft media player.

So you double-click on a WMV file, then it automatically opens WMP and plays your media according to the settings you have in WMP.

You could also associate other types of media files with WMP, so those type files would also launch the player. But WMP would only play the formats for which you have installed the proper codecs. WMV format file support was just naturally included for everybody with Windows.

OTOH you could install an additional media player like VLC and associate different file extensions with either player as you would like. So you weren't actually stuck with WMV that bad, if you had the codecs. And VLC had a lot of different codecs included, still does.

And still today, with something like Legacy WMP, new Microsoft MP, or VLC set to open when you double-click on one of your MP4 files for instance, there is naturally no browser needed. But if a link on a web page is single-clicked when it points to a similar MP4 which is posted on the internet, it will work too. Won't play in the browser of course without embedding and stuff, it'll just play the normal way, popping up in its separate media player window. Alternatively, you could just right-click and download the MP4 and play it later, this was common for those who did not have the bandwidth to smoothly play it as it streamed in, like on dial-up.

Flash arose as a low-performance alternative, intentionally compromising the animation or motion picture to use less bandwidth without being too ugly when played at the same rate the data comes in over dial-up.

With the <video> tag a media file will still only play if the correct codec is handling it as the data makes its way to your monitor & speakers. Different browsers and OS's will not behave identically, somewhat analogous to the regular old way, where end users had a variety of players and codecs all over the ball park which would not all do the exact same thing in response to a particular media hyperlink.
This is a great approach if an encyclopedia represents a very large proof about the world, but is that what it is?