ryandv

9 ms·

61.
by ryandv 11mo ago
You can listen to what men are saying, or continue to suppress and label their speech as "bad faith" or otherwise. When men are not heard they simply seek other audiences and other avenues. It is the incentive structures that will
62.
by ryandv 11mo ago
> tiered approach for transport that limits public exposure where better alternatives exist. Travelling to a testing center almost certainly puts me within proximity of COVID patients at one point, particularly in the waiting room. Sitti
63.
by ryandv 11mo ago
XIRR is laughably trivial with automatic differentiation in Haskell. Take as many iterations from the resulting [Double] as desired: type Cashflow = (Text, Day, Double) irr :: V.Vector Cashflow -> [Double] irr = fmap (flip
64.
by ryandv 11mo ago
Dijkstra was so based.
65.
by ryandv 11mo ago
This is more or less the basis of a lot of western esotericism and ceremonial magick. Consider it a weaponization of the placebo effect, or the closest thing to creatio ex nihilo one can personally experience. Dialogue with the purveyor o
66.
by ryandv 11mo ago
> But the terminally-online space has seeped into real life all over the world. That's Baudrillard's point, who popularized one sense of the term "simulacrum." Not quite real, but not quite fiction either - something
67.
by ryandv 11mo ago
> In practice programmers tend to avoid writing the kind of program where anything can happen. My faith in this presumption dwindles every year. I expect AI to only exacerbate the problem. Since we are on the topic of Carmack, "ever
68.
by ryandv 11mo ago
That's right - immutability enables equational reasoning, where it becomes possible to actually reason through a program just by inspection and evaluation in one's head, since the only context one needs to load is contained within
69.
by ryandv 1y ago
Filesystems and folders are foreign and elusive concepts to gen Z. https://www.theverge.com/22684730/students-file-folder-direc...
70.
ILGA Consultative Status Controversy(en.wikipedia.org)
1 points by ryandv 1y ago|0 comments
71.
by ryandv 1y ago
People are coming to the realization that Ruby is a fundamentally insecure language. I've given my reasoning for this, though with respect to a discussion on static analysis, here [0]. Ruby, Rails, the library ecosystem, and the entire
72.
by ryandv 1y ago
It is my civic duty as a citizen of this country to uphold the values of liberalism.
73.
by ryandv 1y ago
This is like saying the non-negative integers under addition, lists under append, and strings under concatenation are all just misnamings of the semigroup operator. https://hackage.haskell.org/package/base-4.21.0.0&#x2F
74.
by ryandv 1y ago
Yes, this is the implementation I have seen in other dialects.
75.
by ryandv 1y ago
PostgreSQL's `DISTINCT ON` extension is useful for navigating bitemporal data in which I want, for example, the latest recorded version of an entry, for each day of the year. There are few other legitimate use cases of the regular `DIS
76.
by ryandv 1y ago
Set theory... There are self-identifying "senior software engineers" that cannot understand what even an XOR is, even after you draw out the entire truth table, all four rows.
77.
by ryandv 1y ago
> I don't like talking about a heterogeneous group of people > many such people in the Ruby community. In which case, this presumes that the values you share with the Ruby community are positive - otherwise you would be talking a
78.
by ryandv 1y ago
Obviously not [0]. [0] https://news.sky.com/story/fresh-trans-prisoner-row-as-girls...
79.
by ryandv 1y ago
> natural languages are not only not sufficient for the task of programming, Downthread there is an example of an ICPC problem statement, [0] given as natural language, (modulo some inequalities and example program inputs/outputs)
80.
by ryandv 1y ago
> Was Rousseau part of basic or applied science? This one is easy - neither. The term "science" has gone through semantic dilution in a manner similar to how everyone is now an engineer - software engineer, prompt engineer, san
81.
by ryandv 1y ago
zzz..
82.
by ryandv 1y ago
I have every confidence that even current generation state-of-the-art artificial intelligence will have far superior facilities at debugging and managing the complexity of even its own bare metal programming output than humans. Why? Conside
83.
by ryandv 1y ago
They can, trivially, with tool [0] usage. [0] https://modelcontextprotocol.io/specification/2025-06-18/ser...
84.
by ryandv 1y ago
Like real LLMs it's a bit of a slot machine, but my comment history will assure you that the jackpots are far more attainable.
85.
by ryandv 1y ago
The best way to get a strong answer is to post boldly incorrect statements. Then I get other people to write my actually-desired arguments for me. I call it, "wetware LLM prompt engineering".
86.
by ryandv 1y ago
Programming languages are obsolete in the LLM era. What current generation AI has revealed is that English is actually the ultimate representation of computer programs and systems, which is both sufficiently terse and precise to economicall
87.
by ryandv 1y ago
In a dynamic language where code that produces such a side effect is admitted by the (lack of) compiler/typechecker, sure; however a static checker would probably ensure, before runtime, that said binding indeed refers to a str, now an
88.
by ryandv 1y ago
In a Turing complete dynamic language I believe that some properties of the runtime would be undecidable. The advantage of static typing is that many (most?) type systems are sufficiently constrained (i.e. not Turing complete) such that the
89.
by ryandv 1y ago
Why are you not pasting the full sentence and blatantly strawmanning by taking my words out of context? > high school geometry classes are just basically using cleaned up and modernized texts based on Euclid's Elements, right? So yo
90.
by ryandv 1y ago
This is what I have been saying for years. The far-left progressives have literally raped language beyond all recognition. War is peace. Freedom is slavery. Men are women.

More ›