_proofs

7 ms·

31.
by _proofs 2y ago
this is the ideal but does not appear to really be the practice -- regardless of whether you're applying direct or not.
32.
by _proofs 2y ago
where does the condescension come from? the loftiness/lording over people who "just don't get it", that clearly comes across in your communication? this is a really non-productive comment. you have an opportunity to teac
33.
by _proofs 2y ago
this sounds like the modern, more privileged version of the coal mine's "company shop", and all the dependencies that industry created as "nice gestures" to their employees just to keep them around and on-site as mu
34.
by _proofs 2y ago
Delve was also an addition to PoE, which I imagine had its own spike in google searches relative to that word.
35.
by _proofs 2y ago
just because something can generate an output for you, does not make a need for discernment and application obsolete. like another commenter, i do not have a lot of faith, that people who do not have at minimum: fundamental fluency in pro
36.
by _proofs 2y ago
HN is absolutely social media, it's just attempting to blend aggregator with online forum. you can network, dm, and users who post frequently are often recognized here. you can doom-scroll as much as anywhere else whether it be in the
37.
by _proofs 2y ago
i am not sure i see a use case where that precondition is anything but mandatory (and at least a requirement in app space for the related data), if youre intending on making practical use of the algo. if theres a risk that your input is uns
38.
by _proofs 2y ago
fair point, and i think i can appreciate more where you are coming from now. however i do not think the alternatives need to be proposed at this moment in time because right now, the discussion is about holding people who intentionally ref
39.
by _proofs 2y ago
you are wildly conflating the difference between a naturally occurring evolution in a word's usage and meaning (ie: slang becomes canon becomes slang cycle), and intentionally misusing an existing, established meaning, and then pushing
40.
by _proofs 2y ago
could not have said it more succinctly, imo. i'm inclined to believe Orwell would have disagreed with OP, and would be asking himself -- why is there such a distinct push by those who benefit from the reframing, to reframe what Open So
41.
by _proofs 2y ago
imo, this is patently not what Orwell documented and criticized via narrative example, and certainly was not what i took as his position on the evolution of naturally occurring languages, in the alluded to book -- he is a writer, and i imag
42.
by _proofs 2y ago
idk man intentionally adding a "truth" bias indirectly denies a lot of human existence and experiences -- it is inherently invalidating, and i am not totally sure just how much of it is good for intellectual pursuit (and also in r
43.
by _proofs 2y ago
as someone who suffers similar experiences, especially ocd related to nail-biting and rumination/adhd rabbit-holes, something i've adopted is a shift in attitude: i decided a while ago i was going to stop punishing or shaming myse
44.
by _proofs 2y ago
i'd say reddit is a pretty great example, twitter, even instagram or facebook comments, where bot generated traffic and comments are a norm. you have plenty of bot or "AI/LLM" generated content, that is consumed -- up to
45.
by _proofs 2y ago
holy fuck can we please stop letting circumstances be the excuse we continuously fall back on, when enabling and reinforcing behavior with long-term impact and consequences. imagine all of the times in history where this type of enabling of
46.
by _proofs 2y ago
you mean the same woman who has campaigned against, fear-mongered the risks of encryption vs. authority, and rallied for full control over software implementation(s) used by the public (and available to law enforcement/government et. a
47.
by _proofs 2y ago
i feel it is worth pointing out, as another commenter highlighted, language and even symbolic more abstract languages, bring about fluency if you've practiced "speaking and writing" it enough. i think native speakers hardly &
48.
by _proofs 2y ago
this is actually a fantastic comment and as someone who thinks more visually, was greatly appreciated. thank you.
49.
by _proofs 3y ago
if i'm trying to practice problem solving, why would i feed my problem into something that's going to spit out -- in the best case -- suggestions depending on the completed-ness of my input, and worse case: a proposed solution. if
50.
by _proofs 3y ago
herb has a talk where he describes its rationale. it is known as sticky syntax in relation to auto (but specifically when the type on the rhs is explicitly declared and not abstracted away with a function signature) it removes narrowing, in
51.
by _proofs 3y ago
while i appreciate the comment about games, i think it is worth considering the relationship between creativity and ego, and what happens when you take yourself, and your ideas, too seriously. john gleese has a great take on creativity whic
52.
by _proofs 3y ago
this is a strange take for me to read -- i've written quite a decent amount of lua, and it is the first language i used to learn (zero programming experience prior) when i eventually got exposed to python (but more heavily C/C++,
53.
by _proofs 3y ago
this feels like a straw-man to deflect away from the actual point. i really wish your message met my standards, so i am just going to put my fingers in my ears until it does. ..hyperbole aside.. semantics are important, but only when defi
54.
by _proofs 3y ago
"comply or else -- no matter what." i hate that i see these kinds of authoritarian, victim-blaming takes when it comes to the implicit "establishing law and order" -- you did not deserve to die, but allow me to imply you
55.
by _proofs 3y ago
if you're on android materialistic is p good.
56.
by _proofs 3y ago
there is an inherent social contract w.r.t. freedom and the societal notion of collective liberty -- freedom provides agency to both good and bad actors. a free society implicitly accepts this as a risk-reward in order to maximize freedom,
57.
by _proofs 3y ago
while i feel as if i largely understand what you're pointing out, i kinda want to offer my own speculation as a SWE who is very guilty in thinking in terms of sequence diagrams (and also more formal UML) -- sometimes UML is so fucking
58.
by _proofs 3y ago
"the things that you love should be the things that you do, and the things that you do should be the things that you love." -r. b.
59.
by _proofs 3y ago
i politely disagree. as another commenter pointed out it depends on the size and overall subreddit visibility. you can find visible and recognized posters just like you would any online forum in smaller subreddits centered around a thing li
60.
by _proofs 3y ago
i paid for sync moons ago and have used it exclusively to browse reddit, even going so far as to resign myself to android to use it (and also to use Materialistic) because of how much i favor the experience, configurability, and UX -- it

More ›