skysight-inc/HackerNews huggingface dataset:
It should be obvious by now that it has been years, if ever, that Satya Nadella has opened the box on a brand-new Windows machine and used it for any length of time.

Back in Detroit's "Malaise Era", all of the executives received company cars that had first gone through the workshop to correct defects. The executives had no way to personally experience the problems that regular customers saw and felt; even worse was that they only experienced a product that had been worked over and prepped - leading them to think that their product was better than it really was.

MS (and probably even Apple) is heading for disaster, and their cloud revenue is probably going to mask it until it is too late.
`never` is a problematic field type, at least unless you make efforts (via non-exported symbols, for instance) to make sure the field is inaccessible - `never` is the type of a value that doesn't exist; it's there in the type system to signify an impossible scenario. For instance, a common use-case is to mark the type of a variable after type narrowing has exhausted every possible case.

If you assert that your id's actually do have a never-typed field, and you let your program access it, you're basically letting users enter an impossible state freely and easily.
People had coins way back in the Roman Empire, ancient China, etc. People were used to the idea of precious metal having value, the first step of paper money was somebody issuing a certificate that could be traded in for metals.
I definitely don't agree with everything he says, but I really appreciate the clarity and creativity in his thinking (in talks with Lex Fridman, Jordan Harbinger, Joe Rogan, Dwarkesh Patel).
Theres a lot less money in music. The current spend on tv/film couldnt be justified by just a single streaming service.
Wasn't cold fusion on the front page news worldwide within a short timeframe?
(In Europe.)

Aircraft fuel isn't taxed, but train 'fuel' (electric or diesel) is taxed.

Airlines can base their staff in a cheap country and pay lower wages, avoid unions etc.

Local governments subsidise airports to attract tourists/business. The railway already exists and doesn't get this subsidy.
I’ve found TypeScript errors can be made a lot easier to understand with some forethought about how invalid types are defined in the first place. For instance, a many-branched conditional type may be much easier to understand (both as a library user and as a reviewer/maintainer of the library code itself) if each `never` (or whatever actual failure case) is instead a string literal describing the nature of the failure. And better still if it can be templated with an aspect of the input type to highlight what aspect of it triggered the error.
It wasn't irrational at the time as it was much harder to harnest parallelism then.
How long till farm machinery starts to refuse to work with farm machinery of a different brand?

Ie. the harvester refuses to harvest a crop because it detects the crop wasn't planted by a planter of the same brand?

And equipment becomes not sold, but licensed on the basis of how many square acres it will plant/spray/harvest before the license needs renewing.
>It seems like the only answer we have is for a user to flag that GPT-4+Web flubbed the Gilligan test OpenAI dispatches a data contractor for RLHF whack-a-mole + synthetic data generation, GPT learns to Google answers to Gilligan's Island prompts, then we cross our fingers and hope transformers are smart enough to transfer that knowledge to the Sanford and Son benchmark.

Or maybe... let me run this up the flagpole and see if anyone salutes it... maybe we accept that LLMs have fundamental architectural limitations and can't do certain things like "math" or "anything requiring an awareness of context or factual accuracy" and don't use them for everything?

So like instead of that, which wouldn't even work because search engines have already been polluted by AI generated garbage so they would just be eating their own shit, we have search engines that actually work again, and people just look that stuff up? And LLMs get relegated to whatever niche they're actually useful in, rather than the current plan of rebuilding our entire technological society on top of them as soon as possible because money?
> Remember, this was about your point that wealthy people build their wealth by suppressing education in the general populace.

No.

> Wealth inequality and the state of democracy are digressions from that point.

Yes.
Use a solid state relay with esphome.

https://en.wikipedia.org/wiki/Solid-state_relay
Spotify has financial incentive to obfuscate their UI to tilt people toward mindlessly consuming playlists. This is because labels pay Spotify to put certain songs on large playlists, and Spotify knows playlists are a good habit to push onto their users.

Radio was used to discover new music decades ago, but paying a radio station (directly) to play a song is illegal (payola), so DJs had to break new songs, styles, and have a wide array of music offered (within the theme of the station).

Spotify now has the ability to engage in a legal version of "digital" payola, so their handcrafted group of artists by major labels are peppered into their hundreds of in-house playlists, disguising this business practice as a wide array of music selection.

This is detrimental to music discovery, because discovering a song is a lot less meaningful than discovering a new album and consuming the project as a whole and appreciating its composition.

So you're discovering new music, but none of it is memorable, because listening to music in 2024 (for a lot of people) is often a wall of slightly groovy background noise, with the occasional standout track that you probably toss into your own personal playlist.

How I fixed this:

1. Disable the 'autoplay' feature

2. Don't use playlists and listen to albums (except for when I'm in a pinch or hosting a party)

3. Intentionally discover a new genre every few months and go down a rabbit hole. My current new genre is South African Amapiano. Excellent stuff.

4. Discover music across different genres and time periods using RateYourMusic.
This applies to individual titles, but the not the service as a whole. The streamers are all losing money as seen in their earnings reports.
I’m not convinced that we stop finding new music, we just become less zealous or outward about it as we get older. When I was young, I was all about talking music, having the right DJ list for roadtrips, etc, etc and now? I just hit play and don’t think too much about it. Probably because it’s harder to attend shows, less relevant to my social life, etc. I’ve also found as I’ve gotten older that I just care less about the specifics of what the song or artist is. I’ll anchor to a song I really like and then let Apple’s infinite play loop take it from there.
The average American family is responsible for something like 50 tons per year. The carbon of one family for a decade is nothing compared to the benefits. The carbon of 1000 families for a decade is also approximately nothing compared to the benefits. It's just not relevant in the scheme of our economy.

There aren't that many base models, and finetunes take very little energy to perform.
I can't buy an argument about there being too many options. If there were a lot of options, and you liked a lot of them, you could just randomly sample new albums, or listen to whatever Spotify told you to listen to, and there would be no problem finding new music. I suspect the issue is there's a lot of music out there and none of it sounds like what you want.

Note that this isn't saying music today is bad, it's got nothing to do with that.

At a certain point, changing trends in music cause it to drift too far from your internal model (developed in youth) for what a song should be, and it becomes hard to take, decreasing returns with increasing effort, and you say "fuck it, I'll just listen to what I already like for the rest of my life".
Nice! I'm also building an online IDE [1] and was working on adding Chat feature for a while. The problem of making adjustments to an existing component is much more difficult than generating a new one from scratch.

Also, the tokenization for raw HTML code produces too many tokens which drives up the cost. Optimizing the tokenization process for HTML could potentially reduce costs and enhance performance.

[1] https://divmagic.com/studio
To stay fair, their "17B" model sits at 964GB on your disk and the 70B Llama 3 model sits at 141GB. unquantized GB numbers for both
They do, but it doesn't apply to the funny dance app.
I would guess there's a strong correlation with trait openness to someones ability to integrate new music into their collection. IDK if its a lot, but I listened to 90 genres in 2023. I do find myself frequently liking music that is about 10 years old, but I think that's a function of discovering it, not of a willingness to try new sounds on for taste.
do you need readonly with never?
Drivers fault 100%.

But Tesla is not blameless with their marketing "Autopilot", "Full self driving", blah blah, giving people a false sense of security. I can't think of a worse problem to try and solve with AI. GPT hallucinates and gives a wrong fact. No biggie, but annoying. Tesla FSD hallucinates and runs over a child, a biggie.
> and I don't think it's a moral failing that I don't listen to the latest stuff all the time

I’ve personally enjoyed going the other way and exploring earlier and earlier singers and genres.

Quite fun.

For those interested, there’s also "Excavated Shellac"[0]. I can’t say I’ve liked or even enjoyed most of it, but it’s been an intriguing and interesting discovery nonetheless.

[0]: https://excavatedshellac.com/2020/12/13/excavated-shellac-an...
I'm still finding new music (look at my account creation date if you want an indication what my real world age is).

Go crate digging or something, I don't know what the secret formula is.

Spotify's robot dj just plays the same stuff over and over without much of a discovery component to it.
Jackson was VERY vocal about his disapproval for the Marshall Supreme Court.

The obligations imposed by the ruling within Worcester v. Georgia was that states (specifically Georgia) could not enact and enforce regulations on Reservations and Native American land because of pre-existing treaties. It was never claimed that the quote is about what decisions were made with regards to Jackson; it was about what decisions were made for Georgia, and that Jackson had no intent to enforce them.

Jackson was very much complacent to Georgia's continued intent to regulate, and later remove, Native Americans from their designated land.
I believe that the intended rule is that the difference between terms is equal to the first digit of the earlier term.
Hilarious.

Yeah people like me who have been buying the same food for the last ten years just happened to buy new items at the same time inflation started.
I recently learned that there are consumer grade heat pumps that can use geothermal by trenching a backyard or drilling some really deep wells. It didn't seem like the actual heat pumps were stupid expensive but of course the installation I have no idea how much something like that would cost. The install page I was reading said the trenches needed to be 6 feet deep and unknown how wide
I still mourn the loss of Rdio. It was far and away better than any other option. It's such a bummer it lost out to Spotify.
Other than the opportunity for a misplaced pun on the term “spiral”, why would you take an otherwise linear-in-time graph and make it radial? Why would age 0 to 50 be somehow cyclical?
I've got a rather wonky way of doing this. https://github.com/kristopolous/music-explorer

I've been building systems to find new music for 18 years or so. This latest one I've been using since early 2020.

It's really for just me so sorry if the documentation is a little scattered. I'm certainly doing some minor ToS violations all over the place with this thing so I don't want it to get too popular but I'll be happy to clean up the documentation if there's interest
>which is illegal in the US

How is the model supposed to know what country it is in?
I like to go through my Liked songs list that's probably 10+ years old on Spotify and it's basically like a journal of my life.

I'll see months where I clearly started dating a new person, incorporated their new-to-me music into my playlists, then when I start to see Lord Huron etc I'm probably going through another breakup. Then glowing up which for me is usually a metal/hardcore/rap 3-6 months in the gym until I meet someone and cycle again. lol.

My Spotify Remix in 2020 was pretty much all depression music.
Miracle-WM tiling wm hits 0.2.0, and explaining X, Mir and Wayland
Is the IDE a primary input for building the program? Is the IDE a build dependency? Probably not. Certainly not based on the situation you described.

The LLM equivalent here would be programmatically generating synthetic input or cleaning input for training. You don't need the tools used to generate or clean the data in order to train the model, and thus they can be propriety in the context of an open source model, so long as the source for the model is open (the training data).
> If you ask most senior citizens or simply most users of computing devices to explain what they think about "background services"

Have you personally asked them? I think you'd be surprised. The #1 end user smartphone concern is around battery life, and end users, across all ages and technical sophistication are at least vaguely aware that their phones "do things" that they can't visibly see and that it's often what drains their batteries. Senior citizens aren't fools. They might not know the technical details of what exactly is happening on their phones, but they are absolutely aware of battery-draining things going on unseen in the background.

And even if they weren't aware--that doesn't address my main point: The end user should ultimately be in control of their device's function, not the app developer. If there is a conflict between what the end user wants to do and what the developer wants to limit them to, the end user should win.
I've worked for two, both inside and outside Israel, and both were very successful. The same thing happened both times.

1. Foreign Jewish VCs pumped money into it, gave the founders plenty of autonomy.

2. The internal network of the founders to other successful Jews was gigantic. Even if they're unimpressive themselves.

Essentially easy access to capital + domestic and international network that can facilitate success. It's a nationalized version of YC.
In the real world projects tend to have staff with a range of skill levels, and deadlines. This isn’t just in “sweatshops”. Being a skilled engineer means understanding these constraints and choosing tools that help your team succeed, even if you could flex and do everything yourself, maybe even better.

But if you’re equating TW with something like the bootstraps of yore, you’re misunderstanding it.
And how many JPmorgan employees fall into that category?
That's true. But note that these dwellings are also illegal in China, just that rule of law in China is not as strong as it is in America.

Anyways, American moral standards prevent us from just giving people window less rooms to live in, it has to be $100k/tiny home that will last only a few years, or something else crazy like that.
What is the threat? In the article he says, "The facts and the Constitution are on our side and we expect to prevail again."
It doesn't seem like the article makes much of a distinction between newly released music and music that you haven't listened to yet. Personally, as I get older I've lost the ability to listen to the same Led Zeppelin, Pink Floyd etc albums for the 100th time. I cringe every time I hear the opening of Don't Stop Believing. So I've kept trying to get deeper into prog and other genres lately as I'm just burnt out on the old (good) stuff.
Grats on the release! It will be awesome to see how far y'all can push codegen quality from an OpenAPI source of truth.

I worked on this extensively inside Azure and I know it is not an easy problem (and with more JSON Schema coming in 3.1/4.0, it is only getting harder). There are a lot of API patterns that you want to expose purpose built client abstractions for. Pagination is a big example. If you stick to OpenAPI, you have to ensure your specs use the patterns your client generator recognizes, and it's not always trivial for authors to know how to express that pattern and for your codegen to infer that pattern. In Azure we tended to rely more on custom extensions to OpenAPI because it made the contract a lot clearer and less error prone, but then you lose interoperability.

One thing to consider - I work on TypeSpec[1], and one of the main reasons we built it is to allow encapsulation and reuse of patterns in a first-class way. So, rather than the contract being "endpoints which declare parameters and/or return types with these shapes are inferred to be paginated endpoints", the contract can be "use Page<T>" and the emitted OpenAPI conforms to the contract without effort. It would be fun to see a Stainless TypeSpec library for all the patterns your codegen supports!

1: https://typespec.io
I don't work in the field so I'm probably just repeating something Hinton already said, but it seems to me like attempting to model things in reality that have graph-like structures (like interacting pairs of residues in a 3d protein structure) using sequences with finite context lengths is ultimately going to be less efficient than modelling graphs. My guess is this work is roughly describing that I think of: https://www.cis.upenn.edu/~mkearns/papers/barbados/jordan-tu...

it could also be I completely misunderstand context in sequential models and what I'm describing is already being used, or has been evaluated and has been unsuccessful.
Awesome stuff, looks very cool. I liked their focus on reducing hallucinations, that stuff is often overlooked by people rushing into building AI proof of concepts.
No more refunds after 100 hours: Steam closes Early Access playtime loophole
Articles that appear to be negative on Tesla or Elon Musk usually get flagged to oblivion.
> Now we are spoiled for choice but are yet still made to feel ashamed if we are not consuming the newest and discarding the oldest. As

Actually I've found Gen-z's to have surprisingly wide listening patterns. As a few datapoints I was surprised that my friend's teenager could actually name several Nirvana songs, knew who the Smashing pumpkins were, and also the Talking Heads. (all rose and fell from fame before her birth)
lyrics in a language you don't speak are much less distracting

(every now and then I get tempted to translate whatever word I think I keep hearing in every song; it often turns out to be either "love" or "heart")
I have to wonder how much of this is societal expectations as you age? or "Being an adult".

The idea that once you reach a certain age, you settle down, get into a routine, doing less new things, etc.

While yeah, a music streaming service could introduce you to new music. Maybe you will just find yourself in less situations where you will experience new music?

Listening to a new song on your phone is a drastically different experience to overhearing it while traveling, with friends, whatever.

I know I have a number of songs that bring up an emotional response due to certain events tied to them. And some of them are genres I would not have normally found myself listening too.
The difference is scale.

Airbnb isn't trying to revolutionize home ownership. They can have a successful business even if 99% of homeowners have no interest in renting out their place to strangers.

But when Musk talks about robotaxi, he doesn't describe it as a feature that some small percentage of Tesla owner will take advantage of and that Tesla will use to pull in some extra revenue. Instead, it's used as a justification to treat Tesla as a tech company rather than a car company, since robotaxi is going to completely change how society looks at transportation.

Even if Tesla successfully delivers robotaxi (a hard task in itself), there's no reason to assume it's going to cause the seismic shift that Musk seems to assume it will.
> An LLM should represent a reasonable middle of the political bell curve where Antifa is on the far left and Alt-Right is on the far right. That is what I meant by a neutral observer.

This is a bad idea.

Equating extremist views with those seeking to defend human rights blurs the ethical reality of the situation. Adopting a centrist position without critical thought obscures the truth since not all viewpoints are equally valid or deserve equal consideration.

We must critically evaluate the merits of each position (anti-fascists and fascists are very different positions indeed) rather than blindly placing them on equal footing, especially as history has shown the consequences of false equivalence perpetuate injustice.
Some moderate level of inflation is a pretty basic economic principle. Too much and you cause some problems but none or negative and you see a whole host of other issues.

That's like saying the fact the first couple payments on a loan are almost all interest because of a conspiracy among politically active bankers, when in actuality it's because that's how math works.
> adhering to liskov substitution principles

what does this even mean?

> And has 10x less LoC than ts

Prolly b/c Flow isn't able to express the advanced types (albeit with 10x LoC) in the first place.
There's a great episode of the Ongoing History of New Music on this topic

What A Drag It Is Getting Old (Musically)

https://podcasts.apple.com/ca/podcast/what-a-drag-it-is-gett...

"Ah…there it was again: an example of how someone’s musical tastes evolve with age… it’s just something that happens with most people… most of take that as a given…not me, though…this is something that’s always fascinated me…there has to be some science behind why we listen to different types and styles of music as we go through life… So I tracked down this science and I have some answers…we’ll call this episode “what a drag it is getting old—musically”…"
No easy way to upgrade server...client and server must run in the same machine (no way to use multiple devices)...not possible to run offline...standard user management + security thrown out of the window
If we needed a special Typescript runtime to use Typescript it would become nearly useless. The vast majority of Typescript becomes JavaScript running in Node or V8.

The web is stuck with JavaScript, and Typescript is a tool to help us write maintainable JavaScript.
> Who's going to recoup all that investment? When? How?

Hype and jumping on the bandwagon are perfectly good reasons for a business. There's no business without risk. This is the cost of doing business which you want to explore greenfield projects.
Negative Tesla posts often get flagged immediately, probably by a bunch of dedicated Tesla fans/employees trying to surpress it.
Never! It gets just gets harder with time to find what you like, as your taste ossifies, and music evolves.