Hermitcraft? Seems hard seeing as the subreddit is about as official as it can get short of being literally, officially run by the Hermits. I can't imagine a Lemmy community would see any significant amount of participation except for some number of people double-posting in both. I'd be happy to be wrong though.

I don't think Turing-completeness implies omniperiodicity. I'm imagining a cellular automaton which follows Game of Life rules on even-numbered generations and does nothing on odd-numbered generations, which is trivially Turing-complete because it's just Conway's Game of Life if you ignore every other generation, but also trivially has no odd-period oscillators.

Going by the example in the Github, it looks like a right-to-left Lisp with Arabic keywords. Does that fully describe the language or is there more to it than that?

I'd be interested in hearing about the parts that are more influenced by Arabic than Scheme. Are there any beyond the keyword language and writing direction? Like a new keyword that does something useful but has no equivalent in Scheme because the concept isn't easily expressed by an English keyword?

As someone who knows very little about Scheme or Arabic, what are some aspects of this language that might be novel or interesting to someone with a background in mainstream languages?

That texture healing looks super nice. Is that something fonts can just do or does it require special editor support?

I might buy more from Epic if their launcher weren't So. Freaking. Slow. Even claiming the free game is such a chore that I can't be bothered to do it. It takes several minutes to load, responds sluggishly, and lags everything else on my computer the whole time it's running. The only game I play from them anymore is Celeste because I can start it without ever going through the launcher.

I've never gotten past MV lol, looks like no sleep for me

Seconding this request, this is the number one thing that has me keep going back to other apps.

If you don't need to reuse the collection or access its items out of order, you can also use Iterable which accepts even more inputs like generators.

I love the way Etho parkours through that hole in the crypt lava room, and over the fence and off the ledge in level 2 instead of sticking to the obvious path. Not sure if Tango intended for those to be doable but the extra pathing options seem to help a lot.

Out of curiosity, what is that spoilered book?

...What are they actually launching though? I mean I love the payment scheme but I can't get excited over this without an actual good product being sold.

Do people actually use Epic? I wasn't much of a gamer before and didn't care for Steam, and my first real exposure to PC gaming was when Epic started their weekly giveaway of free games. I made an account, discovered some cool titles, and could have been a happy customer if only their launcher weren't so ridiculously slow. Now I can barely even stand opening the launcher to collect the free game, let alone trying to browse for games to buy.

The one case where I prefer video is when I know next to nothing about the topic and the other choice is mediocre to low-quality writing. Most people aren't great technical writers, and it's easy to skip over steps either because the writer assumes too much prior knowledge or simply because it takes effort to put that information in. On the other hand, videos are the opposite where it takes effort to cut stuff out, so you usually get all the steps which is what I need when I don't know anything.

If I have the option of a well-written, step-by-step tutorial though, or if I already know the topic and have a vague idea of what I'm looking for, then text is much better for being able to search/skim/go back and forth at my own pace.

I consider YabaIRyS more of an epithet than a nickname. I can't imagine anyone using it to replace her name like "I wonder what YabaIRyS (IRyS) is doing", only as a description replacing yabai like "Bruh, YabaIRyS (yabai)" in response to something she did/said.

Forgetting Faufau is pretty indefensible. It's been a long time, but that puts it in the same boat as Kronini and Sanana which I did remember.

I wasn't sure if Fuwa-chan and Moco-chan count as nicknames or if they're just how you say their names in Japanese. I guess dropping the last syllable is what makes it a nickname as opposed to just their real name + Japanese honorific?

I guess it depends on what you mean by using monads, but you can have a monadic result type without introducing a concrete monad abstraction that it implements.

At a library level, couldn't you have an opaque sum type where the only thing you can do with it is call a match method that requires a function pointer for each possible variant of the sum type? It'd be pretty cursed to use but at least it wouldn't require compiler plugins.

Really? I would argue that pocket calculators are AI

The behavior is defined; the behavior is whatever the processor does when you read memory from address 0.

If that were true, there would be no problem. Unfortunately, what actually happens is that compilers use the undefined behavior as an excuse to mangle your program far beyond what mere variation in processor behavior could cause, in the name of optimization. In the kernel bug, the issue wasn't that the null pointer dereference was undefined per se, the real issue was that the subsequent null check got optimized out because of the previous undefined behavior.

No idea how hard it would be but it would be nice to have code blocks with syntax highlighting like on Github, so you could write something like

```python
def f(x):
    return x
```

and get

Hah, the house is symmetrical now

lesswrong.com: I remain unconvinced by the central AI doom and Effective Altruism stuff, but the peripheral posts on rationality, math, short-form sci-fi stories, musings on random topics, etc. have been massively influential on me.

MiKTeX, because it's the first one I stumbled upon in high school and I don't use LaTeX enough to be bothered to optimize my choice of editor.

Do you care about modeling the cells? If not, you could represent each row with just a number. When X plays, add 1 to all the rows that include the position they played, and when O plays, subtract 1. If any row reaches +3 or -3, that player wins.

As for rotation/reflection invariance, that seems more like a math problem than a Rust problem.

I'm not sure this blog post makes the right comparison. Based on my admittedly limited experience, OCaml modules seem more comparable to Java classes than packages. They're both bundles of functions and data, except the module contains data types instead of being the data type itself. Classes have basically all the features of strong modules like separate compilation, signatures (interfaces), functors (generics), namespacing, access control. These examples of OCaml modules are all things that would be implemented as a class in Java.

From this perspective, rather than Java lacking strong modules, it actually has them in the form of classes. It's OCaml which lacks (or doesn't need) an additional package system on top of its modules.

Oh wow I wasn't expecting that at all. I wonder if he'll stream his perspective?

My main point is that PRQL makes no distinction. If you didn’t inspect that SQL output and already know about the difference between WHERE and HAVING, you would have no idea, because in PRQL they’re both just “filter”.

Hmm, I have to disagree here. PRQL has no distinction in keyword, but it does have a distinction in where the filter goes relative to the aggregation. Given that the literal distinction being made is whether the filter happens before or after the aggregation, PRQL's position-based distinction seems a lot clearer than SQL's keyword-based distinction. Instead seeing two different keywords, remembering that one happens before the aggregation and the other after, then deducing the performance impacts from that, you just immediately see that one comes before the aggregation and the other after then deduce the performance impacts.

As far as removing arbitrary SQL features, I agree that that is it’s main advantage. However, I think either the developers or else the users of PRQL will discover that far fewer of SQL’s complexities are arbitrary than you might first assume.

That's fair, I was just thinking of things that frustrate me with SQL, but I admittedly haven't thought too hard about why things are that way.

What are the implications of WHERE vs HAVING? I thought the only primary difference was that one happens before the aggregation and the other happens after, and all the other implications stem from that fact. PRQL's simplification, rather than obscuring, seems like a more clear and reasonable way to express that distinction.

I don't know if PRQL supports all SQL features, but I think it could while being less complex than SQL by removing arbitrary SQL complications like different keywords for WHERE vs HAVING, only being able to use column aliases in certain places, needing to recompute a transformation to use it in multiple clauses, not forcing queries to be in SELECT... FROM... WHERE... order, etc.

Why would you need to know the eccentricities of SQL? Shouldn't it be enough to just know PRQL? The generated SQL should have the same semantics as the PRQL source, unless the transpiler is buggy.

Agreed, smartness is about what it can do, not how it works. As an analogy, if a chess bot could explore the entire game tree hundreds of moves ahead, it would be pretty damn smart (easily the best in the world, probably strong enough to solve chess) despite just being dumb minmax plus absurd amounts of computing power.

The fact that ChatGPT works by predicting the most likely next word isn't relevant to its smartness except as far as its mechanism limits its outputs. And predicting the most likely next word has proven far less limiting than I expected, so even though I can think of lots of reasons why it will never scale to true intelligence, how could I be confident that those are real limits and not just me being mistaken yet again?

It's a Substack thing, not added by the author

Ask it a question about basketball. It looks through all documents it can find about basketball...

I get that this is a simplified explanation but want to add that this part can be misleading. The model doesn't contain the original documents and doesn't have internet access to look up the documents (though that can be added as an extra feature, but even then it's used more as a source to show humans than something for the model to learn from on the fly). The actual word associations are all learned during training, and during inference it just uses the stored weights. One implication of this is that the model doesn't know about anything that happened after its training data was collected.

Oh shit that sounds useful. I just did a project where I implemented a custom stream class to chain together calls to requests and beautifulsoup.

Also Vector2f instead of Vector3f for the cross product example. I'll give them the benefit of the doubt that that's a typo instead of them not knowing what a cross product is.

I disagree with the author on operator overloading. They claim that this function in C

float foo(float a, float b) {
	return a+b;
}

is perfectly clear because you know it's doing floating point addition, while this function in Python isn't

def foo(a, b):
	return a + b

because you don't know if it's floating point addition, integer addition, or string concatenation, and what happens if the inputs are different types?

I think that's fundamentally mistaken. You could also ask of the C version if it's doing normalized floating point addition, denormalized floating point addition, infinity addition, or NaN propagation. What happens if you mix different types of floats? And the answer is that it doesn't matter. These are all just aspects of floating point addition. It returns the most sensible result in whatever format is best to hold that value, and you don't need to worry yourself about how floats are stored under the hood.

The same is true of the Python version. It doesn't matter if it's integer addition or floating point addition or string concatenation. Those are just different aspects of the addition operator and it returns the most sensible result in whatever type is best to hold that value.

This book has been on my reading list for a long time, I really have to get around to it sometime.

What web games are you playing? Do you count the time it takes to load the web page? I can't think of a single game that loads so fast web or otherwise. agar.io is super slow and bloated, hanab.cards takes about half a second to make a room, candybox2.github.io comes close but the network tab reports 128 ms to download the javascript.

I think that's a British influence. Rs in English words tend to get transcribed into katakana as long vowels to resemble British pronunciation, like parking → パーキング or art → アート. For a Japanese person who hasn't formally learned a romanization system but knows a decent amount of these English → Japanese word pairs, it seems pretty reasonable to try to reverse the process by turning long vowels into Rs when writing Japanese in Romaji.

Oooh, looks exciting! I never played with RotaryCraft back in the day, but I was interested in the idea and I love skyblocks and quests-as-guides so this might be just the thing to make me go back and try it out.

Some clarifications: f(x) = -2x/3 + 5 isn't technically correct. It happens to equal that when x is between 6 and 9, but the function is different outside of that range. Similarly, your equation for F(x) is only correct when x is between 6 and 9. The reason this matters is because F(0) = 2 doesn't mean C = 2. That only works if the function is the same all the way to x = 0, which it's not.

If you want to solve by integrating, you would have to integrate each section and find the right C for each section that makes the integrals all connect to each other.

Alternatively, you can use the property that F(b) - F(a) = the area under f(x) from a to b. I think that region from x = 4 to 6 is supposed to be a semicircle, so each section is a standard shape and you can calculate the area using geometry.