simplify

A child doesn't always a mental "why" reasoning for their actions. Sometimes kids just behave in coarse playful ways, and those ways happen to be very useful for mental development.

> Why is that a problem to you?

Because seculars/athiests often believe that they're superior to the "stupid, God-believing religious" people, since their beliefs are obviously based on "pure logic and reason".

Yet, when you boil down anyone's value system to its fundamental essence, it turns out to always be a religious-like belief. No human value is based on pure logic, and it's annoying to see someone pretend otherwise.

> Someone is not good or bad because you agree with them

Right, that's what I was arguing against.

> Even a religious person can recognise that an atheist doing charitable work is being good

Sure, but for the sake of argument, I'm honing in on the word "good" here. You can only call something "good" if it aligns with your personal value system.

> The attitude you describe is wrong

You haven't demonstrated how. Could just be a misunderstanding.

Everyone has a "religion" – i.e. a system of values they subscribe to.

Secular Americans are annoying because they believe they don't have one, and instead think they're just "good people", calling those who break their core values "bad people".

You really need to define "good" in this sentence. How can nature move beyond nature?

No, that isn't right. It's the culture differences, not locations, that are being compared here. Location is only correlated to those differences; being in Japan vs being in the US doesn't guarantee the comparison.

The concrete fuckery:

(Politico) Lower video quality

(NPR) Feeling unwelcome

(TechCrunch) Peer pressure

It doesn't remember undo history after you close the tab, would love to see that feature though!

Something doesn't have to be new to be valuable (XKCD "Ten Thousand" et al). A revolution starts with inspiration.

"god complex" is very reaching. No one got physically hurt in this scenario. Also unlikely you can "guarantee" this didn't teach anyone any lessons.

Game is actually really good! Was this inspired by Spellbreak per chance?

Edit: I see you mention it in your blog post. I enjoyed it just as much!

You may not like it, but this is what peak lisp indentation looks like :)

Honestly though, this style for ending parenthesis of block-type nodes makes a lot of sense to me. And you still retain the benefit of macro-ing your own syntax when you need it.

Could be wrong, but I feel like the most tedious part is categorization of transactions. I wonder if any have adopted LLMs to make this better?

Virtual DOM is not inherently an issue. Many libraries use it and are much faster than React.

The main issue is React forces you to tell it which components to re-render. This causes a bloat of ceremony that makes it endlessly annoying (in comparison to global redraws) to write in.

What third dimension would you add?

Alternative would be interesting, but successor is thought provoking. Do you mean to say most all Prolog capabilities will be possible to do in Meme?

Not necessarily, I would think terms can be converted to numbers like how the Ruby vm compiles symbols.

Agreed. This reminds me – and I wonder if it could be applied – to Computational Type Theory, which relies on a similar concept of "reducing" types to their primitive forms, actually taking computation into account (something type theories normally do not!)

This lecture series goes into how it works: https://www.youtube.com/watch?v=LE0SSLizYUI

This is a limited, self-centered way of thinking (not self-ish, just self in the neutral sense of the word).

Looking at second-order effects, many companies look up to FAANG for "best practices", which often includes them blindly copying their hiring practices. Without feeling or calling out any healthy skepticism, the software hiring world becomes a worse place overall.

Certainly, but how they go about it differs depending on their values, no?

I don't get it, aren't individual judgements made in the context of culture?

How does your example sound funny?

Only in low-trust societies. Modern, higher-trust society can only function because this isn't true.

There's no inherent reason you couldn't do that. That's another similarity to SQL: the underlying features of the language will depend on which runtime you're using.

SQL: Postgres, SQLite, MySql, etc. all have different features. Prolog: SWI-Prolog, GNU Prolog, Scryer Prolog, etc. same thing.

It's true that Datalog is better for pure data querying. But there's no theoretical reason it couldn't be implemented in Prolog as well.

Brute force search is just the naive way of finding solutions. Just like you can index a SQL table, you can index a Prolog predicate for better performance.

SQL itself is a reinvention of Prolog, poorly. Its core value is that we're stuck with it.

TypeScript's unions are still impressive as you can union anything, not just literal types (TIL python has unions for literals, thanks).

Out of curiosity, what do you mean by dynamically? Isn't that just a case statement, or am I misunderstanding?

Understandably so, it's the impressive power of TypeScript's type system. No other mainstream language has arbitrary union types like this.

There's almost no material benefit to expressing as an enum. You get type checking either way.

FWIW people are still building in the former list and never stopped. It's the "degen" speculators that got loud enough to overtake the public-facing narratives for their own personal gain.

First, humility is an under-appreciated virtue in today's world.

Second, the idea of "your work and art are an expression of you" is dangerously self-centered, in that it can limit your growth by pushing you conform to acceptance over aspiration.

Well-written article. Introduces what the library is/does, gives background context, includes a high-level overview of the system, and demonstrates how it solves the problem.