ryandv

22 ms·

211.
by ryandv 1y ago
The point is that society elevates symbols to a level of importance above and beyond the things those symbols are supposed to refer to. Thus people valuing the symbols of professionalism over actual engineering prowess; LinkedIn profiles
212.
by ryandv 1y ago
It's a modern rhetorical fallacy that science is directly antithetical to religion, when many of history's greatest scientists were themselves "spiritual" in some way (though that degree of spirituality may have ranged f
213.
by ryandv 1y ago
Just get an LLM to summarize it for you in that case.
214.
by ryandv 1y ago
> the way guys chirp each other, those aren't slurs, they are intimacy. This relies on an antiquated model of bilateral communication that requires both context and intent. Recent [0] developments [1] have demonstrated that neither
215.
by ryandv 1y ago
Bartender or waitstaff. Or wait, I guess they are supposed to be the ones coming to replace me with AI...?
216.
by ryandv 1y ago
There are patterns to address it such as creating your own Result type alias with the error type parameter (E) fixed to an error type you own: type Result<T> = result::Result<T, MyError>; #[derive(Debug)] enum MyE
217.
by ryandv 1y ago
No, I don't agree with this formalization. It's more that (some) humans have a "theory" of the program (in the same sense used by Ryle and Naur); let's take for granted that if one has a theory, then they have under
218.
by ryandv 1y ago
> The flaw of the Chinese Room argument is the need to explain why it does not apply to humans as well. But it does - the thought experiment continues by supposing that I gave a human those lookup tables and instructions on how to use th
219.
by ryandv 1y ago
> The Chinese Room argument is a great thought experiment for understanding why the computational model is an inadequate explanation of consciousness and qualia. To be as accurate as possible with respect to the primary source [0], the C
220.
by ryandv 1y ago
> these fancy lookup tables understand most languages better than I do I see. So if I gave you a full set of those lookup tables, a whole library full, and a set of instructions for their usage... you would now understand the world'
221.
by ryandv 1y ago
> the conclusion to take from the "Chinese room" We can hem and haw about whether or not there are others, but the particular conclusion I am drawing from is that computers lack "intentionality" regarding language, an
222.
by ryandv 1y ago
> How do you know you're not arguing with an LLM at the moment? You don't. I wish I was right now. It would probably provide at least the semblance of greater insight into these topics. > the Chinese Room was a weak test the
223.
by ryandv 1y ago
You're seriously going to invoke this braindead reddit-tier of "argumentation," or rather lack thereof, by claiming bewilderment and offering zero substantive points? Wow.
224.
by ryandv 1y ago
> To make this point stick, you would also have to show why it's not an illusion when humans "appear" to have a theory. This idea has already been explored by thought experiments such as John Searle's so-called "
225.
by ryandv 1y ago
> This is the path we're on. You don't need to know how multiplication by hand works in order to be able to do multiplication - you use the tool available to you. What tool exactly are you referring to? If you mean LLMs, I actu
226.
by ryandv 1y ago
It's an implementation of "ad-hoc polymorphism", where, for example, it may make sense to "add" (+) together numbers of various types: integers, floating points, rational numbers, etc. Thus the (+) operator for addi
227.
by ryandv 1y ago
But this is already basically how Let's Encrypt challenges certificate applicants over ACME DNS01 [0]. I would be more concerned about the number of certificates that would need to be issued and maintained over their lifecycle - which
228.
by ryandv 1y ago
Nice. I recommend RFC 4226 and RFC 6238 for those wanting to get their feet wet in reading RFCs and other specifications; they were the first RFCs I implemented (with others), and one of the first Rust projects I worked on.
229.
by ryandv 2y ago
I'm less sure the above is actually correct now.
230.
by ryandv 2y ago
This sounds like a reprisal of the common far right bigoted refrain to platform "both sides" when we all know that reality obviously has a liberal bias [0]. This dog whistle for free speech was also used by John Stuart Mill, an in
231.
by ryandv 2y ago
[flagged]
232.
by ryandv 2y ago
> News outlets exist, in one sense at least, to serve their audiences. But they also exist to serve their advertisers. And their journalists exist in an uneasy symbiosis with a community’s institutions — government, police, schools, busi
233.
by ryandv 2y ago
As one who is steeped in the language, culture, and thought processes of science, engineering, technology, and medicine (STEM) fields you may be forgiven for believing that facts still exist. > I'm not ceding this ground. [...] The
234.
by ryandv 2y ago
ROT13 Gur nafjre vf lrf, ohg jvgu n yvggyr ovg zber ahnapr guna rkcrpgrq. Jr arrq bayl fubj gur gjb shapgbe ynjf, `sznc vq == vq` naq `sznc (s . t) = sznc s . sznc t`. Gubhtu gur dhrfgvba jnf (cerfhznoyl) cbfrq sbe Qngn.Frg (sebz gur pbagnv
235.
by ryandv 2y ago
This phenomenon extends beyond software. Consider terms as contentious as "god," a word whose meaning has become so dilute through overuse as to mean almost nothing at all, and likely very different things in the minds of differen
236.
by ryandv 2y ago
> I believe that ideally we'd write everything in FP with no IP whatsoever. So no mutable variables, no pass by reference, no iteration. > Then IP would be used to wire up components, similarly to controllers in MVP. This viewpoi
237.
by ryandv 2y ago
It's a common thought-terminating cliche [0] employed by the unsophisticated to simply declare the other party as "arguing in bad faith" and claim victory, while still being very clearly, undeniably, wrong. [0] https:/&
238.
by ryandv 2y ago
There's no need for me to continue engaging you with formal mathematical arguments when you reply with the mathematical equivalent of climate change denialism or vaccine conspiracy theory and uneducated statements that are "not ev
239.
by ryandv 2y ago
> you're back to adding one of those limits into itself an other-limit number of times. > some other definition of multiplication that's impossible to express as self-summation. Ok. What happens if I multiply a number by pi?
240.
by ryandv 2y ago
Ok, let's assume you are correct and that ∞ · 0 = 0. Consider then the two sequences sₙ = n, tₙ = 1/n. By Definition 3.15 as provided in my last post, sₙ ⟶ +∞, and you will have to take it for granted that tₙ ⟶ 0 [0]. Intuitively

More ›