ryandv

6 ms·

1.
by ryandv 8mo ago
Experiment for yourself. The Buddhists have kept a tradition that makes falsifiable claims and provides steps for reproduction. I have reproduced some of these claims myself. What differentiates this practice from the natural science is its
2.
by ryandv 8mo ago
You must learn to sit perfectly still with every muscle tense for long periods. Various things will happen to you while you are practising these positions; they must be carefully analysed and described. Note down the durati
3.
by ryandv 8mo ago
With proper management of windows and screen real-estate as well as minimizing or even eliminating mouse usage I can hypothesize a 5000x speedup due to your greater ability to orchestrate and coordinate agents at scale .
4.
by ryandv 8mo ago
I don't know. There's lots of options. At the extreme ends it would be interesting to see these agents work on something like boost, or metamath/set.mm, to choose deliberately obtuse candidates. Perhaps a web browser.
5.
by ryandv 8mo ago
Yes... I've asked for the same - show us the goods with a Destroy All Software style screencast; otherwise the default position is that this entire HN post is just more AI generated hallucination. Nobody's taken me up on this offe
6.
by ryandv 8mo ago
I don't know. You may as well say that after reading Uncle Bob's Clean Code and adding 50 layers of indirection, you are now writing at "enterprise scale." Perhaps you even hired an Agile SCUM consultant, and now look at
7.
by ryandv 8mo ago
Looks like there are some daemons lurking in the zeitgeist.
8.
by ryandv 8mo ago
Comments exist to provide information beyond primitive, domain-agnostic types (String, Int, etc.), but without the overhead of more elaborate modelling into domain-specific types (ChequingAccounts, Widgets, and so forth). I may want to comm
9.
by ryandv 9mo ago
People have been doing this for millenia.
10.
by ryandv 9mo ago
> In many respects, it’s an essential feature of commanding language. Compressing multiple meanings into fewer words is the essence of poetry and literature. Aye, perhaps prompting is the be-all-end-all skill, after all: the ability to d
11.
by ryandv 9mo ago
I think there is no equivocation or ambiguity here, unless you are me at age 5 asking why aliens have landed in Mexico. I would hazard that you are underestimating the impact of these rhetorical tactics, but I've not the energy to aggr
12.
by ryandv 9mo ago
It's really quite potent in terms such as "racism" or "gender" which have seen unilateral attempts at redefinition.
13.
by ryandv 9mo ago
> Another phrase that comes to mind is "Plausible Deniability": By uttering ambiguous sentences you can deny all but one possible meanings of what you say. And talking to different audiences at different times you can claim you
14.
by ryandv 9mo ago
Right. See also Paul J. Bagley, "On the Practice of Esotericism," 1992. https://sci-hub.se/https://www.jstor.org/stable/2709872?orig...
15.
by ryandv 9mo ago
Would you dignify timecube with a measured response? I wouldn't - I would call it out for the drivel it is, assign it the ridicule it rightfully deserves, and move on, as I have done here.
16.
by ryandv 9mo ago
minikanren folks were already experimenting with program synthesis given a test suite that needs to be fully satisfied.
17.
by ryandv 9mo ago
I've found it useful in limited cases for writing optics which can be incredibly obtuse, sometimes boilerplatey, and yet ultimately accomplish what in other languages might be considered utterly trivial use cases... consider the follow
18.
by ryandv 9mo ago
The inverse of this is the wisdom that pearls should not be cast before swine. If you want to increase literacy rates, it's unclear to me how engaging people on an illiterate medium will improve things. Technical topics demand a techni
19.
by ryandv 9mo ago
This is so vindicating.
20.
by ryandv 9mo ago
What I want to see is a Destroy All Software style screencast where somebody actually demonstrates their AI workflow on legacy code.
21.
by ryandv 9mo ago
> BOLD response and fMRI sampling rates Funny, because these exact measures [0] were brought up in response to a similar claim I made over a year ago [1] about the resolution of our instrumentation. There would appear to be a worrying tr
22.
by ryandv 10mo ago
The signing keys used by the Certificate Authority to assert that the client (leaf) certificate is authentic through cryptographic signing differ from the private keys used to secure communication with the host(s) referenced in the x509 CN&
23.
by ryandv 10mo ago
Holy fuck. I should just grow coconuts or something in the remote Philippines. > Most software engineers never use any comp sci theory at all, but especially not graph theory or shit like Dijkstras algorithms, DFS, BFS etc. But we are ta
24.
by ryandv 10mo ago
Do you understand the comment thread you are replying to?
25.
by ryandv 10mo ago
> the global leaderboard had to be pulled. Frankly I'm better off with it being this way instead of the sweaty cupstacking LLM% speedrun it became as it gained popularity.
26.
by ryandv 10mo ago
Why try any more? There are so many fucking frauds in this field.
27.
by ryandv 10mo ago
They... sort of are though? A year or two ago I just waited until the very last problem, which was min-cut. Anybody with a computer science education who has seen the prompt Proof. before should be able to tackle this one with some effort
28.
by ryandv 10mo ago
Obligatory uwaterloo plug. I didn't even end up graduating after 3 years of compsci but still ended up with almost two years of work experience. Colleagues in my early career were still paying down student debt while I had already paid
29.
by ryandv 10mo ago
I commend you for your choices. This is the way in the 2020s.
30.
by ryandv 10mo ago
I'll corroborate your position.

More ›