eigencoder

I don't want Microsoft's fingers all over docker -- if anything that would have accelerated the rise of e.g. podman

Buried in settings there's a way to turn off Apple Music (the subscription) and limit to only your own mp3s.

I tried to run both my music library and Apple Music subscription together, but found that when I let my subscription lapse, all my playlists got deleted, even the ones that just used my own music. Now I'm staying FAR away from apple music the subscription.

I don't think economics have squeezed out free time -- phones squeeze out all our free time.

I didn't read that connotation into it, but maybe in your social circles people have a problem with homeschooling?

The make your own cards are really nice for this. We bought a bunch of them and you can add any mp3s you want onto them. We even print stickers to put on the front.

I'm confused. Isn't the sharp decline in the graph due to the population boom?

I just disagree with this article. Age gating is a good thing. We should have more gates to keep kids out in the online world and less in the physical world.

I want to see legislation that age gates every social media site. Social media companies have harmed a huge amount of my generation and we should stop them from addicting children.

Privacy preserving methods for age verification exist, and we should use them.

What about plan9? ;)

I think this is a problem with USB-C. The cables all look the same, but they don't actually always work for every device, at least in my experience.

Hey, I store recipes on my home computer! Having a portable handheld terminal that can view the recipes makes it much more practical than it would have been in the 80s.

I have a fanny pack. I usually put my phone, a notebook, my wallet, some band-aids, and a couple diapers. Sometimes I add a charger if I think I'll need it. It's quite convenient, and I basically don't put anything in my pockets. Phone sits on its charger or in the bag, usually.

Or, you could just use quality signals like ratings, time spent and repeat visits and not weight by the bids. All the upside, none of the downside.

I think these are the salient concerns I've faced at work using pgvector. Especially getting bit by the query planning when filtering -- it's hard to predict when postgres will decide to use pre- vs post-filtering.

As for inserts being difficult, we basically don't see that because we only update the vector store weekly. We're not trying to index rapidly-changing user data, so that's not a big deal for our use case.

To get a 32-oz soda, wouldn't you just have to go to a gas station?

I love this idea, but the difficulty isn't in using email, it's getting my friends and family to use it

I guess it's hard when people don't share your politics

The blue ones generally have a lot of people and need a lot more energy

My pediatrician always charges us for an office visit + preventative care when we go in for a preventative care visit. It's obviously to get more $$ from insurance. I feel like this goes both ways...

But how does pulling a GT program help with equality? Putting bored kids in a classroom with kids who are far behind them developmentally drags everyone down. Don't the GT kids deserve to learn, too?

I think you may misunderstand what a gifted kindergartener is. Like, some kids come in and they essentially taught themselves to read. That doesn't mean they have helicopter parents who think they're extra special -- it means they have distinct needs that aren't well served in the normal classroom, which is boring for them.

I take issue with calling it "cruel". But yeah we should have really strict penalties on using smartphones while driving.

I know I'm late to this, but there is a minimal distribution of LaTeX that I used for e.g. writing my master's thesis. It's called TinyTeX.

https://yihui.org/tinytex/

Loved the breakdown of a topic I wasn't familiar with.

I just can't help but think that the whole ethos of Open Social Media is misguided. I think that social media isn't good for us -- not just because of the big companies making it worse, but because the technology itself doesn't promote health.

It feels like trying to make cigarettes open-source. Sure you can stick it to big tobacco but at the end of the day you're still making cigarettes.

I think approval time would take much longer. The issue is that while actual time spent in review may be shorter, there's a lot of context-switching time costs that increase with the number of PRs submitted.

No one on the team is just sitting there refreshing the list of PRs, ready to pick one up immediately. There's a delay between when the PR is marked as ready and when someone can actually get to it. Everyone is trying to get work done and have some time daily in flow state.

Imagine you have a change; you could do it as one PR that takes 1 hour to review, or 3 small PRs that each take 15 mins to review. The time spent in review may even be shorter for the small PRs, but if each PR has a delay of 1 hour before a reviewer can get to it, then the 3 PRs will take almost 4 hours before they're done, as opposed to just 2 hours for one big PR.

I thought it was _optout_nomap (the _optout for Microsoft, _nomap for Google/Apple)

Could you help me understand how decoder-only LLMs maintain the Markov property? If you used the same random seed, the input to the model "The cow jumped over the" would not give the same output as just "the", right? So isn't that violating the Markov property?

I was really excited to try ghostty, but the text looks blurry when I place it on my mac's external monitor

I hate this, my mom's account got hacked and now someone is controlling it for who knows what purpose. She had to make a new account and lost all her photos, old posts, messages, etc. Facebook was completely unhelpful

This is a really neat idea. I'd love to see more of this rolled out in schools, workplaces, and homes.

This article reminded me of something I read recently that installing air filters in schools led to increased test scores.

That totally makes sense!