lgas

The same understanding still exists, from https://old.reddit.com/r/explainlikeimfive/wiki/detailed_rul...:

The purpose of this subreddit is to simplify complex concepts in a way that is accessible for laypeople.

The first thing to note about this is that this forum is not literally meant for 5-year-olds. Do not post questions that an actual 5-year-old would ask, and do not respond as though you're talking to a child.

I'm not saying you should, I'm saying you shouldn't clutter up every thread with this type of useless comment. It just detracts from the people that do want to engage with it.

This doesn't need to be posted on every post. Everyone that cares is well aware. It's like saying "this was written in english" on every post.

Looks fine to me in Chrome on Mac.

It may very well be the case that it makes trade-offs that turn of lots of programmers but I don't think it's popularity directly implies it by definition, rather just that it implies there's something about it that prevents lots of programmers from taking it up en masse, and I think that's perhaps just the fact that it is so different from what everyone's used to and it takes some time to adapt to it enough to be able to appreciate the tradeoffs.

But again, I suppose all the Lisp forms return values, and quibbling about the declarative : imperative :: expressions : statements mapping is just petty semantics

I would argue that it's very much not just semantics, or at the very least it's certainly not petty. The distinction has a noticeable effect on what the experience of writing code and on the reliability and related properties of the written code.

DuckDB is in-process though?

Odd. I've never heard it pronounced in any other way than "Sequel-lite".

This is likely true for the majority of humans too.

It looks like what you would get if python and ocaml had a baby.

Could just include the badge names both unencoded and encoded to get the best of both worlds.

I still prefer windshield wipers over turn signals.

What is there not to understand? AI is booming right now. People are trying to get in on the gold rush and/or trying to sell pick axes to the miners. There is a ton of fertile ground for anyone that wants to try something, so it's being explored.

Is there a demo somewhere? It seems like the perfect thing to put in the center of that page.

Edit: I found https://sanderdesnaijer.github.io/map-gesture-controls/examp...

I wonder if there’s a way to train that ability.

I have to imagine it comes down to study and practice, just like everything else.

Arbitrary and random are basically the same in this context. The person you're replying to is pointing out they are specific keys for specific reasons because those specific keys can be used to figure out which kind of keyboard it is, they are not random or arbitrary, they are chosen with a specific reason in mind. If they were really chosen arbitrarily, they would not be able to accomplish the goal.

If they did they learned writing from an LLM first.

It seems to do this kind of stuff more when you're not looking too. Like I'll be approving edits all day without any problem then the second I set it to auto it gets a lint error about dead code and adds a pragma to allow the dead code instead of removing it, etc.

Turned them into quotation marks?

Why do you keep referring to them as "inyections"?

You can print to PDF from your browser. It ends up looking nice.

Well, if there are papers that match your criteria, it's hallucinating the "no".

why would that matter?

That's a software watchdog. The comment you're replying to is talking about hardware watchdogs.

What about it?

It’s not like Ruby becomes Haskell.

Well, maybe next time.

To elaborate, the scheme spec requires tco.

Do you want monads? Because this is how you get monads.

Personally, I don't think that is much of a problem, as you should be able to come up with a "superlean" version of your theorem prover where correctness is easier to see, and then let the original prover export a proof that the superlean prover can check.

I think this is sort of how lean itself already works. It has a minimal trusted kernel that everything is forced through. Only the kernel has to be verified.

I was referring to the dead salmon in the study seeming to show increased activation in the brain and spinal coord.