ryandv

19 ms·

241.
by ryandv 2y ago
The problem is that infinity is neither a real nor a complex number, nor an element of any algebraic field, and the proposition that "x * 0 = 0" only holds if x is an element of some algebraic field. It is a theorem that depends o
242.
by ryandv 2y ago
You have some computing resource that needs to be provisioned according to the specifications laid out in a Kubernetes manifest (YAML). Something needs to go out and actually "physically" create or retrieve that resource, with all
243.
by ryandv 2y ago
One can easily see parallels between the commoditization and commercialization of hipster culture & music, and the software industry. Being a software geek went from, as the article states, "being reprehensible to being the thing t
244.
by ryandv 2y ago
The aura package manager for AUR, as well as the xmonad tiling WM.
245.
by ryandv 2y ago
CLRS defines loop invariants pretty clearly: We must show three things about a loop invariant: Initialization: It is true prior to the first iteration of the loop. Maintenance: If it is true before an iteration of the loop,
246.
by ryandv 2y ago
There is an important distinction to be made here. Examples in this thread show cases of irrational numbers multiplied by or added to other irrational numbers producing real numbers, but in the special case of a rational number added to o
247.
by ryandv 2y ago
It would appear that programs in even SKI calculus and other combinatory logics can reduce to base combinators in finitely many steps, but when those combinators are applied to arguments, then the possibility of non-termination arises [0]:
248.
by ryandv 2y ago
The author has been publishing math and compsci papers since the 80s [0] with another on the way [1]. Maybe stick to TypeScript? [0] https://scholar.google.com/citations?user=eWreFm4AAAAJ&hl=en [1] https://po
249.
by ryandv 2y ago
More precisely, the distinction would seem to be that programs in the tree calculus can analyze themselves with reference only to the reduction rules of the calculus, not needing to reach for some meta-language or theory outside the calculu
250.
by ryandv 2y ago
Presumably you could implement Church numerals [0] or something similar in the tree calculus. [0] https://en.wikipedia.org/wiki/Church_encoding
251.
by ryandv 2y ago
It's a sign of the times here when people decry computer science constructs they can't understand as hoaxes.
252.
by ryandv 2y ago
It's a stripped down model of computation like the SKI calculus [0] or its cousin the lambda calculus, which are formal systems with precise rules for mechanically evaluating or reducing expressions. It differs from the SKI calculus in
253.
by ryandv 2y ago
> You can pickle functions in python? You can trivially serialize any lisp function (I'm not a lisp fan). The point of the tree calculus appears to be that it doesn't require the intermediate step of "pickling" or, as
254.
by ryandv 2y ago
Immediately I'm reminded of the SKI calculus as an extremely minimal model for computation [0]. Edit: in fact, they even define the SKI combinators in their demonstration of Turing completeness, so I wonder how the tree calculus differ
255.
by ryandv 2y ago
I'd rather view it as a celebration of good diction, and vocabulary, and the expressiveness of the English language. Maybe some of the literary references are obscure, and most escaped my own knowledge of the literature, but it seems a
256.
by ryandv 2y ago
> Ever since I became a programmer two decades ago, the great unwashed masses of techno-dweebs who call themselves "programmers" have been picking up complex and nuanced technology that they have never bother to formally learn,
257.
by ryandv 2y ago
In defense of bash, in spite of its many footguns... you do yourself a disservice if you refuse to learn bash, which is rock-solid stable and has basically ubiquitous deployment. SSH into any server or use any UNIX-like environment and you
258.
by ryandv 2y ago
> I said queer people of the respective ethnicities, not residents of the Philippines. I am aware that this comes from mostly queer people in the diaspora, but that doesn't take their ethnicities away. Adoption of new language impos
259.
by ryandv 2y ago
> I believe both "Latinx" and "Filipinx" were introduced by queer people of the respective ethnicities, not white Anglos. This kind of cultural ignorance is highly insensitive. I would suggest that you refrain from ma
260.
by ryandv 2y ago
On a personal level, linguistic imperialism. For all the rhetoric spewed regarding the impacts of colonialism and cultural imperialism and fervent calls to decolonize various aspects of society, the whites spewing that very same rhetoric ha
261.
by ryandv 2y ago
I've noticed this amongst the newer "careerist" sort of software developer who is stumbling into the field for money, as opposed to the obsessive computer geek of yesteryear, who practiced it as a hobby. This character archet
262.
by ryandv 2y ago
Just to be clear, returning different resource records (IP addresses, A records) in the answer section of a DNS response to different clients, based on geographical location, measured latency, etc, is different from anycast routing in which
263.
by ryandv 2y ago
I tried winnow as suggested elsewhere in this thread, this is what it may look like: use winnow::combinator::{ repeat }; use winnow::token::take_while; use winnow::prelude::*; pub fn csg_parse(input: &mut &str) -&
264.
by ryandv 2y ago
Yes. Use stack [0]. [0] https://docs.haskellstack.org/en/stable/
265.
by ryandv 2y ago
In Haskell I think it's something like: {-# LANGUAGE OverloadedStrings #-} import Data.Attoparsec.Text import qualified Data.Text as T type ParseError = String csgParse :: T.Text -> Either ParseError Int
266.
by ryandv 2y ago
I don't know. Having written a small parser [0] for Forsyth-Edwards chess notation [1] Haskell takes the cake here in terms of simplicity and legibility; it reads almost as clearly as BNF, and there is very little technical ceremony in
267.
by ryandv 2y ago
I think this is more a comment on how hard people slam physical clock devices after they've made their move, not about the feature set of any given chess clock solution.
268.
by ryandv 2y ago
> I would personally call any method that Kernel responds to a "global" method. But it's not really "global," because it's not actually accessible "everywhere," and so it's a poor choice of te
269.
by ryandv 2y ago
In Ruby, all methods have a receiver. In the case where no receiver is explicitly specified, it is assumed to be `self` - thus line 7 of semiquaver's example desugars to `self.puts "hello"`. This is the "default object,&
270.
by ryandv 2y ago
Then vote with your feet and your wallet by leaving. You need to send monetary signals that the service is undesirable by withdrawing your subscription. I don't understand why people continue to use tools that don't serve them and

More ›