skysight-inc/HackerNews huggingface dataset:
On-call trouble tickets mean something unexpected and out of the ordinary happened. If it happens repeatedly that points to a problem that needs a permanent fix, not automation to handle it.
Well, it's not a secret, no? I mean, if you use Spotify with big holes in non-mainstream music and only the latest butchering known as "remaster" of your favourite albums, you definitely don't care much about music.

Which is why you'll never see me get off the comfy "local only" train, buying CDs and sailing the high seas with my skull & crossbones flag if needed.
If I'd want to crash a party I'd totally play Ornette Coleman.
Keeping pure the genetics of the botanical species that bring us the domestic apple would be more clear. The ancestor here refers to the whole species, not to the individuals.

Many fruits currently are either hybrids or were genetically modified with genes from other organisms. This genetic contamination can't be undone easily, and sometimes came with undesirable consequences.
Why? STEM education is exploding around the world, demand should be spiking.
Can you ever be a philosopher—a lover of wisdom—without loving those you have learned that wisdom from?
The questions is really are the other platforms doing the exact same thing? You have to use playlists generated by other users. Any playlists or radio generated by the platform is obviously going to direct you to the music the platform wants you to listen to.
Chaos and Cycberculture, Timothy Leary, 1994.

An astounding book.
The JSON files still contain images, just not in a regular image format.
You have a 2D array of numbers where each number maps to a color.
If you really want a regular picture format, you can easily convert the arrays.
I have a different Synology model (added extra RAM because it serves as an *arr server at the same time), and while I'm a big proponent of FOSS I must say that the 'peace of mind' section in this article really hits the mark. Hacking things together yourself is great, but when it comes to 20+ years of your digital data, I'd rather be safe. Also, encryption on and Synology QuickConnect (or whatever its Tailscale variant is called) off as a default.
I don't recommend resolving actions on the server in any situation:

For actions that require secret information, you would filter the actions sent to the client of any secret information and make sure the code handling the action can handle both the action and the filtered actins.

For actions involving RNG, make all randomness rely on a seed. This seed would be stored server-side and passed along the action when sent to the client. This makes sure the clients can deterministically reproduce the update.
But how do you know it's given you the correct answer? Just because the code appears to work it doesn't mean it's correct.
Which one? I've done a couple there. don't think any got recorded though
Is there a reason this behaviour couldn’t be implemented in uv?

Is this beyond what the pyproject.toml spec supports?
There should be also a factor about resource consumption. See here: https://lorenzopieri.com/pgii/
Kontract: Simplifying Smart Contract Deployment with Kubernetes
> MarkItDown operates entirely within your browser. Your files are processed directly in your browser, and no files are uploaded to our servers or stored by us. This ensures your data remains secure, and the conversion is completed safely and privately.

This is a blatant lie, by simply pressing F12, going to the Network tab, and entering in a URI into the WebPage section and pressing Enter.

POST https://markitdown.pro/api/markitdown
-----------------------------238398091440825138514056309576
Content-Disposition: form-data; name="url"

https://wnd.sh
-----------------------------238398091440825138514056309576--

I understand that cross-site fetching might not work in this case, but please do not blatantly lie in your FAQ page. It makes me (and others) trust you infinitely less.
Contrary to many I hope this stays expensive.
We are already struggling with AI curated info bubbles and psy-ops as it is.

State actors like Russia, US and Israel will probably be fast to adopt this for information control, but I really don’t want to live in a world where the average scammer has access to this tech.
I had a 1983 Osborne Executive “luggable” computer gathering dust in my garage about ten years ago. It worked but I had no use for it. I put it on eBay and Craigslist expecting a collector to buy it. Instead a guy in my city bought it. He ran a construction company and used an old Osborne to run part of the business, wanted a spare just in case.
I thought Whatsapp and signal share the same encryption
OP is just claiming that there exists juristrictions where his claim holds. IANALE (I am not a lawyer EVERYWHERE), so I can't really say that he's wrong. But you seem quite certain. Why?
It doesn't. It seems to send a POST request to an API endpoint to do the processing (in direct contradiction with their FAQ section)
Wouldn't the Taylor Swifts of the world get more money at the same rate, due to being streamed more?

The unknown upstart's stuff is not being searched for and played. Is that not already the lower rate that they accept? Does the revenue also have to be lower from those few plays they got?
It's okay, I also uploaded an NDA in a previous prompt :-)
Google ads unofficial API for AI agents
It's all scam. ClosedAI trained on the data they were tested on, so no, nothing here is impressive.
I fear the (negative) impact of our current technological drugs goes beyond the impact of traditional drugs.

I’ve seen kids not even 3-4 years old already hooked to smartphone screens. Even toddlers around 1 year old with an smartphone mount in their stroller.

Main impact on kids is lack of socialization, lack of emotional regulation and a complete impact on their capabilities to keep their attention. Those used to be indicators for a future failed adulthood.

I remember traditional drugs only becoming present around 14-16 years old. Alcohol was probably the most prevalent, and probably the most dangerous. Followed by Cannabis, tobacco and some recreational drugs like MDMA.

Most of those drugs had a component that actually pushed kids heavily towards socialization and forming peer groups. Now looking back to the results of that drug consumption I would say that most of the individuals engaging on them were able to regulate and continue to what it seems to be a very normal adult life. Obviously tobacco with terrible potential future health effects, but beyond that, everyone I know turned up pretty healthy. Not only that, I remember some time later that the most experimental group (mdma, LSD, mushrooms) of drug users being full of people with Master Degrees and PhDs.

The new technological drugs scare me way more than the old traditional ones. Obviously it is a normal response of the known va unknown. Time will tell.
> don't think I've seen this approach before but I do it for any app that doesn't seem like a security problem when out of date

Besides security:

There are apps that don't like you lagging behind with updating, like whatsapp and epocrates. Since whatsapp needs internet, there is no way around it. Old versions of Epocrates could be isolated from internet for the offline content, but they fixed that this year, and you can't download the databases with an older version.
Jazz, apparently.
I have never regretted learning a new language. If you perceive the effort as bother or a waste of time then you should probably stick with downloading packages someone else wrote.
Not true in the UK: https://www.bbc.co.uk/news/articles/cy94vz4zd7zo
What’s the mistake?

EDIT: got it, hardons
This is very good! I love the creativity in the visualizations. Do you have any plans for Android?
Sure, if they agree on a common interface (API) and open it to everyone. This way they would turn streaming services into commodity.

I don't see that happening though.
You can easily make a sharp/tactical repertoire of sound openings. As black you can play the Najdorf and King's Indian Defense. As white - open sicilian, winawer french, advance caro kann, be3/qd2/f3/o-o-o stuff against modern/pirc, bd3 bd2 o-o-o against scandi. e4e5 is the toughest nut to crack, but the evan's gambit is generally sound - Kasparov even beat Anand with it. Against the petroff you can play Nc3+o-o-o stuff.

That should just about cover everything!

But yeah, one thing you have to do to really start improving alot is to always assume your opponent will play the best move. Hope chess is how you ruin your own position!
This is also how I use it, but I am not even sure exactly how one would use it any other way. The whole UI is organized around “Your Library” which is a list of artists you like.
Like this one in Jurassic Park? https://youtu.be/URVS4H7vrdU Funnily enough, the slow rendering is kind of a plot device here.
Polyamory is just a nice way to try people and cheat as you want. It's a cool way to say casual sex.

It's like using those insult word, except with a new word, and then a thing that was immoral then becomes cool.

My experience: started a poly thing, after about 3 months she closed her couple and went monogamous again.

It's like arguing "we don't need to wear clothes" except there are sociological, historical reasons that we wear clothes, it's not about being progressive or not.
> They can't go beyond the boundaries of their training set.

TFA says they just did. That's what the ARC-AGI benchmark was supposed to test.
And they were right. But we would watch TV usually together and only for around 4-5 hours a day. Do you know how much screen time are people having ? 8 to 10 hours are not uncommon. And alone.
Record labels, particularly indie ones are a great way to curate and discover particular music.

I’ve discovered a ton of great stuff I never would have otherwise come across by looking at what a record label I’m familiar with is releasing.
But how do I know if my hand-written jq query is the correct solution? Just because the query appears to work it doesn't mean it's correct.
I enjoyed reading this article.

I picked up a copy of half-life for £10 at a car-boot sale shortly after release. Perhaps the best purchase I ever made at one.

It was actually a legit copy. I'm not sure why they sold it so cheap, perhaps it was someone not realising the gem that they had. I hadn't heard of half-life until I bought it, I didn't keep up with gaming magazines. It wasn't flying off the shelves yet.

I didn't have a PC that could run it very well, I think I averaged single-digit frames per second.

But it still felt like a revelation in gaming.

It completely changed my relationship with PC games. Games before half-life felt so mechanical in comparison. Get the keycard. Get to the portal.

It also nudged me into playing multi-player games. Something I'd never tried to do before. Fast forward a few years and I lost countless hours in the worlds of TFC, DoD, FLF, NS, and of course counter-strike, although it was a very long time before I properly enjoyed CS compared to those other mods, mostly on account of having a PC that couldn't get a smooth frame-rate and trying to game on a dial-up modem.

The wider world of half-life really shaped me. Not the lore, but the ecosystem of fan-sites, IRC channels, mod communities, etc.
If you look at animals, they can walk in hours, not much time needed after being born. It takes us a longer time because we are born rather undeveloped to get the head out of the birth canal.

A more high level example, sea sickness is a evolutionary pre-learned thing, your body things it's poisoned and it automatically wants to empty your stomach.
If the average user is alright with consuming whatever Spotify puts on the app frontpage, I fail to see what the issue is.

They are being given what they are promised.
You've outlined the steps but not named the process outright : This is basically establishing a dominant platform and then abusing the dominant position that comes with it.
Well said. I remember making a spreadsheet in maybe 1995 laying out the math to compare the real costs and expected gains from buying vs. renting.

It mathed out about even. I decided to go with renting instead of buying, with the logic that the S&P didn’t need me to buy it a new roof every 15 years or to work in its garden every weekend.

It worked nicely too, growing the money that would otherwise have gone into mortgages and property tax, letting me take some of it out recently and buy a house with cash.

I don’t see much of this attitude in my younger friends now. But living cheap and saving does actually work.
It can explain its solution. Point to relevant docs as well.
Learn what I need to be productive in a new job:

GraphQL

Some AWS concepts

Go

I feel like learning what will make me fast right now at work is a good investment.
I'm not a Spotify user, but people are really wild about it. The process is deceptive as Spotify has tried to hide this and pretend they serve music from "real" artists. It's enshitification. It used to be better, now Spotify is trying to squeeze out as much profit as possible.
I just asked myself “What would EMI do?”
Come up with features no one asked for to justify their salaries. Seems to be rather common in product-driven tech businesses.
Is this comment voted down because of sentiment / polarity?

Regardless the critical aspect is valid, AGI would be something like Cortana from Halo.
TikTok might be more additive for the average teen
Honestly, that part of the story seemed completely unbelievable. I mean I get that someone might stare such a photo in the cloud, but hackers are really going to run a scam on him and then sift through photos thinking “maybe?”
As a millennial this is just great.

The more i read about GenZ’rs and their attitude to work and life the more i like this generation.

Yes, people should be expected to handle themselves appropriately. Getting black-out wasted with alcohol is not cool. It’s just unhealthy. Way to go!
> I really don’t want to live in a world where the average scammer has access to this tech.

Reality check: local open source models are more than capable of information control, generating propaganda, and scamming you. The cat's been out of the bag for a while now, and increased reasoning ability doesn't dramatically increase the weaponizability of this tech, I think.
That is fine. You could carve out 1 hour a week worktime for learning with permission, and be happy with that. You can learn alot in an hour if it is not a huge new thing. For example concurrency in the language you know rather than learn Rust from scratch.
All I know about Spotify is their embedded player, that gets added to music articles, has been designed to nag you.

A popover will randomly cover the controls with a signup banner so that you can’t play the next song without saying no.

It’s a subtle tell but when you see even a small dark pattern you know the company behind it has no moral compass.

Have nothing to do with them.
Waymo cannot handle poor weather at all, average human can.

Being able to perform better than humans in specific constrained problem space is how every automation system has been developed.

While self driving systems are impressive, they don’t drive with anywhere close to skills of the average driver
2 hours a day at ONE school.
ironically many of the greats nowaday patch the suck post release,so forever can be day one
> now Spotify is trying to squeeze out as much profit as possible.

Not the worst idea for a business that has lost money every year for 20 years:

https://www.macrotrends.net/stocks/charts/SPOT/spotify-techn...
Even if you assume that non STEM grads are dumb, isn't there a good probability of having a STEM graduate among 10 random humans?
> Doesn't seem any different to me than when Netflix started making original content, or as others have said, Target having their own in-house brands that they stock alongside everything else. It's just good business sense. If the product is bad, people will stop using Spotify, and Spotify will stop doing it.

And yet it is different, because of the production scale involved. Own brands are actually hard work, especially own brand food, which has to be reverse-engineered at some expense. Own brand food provides price discrimination and usually does not particularly impact the sales of the headline brands.

Netflix’s own content, presumably, pays a large number of creative people’s wages and is of a quality. It is often scratching a creative itch that major studios won’t risk.

Music and music tech, on the other hand, is such that if your audience doesn’t care, it’s quite easy to churn out songs —- one person who particularly hated human culture could write half a dozen fully produced songs in a day.

> If Spotify does this, and a majority of people do not care, do not notice, and keep using Spotify until label-owned music is totally irrelevant, I think it would be more interesting if the musicians who are put out of work by this consider why their high quality music lost out to such mass produced "garbage"...

I do wish this particularly nihilistic new form of argument was considered to be toxic itself.

But to answer the point: many outstanding, culturally significant musicians have small fan bases for their personal work. They know they do. That is in the nature of diverse culture. They rely on complex chains of discovery systems —- word of mouth, eclectic radio, old style auteur playlists, live gigs, to find their people, and they often support that by writing songs for major musicians who love their work and who want to do one song they wrote.

It is not their failure at all if the system that is supposed to deliver some of that discovery starts cynically acting against them. While every musician wants a hit and many will dedicate at least some time in their lives to exploring what is necessary to write a hig record, “You should have had more mass market appeal” is not universal creative guidance.

It is not that listeners have no choice in music services. Musicians have no choice but to engage with Spotify. If it is secretly working against all musicians simultaneously at the most basic level —- drowning them out with slop that is deliberately inserted into playlists to water down everyone’s incomes —- then how is it you are more interested in the way musicians are somehow failing, when nothing they do can stop it?

Honestly I am terrified for culture that so many people in the tech world seem to be so aggressively jealous of creativity that they are taking the "anti-anti-slop" stance (to borrow a phrase from politics used for the "yeah well all this criticism validates the choice I am not in any way saying I am making" argument).
The attack wasn't targeting the encryption part of whatsapp (afaik).

Encryption is important but it often is not the weakest link in the security chain.
I get that is what they are doing, I still don’t see the problem. Hopefully they will gradually cut out the record labels entirely, and pay the artists the full cut directly that is currently going mostly to the record label.

People can listen to whatever they want- artists that are not being listened to aren’t being stolen from if the money is instead going to other artists that are being listened to. If people don’t care who the artist is but like what they hear, that seems great.
I think of evolution as unassisted learning where agents compete with the each other for limited resources. Over time they get better and better at surviving by passing on genes. It never ends of course.
No I think we're just tired and depressed as a species... Existing systems work to a degree but aren't living up to their potential of increasing happiness according to technological capabilities.
If I have a playlist and I get Spotify to add to it, I expect it to add things that people who like the things that I like also like. I do not expect it to add whatever is most profitable for Spotify. Especially since I pay for the service.
Once in a long while I encounter a Wikipedia article that's been edited to promote something (or whitewash somebody), and then I go and root out the edits. It's not an overwhelming problem. I'll agree about writing style, though. It's like one of those collaborative artworks, people adding small pieces everywhere, no composition. Overhauling an article so it reads well is an onerous task.
> the company behind it has no moral compass.

The people behind it. Companies have no sense of morality, everything you see was conceived and implemented by individual people.
Why would slop be the only outcome?
It's a quote from the 80s from the original author (who is a man...)...

Thank you for virtue signalling, though.
Plagiarized without attribution from the official docs at MDN.

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guid...
In 2002, a group of researchers presented a paper on Cyclone, a safe dialect of C [1]. While (manually) porting code from C to Cyclone, they found safety bugs in the C code.

These kinds of manual or automated conversation from C to <safer language> therefore have potential not only for increasing adoption of safer languages but also for uncovering existing bugs.

[1] https://www.researchgate.net/profile/James-Cheney-2/publicat...
Broadcast Radios (FM and AM) did a much better job. Their music was real and each station was more or less an algorithm.

There were ads, but as you mention, people don't seem to care much.

The quality check was the non personalized streams cathered to please its audience and competition among stations. So, the solution is to kill targeted algorithms and monopolies, ha.
Oh, this has so so many more caveats! It's borderline false advertising.

First of all they never translated any C! At all. Zero lines.

They took code written in F* and modified its C compiler to emit Rust. They never had to deal with any actual C code of any complexity, aside from the most trivial code that might theoretically be emitted by a toy compiler (but wasn't even that!). They just pretended they were dealing with C (or a heavily restricted Mini-C).

Even if we accept this, there are plenty of arbitrary restrictions on the C it can even support in principle:

> If the original C program further relies on x, our translation will error out, and will ask the
programmer to fix their source code.

That's saying you want C to already be written in a style that makes the Rust borrow checker happy! They're avoiding the actual hard parts of the problem.

> These rules present simplified versions of what we support. Our implementation features several
peephole optimizations ...

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."

But it gets worse!

> For overlap cases that can be distinguished statically (as above), we emit a compile-time error; otherwise, the Rust code will panic at runtime.

The resulting code is not guaranteed to be correct! For example, aliasing in C can cause crashes in the resulting Rust code. See comment at the top of page 10. We're going from a formally verified C program to a "It may crash now" Rust program!? That's nuts!

> We apply our methodology to existing formally verified C codebases, namely, the HACL* cryptographic
library ...

This is such a blatant lie that I had to return to it. It's designed to catch an unwary reviewer. We often talk about HACL being in verified C because it gets compiled to that. But it's not a C library, it's written in a totally different language. You cannot confuse the two.

I'm not a reviewer for their paper. But if I was, I would strongly fight for rejection.

The fact that they only handle formally verified C is so astronomically far away from being their main problem.

An honest title would be "Compiling a subset of F* to partially Safe Rust, Partially Formalized"