svieira

8 ms·

121.
by svieira 1y ago
Actually, that _is_ the position of the Church, funnily enough. Jesus is both God and man. These natures are distinct in Him, while being entire and wholly what they are (the God-nature is not diminished or changed by admixture and hu
122.
by svieira 1y ago
> It did make me feel really productive and clever while doing it, though. And that's the greatest trap of this whole thing. That the _feels_ are so quickly diverged from the actual.
123.
by svieira 1y ago
No, a proof proves what it proves. It does not prove what the designer of the proof intended it to prove unless the intention and the proof align. Proving that is outside of the realm of software.
124.
by svieira 1y ago
This sounds like submodules, but I'm guessing it's completely orthogonal ... multiple distinct remotes for the same _repository_, all of them checked out to different sub-paths; does that result in all the remotes winding up wit
125.
by svieira 1y ago
Oh, it does. That's what experience teaches you - that the measure is not the target.
126.
by svieira 1y ago
Yep - you're still missing the distinction. Jesus is the person . This person has two natures (we've been working with the "being a judge and a doctor" analogy here and both can be operative together, as when the judg
127.
by svieira 1y ago
> But to be entirely human is to be corrupted by original sin, doomed to judgement and eternal separation from God. This is false, fortunately. "Human" and "sin" are not necessary to each other. Sin is not natura
128.
by svieira 1y ago
> A normal person according to Christianity is closer to having two natures in the way you describe, because their body is mortal while their soul isn't. AH, THERE'S YOUR PROBLEM! Cartesian dualism isn't the best lens to v
129.
by svieira 1y ago
> He is both things in the same way at the same time Not quite. He has a divine nature and a human nature. There is only one person, two natures, analogous to one person two job titles. He has both natures, fully. > Did he die or di
130.
by svieira 1y ago
It's not inherently self-contradictory for us to say "Jesus revealed Himself as the Son of God and the Son of Man ... how can we properly speak about that?" https://www.newadvent.org/summa/4002.htm#artic
131.
by svieira 1y ago
A single global namespace makes you start doing interesting and horrible things when you need to divide it.
132.
by svieira 1y ago
> Liquibase Community is now licensed under the Functional Source License (FSL). See LICENSE file at the root of the distribution for details. https://github.com/liquibase/liquibase/blob/4fa3d8b6f9d987c6...
133.
by svieira 1y ago
Replace 'new hire' with 'AI|LLM' in the updated post for a very sad outcome.
134.
by svieira 1y ago
It's actually its own distinct version control _system_. And yes, it is Fossil SCM: https://fossil-scm.org/
135.
by svieira 1y ago
Nice story! My guess is that the site was https://yout.com/ given your profile. Does it still run Flask?
136.
by svieira 1y ago
Quite impressive, thank you for sharing! Question - this loads a 2 MB JS parser written in Rust to turn `x => x.foo` into `{ op: 'project', field: 'foo', target: 'x' }`. But you don't actually allow an
137.
by svieira 1y ago
Thrush is the "T combinator" - I believe that the "Thrush" name comes from To Mock a Mockingbird by Raymond Smullyan [1]. [1]: https://www.amazon.com/Mock-Mockingbird-Other-Logic-Puzzles/... [2]:
138.
by svieira 1y ago
Then it turns out that your CI gates are green because your tests are all subtly broken, the code you've been reviewing doesn't matter and the code you haven't been reviewing is what's broken in production. You learn fr
139.
The Machine Won. Can Humans band together before it's too late? [video](youtube.com)
4 points by svieira 1y ago|2 comments
140.
by svieira 1y ago
In brief, the thesis of this video is: 'the machine is the cycle of advertising dollars paying for "engagement" rather than anything more meaningful. This leads to optimizing for "engagement" which results in the
141.
by svieira 1y ago
> But as you say, this doesn't solve the problem of including multiple versions of the same module. The solution that Java has for that is literally re-writing the bytecode of version A to be "in a different module" and re
142.
by svieira 1y ago
`s/reactionary//` and you'd be right in your second sentence. It doesn't matter if it's action or reaction, people with strong beliefs, strongly held tend to be holding them because of some core set of ethical
143.
by svieira 1y ago
Why wouldn't "I have taken a dislike to them. Pray I do not take a dislike to you as well" also solve these people's problems? There's surely something more than "dislike of conflict" here, or else they
144.
by svieira 1y ago
Yeah, LLM-created commit messages verge on "Brilliant Paula" for some reason. It's probably because nobody bothers to RLHF commit messages (yet). https://thedailywtf.com/articles/the_brillant_paula_bean
145.
by svieira 1y ago
Quite a bit - I get ads for septic tanks because I have looked at them several times and tank companies continue to advertise for me because I might buy. I get ads for robot mowers because, again, I looked at them. I still see "the b
146.
by svieira 1y ago
"This is a clever usage of the too—little—used plus operator to perform high performance addition"
147.
by svieira 1y ago
"Another voice on the subject at hand" is definitely available - but simply searching "{Christian, Catholic} {[SUBJECT MATTER], [KIND OF MATERIAL]" will often unearth some good starting points. E. g. "Christian soc
148.
by svieira 1y ago
It is! https://news.ycombinator.com/item?id=7061913
149.
by svieira 1y ago
I wonder if this will wind up being a category of problems and the solution is a separate "system" set of effects (effectively `({user}, {system})`) or if this one-off extension is all that will be needed. Either way, extremely we
150.
by svieira 1y ago
> What makes this vast private data uniquely valuable is its quality and real-world grounding. This is a bold assumption. After Enron (financial transactions), Lehman Brothers (customer/population databases, financial transactions)

More ›