simplify

10 ms·

91.
by simplify 3y ago
I agree it's a bad attitude! And as someone who is (happily) married, I still do my best to stay in shape. What I'm doing is merely listing the common reasons why the trend is what it is. Exceptional people will likely stay except
92.
by simplify 3y ago
I've heard the "marriage for happiness" trope, but who says marriage makes you healthier ? It doesn't take much for someone to sacrifice their health for something – whether it's for a job, leisurely activities, st
93.
by simplify 3y ago
I find the game analogy silly. Of course reality is "like" a game – games are inspired by and modeled after reality, after all! If you flip it around to say "games are like working at a remote job", then the flaw becomes
94.
by simplify 3y ago
Much of this kind of analysis is relatively easy in Datalog/Souffle. You can see a tutorial paper here: https://yanniss.github.io/points-to-tutorial15.pdf > the part I am currently stuck in is creating a reasonable
95.
by simplify 3y ago
It's a great one! From a logical perspective, it's ideal for the order of constraints to not affect the outcome. This missing behavior becomes a quirk quite early on when working with Prolog. That said, order of constraints can
96.
by simplify 3y ago
Turing completeness is not a requirement of a programming language! Just because you can't do infinite computation doesn't mean you can't do infinitely useful computation :) That said, Souffle is touring complete due to its a
97.
by simplify 3y ago
I recommend starting with the simple example[0], then taking a look at the tutorial[1]. But I do agree that being familiar with Prolog is a big help in understanding what Souffle is. For a quick intro to Prolog, I recommend this video[2], w
98.
by simplify 3y ago
Consider using Datalog (the incredible subset of Prolog) for this perfect use case. Compared to Prolog, you get: 1. Free de-duplication. No more debugging why a predicate is returning the same result more than once. 2. Commutativity. Order
99.
by simplify 3y ago
I assure you, there are many scientists that would love to test that, given the resources to do so. Of course no one would fund that, meaning it's the funders deciding on what they think is plausible.
100.
by simplify 3y ago
No, science is indeed testing random ideas. Limiting what is tested to an arbitrary plausibility score is something funders and sponsors do, not scientists. What you're talking about is ethics, which is important too.
101.
by simplify 3y ago
What? Who is "celebrating" that Apple prevents interoperability? Unless you're saying that buying a macbook is equivalent to celebrating all of Apple's decisions, a clearly false equivalency?
102.
by simplify 3y ago
Not sure what you're saying here, can you explain the negative effects you're implicitly suggesting exist?
103.
by simplify 3y ago
Also see Logical English, a "Programming Language for Law and Ethics" https://virtuale.unibo.it/pluginfile.php/1273247/mod_unibore...
104.
by simplify 3y ago
> Humans, too, would likely be nearly stateless if we took a point-in-time snapshot... I highly doubt that would ever be possible in practice, as our inputs are much too complex. But I want to point out, you're basically saying here
105.
by simplify 3y ago
Not the same thing, but another "single file app" platform in the space that looks interesting is https://val.town . Could be used as a backend for Mu apps
106.
by simplify 3y ago
You're telling someone not to paint others as "immature", yet you're painting them as having ethical and moral failures. I hope you recognize one of these is more severe than the other.
107.
by simplify 3y ago
Full static typing alleviates this greatly, allowing you to pass in what you have now and decide to refactor later if/when you need to. For example, if you remove a field that's still needed, you'll receive a type error, elim
108.
by simplify 3y ago
"God resists the proud, but gives grace to the humble." – James 4:6, 1Peter 5:5, and many such instances throughout the bible.
109.
by simplify 3y ago
> When disagreeing, please reply to the argument instead of calling names. "That is idiotic; 1 + 1 is 2, not 3" can be shortened to "1 + 1 is 2, not 3." > Be kind. Don't be snarky. Edit out swipes. https:&#x2
110.
by simplify 3y ago
No, it's actually quite good due to being the most advanced (and a pleasure to use) type system to achieve mainstream adoption.
111.
by simplify 3y ago
When you're forced to pick your skin color, what else are you supposed to do?
112.
by simplify 3y ago
FYI, "Hispanic/latino" don't identify as white, but they are labeled as such by outsiders for political motivations.
113.
by simplify 3y ago
Progress is always made by those with an optimal amount of ignorance :)
114.
by simplify 3y ago
Agreed. Evil wins because good does nothing. Or in this case, evil reigns because good resigns.
115.
by simplify 3y ago
Can Pharo also store data in its language runtime (which is long-running if I understand right)? If so, does that make it its own type of database?
116.
by simplify 3y ago
Onelook is incredible. Indispensable for any art of writing.
117.
by simplify 3y ago
> As we celebrate Auto-GPT's rapid ascent, it's crucial to take a step back and scrutinize its potential shortcomings. Why is it crucial? This project has existed for barely a month, and describes itself as an experiment. Who i
118.
by simplify 3y ago
Interesting theory, but wouldn't Jaynes' definition of consciousness imply that animals are not conscious?
119.
by simplify 4y ago
The optimal solution is to avoid react+hooks, which is too confusing for humans anyway :) Mithril.js has been plain javascript for years, and unsurprisingly enough this is easier for chatGPT / copilot to deal with.
120.
by simplify 4y ago
You can. Just write a descriptive comment, enter a newline, and it will attempt to autocomplete the code for you.

More ›