Is brongo a joke or something you actually use? Never heard that term. I have used the terms linner or lupper, jokingly

The norm for me is breakfast, lunch, and dinner, with dinner being interchangeable with supper. I found out recently that the word supper derives from soup that you’d have at the end of the day right before bed, and in some places those are different meals. Some places also call whatever the biggest meal of the day is “dinner”, which might be eaten at noon, which is weird to me. Small breakfast in the morning, smaller meal at noon for lunch, and then bigger meal for supper/dinner in the evening is what I’m used to.

The title doesn’t capture the whole article, it talks about wiring up SAT solvers to LLMs and how that might help solve difficult math problems. The proofs will be difficult or impossible to understand as a human, but:

Heule argues that most mathematicians overvalue understanding and undervalue trust.

Some background on this comic:

Transcript:

After completing this cartoon, I realized one of the apes had to be sucking an empty glass onto his face (as I myself used to be quite good at), so it was necessary to start over.

Memes as tech support is the Lemmy way 🫡

If that doesn’t work, probably posting in [email protected] would be a good first step

Good question for @[email protected]

Not really surprising that they’re good at analyzing language, since they are Large Language Models after all. Still neat to see, though. Here’s the most interesting bit:

In the phonology task, the group made up 30 new mini-languages, as Beguš called them, to find out whether the LLMs could correctly infer the phonological rules without any prior knowledge. Each language consisted of 40 made-up words. Here are some example words from one of the languages:

• θalp
• ʃebre
• ði̤zṳ
• ga̤rbo̤nda̤
• ʒi̤zṳðe̤jo

They then asked the language models to analyze the phonological processes of each language. For this language, o1 correctly wrote that “a vowel becomes a breathy vowel when it is immediately preceded by a consonant that is both voiced and an obstruent” — a sound formed by restricting airflow, like the “t” in “top.”

The languages were newly invented, so there’s no way that o1 could have been exposed to them during its training. “I was not expecting the results to be as strong or as impressive as they were,” Mortensen said.

I’ve also tried out various LLMs on daily puzzles that it couldn’t have been trained on, like Connections and it does a really good job. I don’t think that the end of humanity is nigh or anything dramatic like that, but IMO this invalidates people that really want to hate AI and claim has 0 intelligence.

Yeah, the whole base game should be playable, modulo any bugs. I haven’t tried mods, but a lot (most?) of them should work, unless they’re mucking around with the engine itself.

If you like the any of the Elder Scrolls games and haven’t checked out OpenMW, it’s really impressive and worth checking out. They’ve talked about adding support for Oblivion/Skyrim too, which would be amazing.

Like in your mouth, or with a hairdryer, or something else?

Do you rip the physical media yourself? What do you use for library management? I get my music from bandcamp and use beets to organize it all. Some of the more obscure music I’ve had to add to musicbrainz.org myself

At a slightly lower level, I’m excited about Servo. Activity died off for a bit but it’s gaining steam again. Still behind Ladybird progress-wise, but it will make a very strong foundation for a new web browser.

The takeaway:

Complexity is not a virtue.

Start simple. Add complexity only when you have proof you need it.

Out of the Tar Pit is a classic paper on this topic as well. It goes into a lot more depth, but can be summed up as:

Simplicity is Hard

OTOH, I feel like I should like Go because it’s “simple”, but it ends up pushing down on the waterbed of complexity only to have it pop up elsewhere. Kind of like how brainfuck is about as simple of a language as you can make, but there’s a reason it’s a toy language.

I’ve had several jobs with 401k’s, and I have one personal account that I roll 401k’s from old jobs into, in addition to whatever 401k account I have for my current job. It works pretty well. I keep contributing because Dollar cost averaging is basically always what you should do, even in the midst of financial crashes. It’s hard to not worry about hyperinflation and wonder if it’s worth it, though.

Yeah, bot posts are good IMO for things that are like once per day or less. More frequently and it can end up being spammy. OTOH, I’ve browsed all a few times and seen interesting posts from HN that I then went over and read, so there’s something to be said for that too. Maybe if there was a more nuanced option, like “don’t show me bot posts unless they’ve been upvoted by a non-bot” or something like that. Or maybe if bots reposting from elsewhere did that filtering beforehand, like top 10 per day or something

Great, approachable read about the history of manifolds. Similar to Boolean Algebra in that it was invented and nobody really knew what to do with it, and later proved to be enormously useful. Good reminder that trying to simplistically throw around “Why are we funding math/science/etc that isn’t useful!” isn’t good policy.

Edward is such a normal name for the Moomin universe. Makes it feel like their equivalent of “weird fantasy name”.

Also, we’ve seen that Moominpapa has some sort of blunderbuss type gun in a previous comic but apparently they need better gun control if Mymble is going around threatening people like that.

Mummies are often depicted shambling/dragging their legs, which is something you don’t want to do when dancing. I think it’s just that simple

I’ll probably put some candy out for any kids that come by, but I’ve never really gotten much foot traffic near me so won’t be actively handing out candy. It’s also threatening to rain, which will probably discourage making the rounds too.

Some background on this comic:

Transcript:

I took some heat from a few parents about this cartoon, but this is one that remains one of my personal favorites. It’s just such a ludicrous situation trying to pull itself off as a serious one.

I wanted to write back to a couple of these people (I never did) and say, now, c’mon: look at this cartoon: First of all, this cartoon “couple” have not hired a witch-like babysitter to watch their kids—they’ve hired a witch! Secondly, they’re not horrified at what’s occurred, as we might suspect, but mostly indignant. And lastly, they’re especially upset that the witch ate both their kids—as if to suggest one would have been pretty bad, but both is really unacceptable.

It’s even more interesting to me that fairy tales themselves, frequently full of violence and scary things, are directed at children—which is mostly condoned. This cartoon, on the other hand, is merely satirizing a common fairy tale them (e.g., “Hansel and Gretel”) and directing the humor at adults. Now that’s confusing.