photonthug

48 ms·

691.
by photonthug 3y ago
> this happens because the rules enforcement can only happen effectively if the rules themselves are perfect and complete and that gets harder to guarantee with scale and speed of iteration. IMHO, project-level assertions about initializ
692.
by photonthug 3y ago
Never heard of https://import-linter.readthedocs.io/ before. Not sure if I like this type of solution, but it's interesting, and certainly the problem is real.
693.
by photonthug 3y ago
Elixir is amazing, see also stuff like https://github.com/bitwalker/libcluster . I'm always surprised there's not more excitement generated by the possibility of having language-level features that would no
694.
by photonthug 3y ago
Ok, I'll bite. I've always thought that agent-oriented / reactor / proactor type patterns are elegant and yet under-utilized and under-appreciated. If I had to guess about why.. maybe these systems scale well in terms
695.
by photonthug 3y ago
And yet of course it runs tasks all the time in thousands of projects for decades, so there's the possibility that you're being overly literal and pedantic about the whole thing. Make specifies DAGs and helps resolve paths in the
696.
by photonthug 3y ago
This is the most real criticism of makefiles I've seen in this thread. There's fixes for it, but it usually involves parsing `--print-data-base` output, which is pretty awkward without reaching for a helper language like python&#x
697.
by photonthug 3y ago
It might be good to take a step back, and realize that the tool which is most "clear" is almost always the one which the user is most familiar with. It doesn't follow that the "clear" tool is actually more simple o
698.
by photonthug 3y ago
Explicit is better than implicit? If everything was implicitly PHONY then of course people would complain about that as well. This is a bit like typing in function-signatures. But what's the proposal here, acknowledgement that your
699.
by photonthug 3y ago
Other places to start reading about entropy in biology: https://en.wikipedia.org/wiki/Autopoiesis https://www.nature.com/articles/d41586-019-01318-z
700.
by photonthug 3y ago
On a related note: Tchiakovsky's novel Children of Memory has some characters of dubious sentience that almost seem based on LLMs. Book is 3rd in a trilogy, but anyone who likes Chiang will like the series.
701.
by photonthug 3y ago
> Think about some of the logistics. Weighing this against the logistics of paying down student debt for a lifetime, I imagine lots of students would prefer a 20 minute shuttle ride for a few years if they can cut tuition in half by buil
702.
by photonthug 3y ago
Well I don't really enjoy researching tax law, just criticizing it ;) But it does look like my intuition was pretty reasonable here. The endowments have been taxed for 6 of the 387 years of since the university was founded. Not that
703.
by photonthug 3y ago
> An option might be to start opening separate campuses, but that’s unappealing to their prospective students. Is it really unappealing to students though? Or is it just unappealing to abstracted others (like some alumni/profs/
704.
by photonthug 3y ago
70% of 53 billion is restricted, but presumably they still make significant money from interest/investment on that money. And IDK, but I assume it's all tax-free too, since the alumni probably wrote a big chunk of the tax code.
705.
by photonthug 3y ago
> I have had my card locked for traveling within the same city and spending maybe $20 at a merchant I don’t usually visit. I had it locked because of a $5 web service monthly charge - and I had verified the same charge the two prior mont
706.
by photonthug 3y ago
I don't think you need to look far to find bad papers, but for good ones doing "real science", I would maybe look for psych stuff that's next door to economics? Kahneman comes to mind
707.
by photonthug 3y ago
Good example of irritating comment that led to the odyssey above. What you say also appears to not be true. The correct assertion is maybe: If you can find an instance, and if the instance is configured to allow anonymous, then you
708.
by photonthug 3y ago
<rant> Not responding directly, just piggy-backing for lack of a better place to put this comment. The problem with Lemmy is that one gets sent to some place like https://github.com/maltfield/awesome-lemmy-instanc
709.
by photonthug 3y ago
I mean.. doesn't your logic here advocate throwing away every "lower-bound" type of result in math, suggest that it's boring/trivial to answer the smallest LLM that speaks english ( https://arxiv.org&#x2F
710.
by photonthug 3y ago
> is nonetheless obviously not conscious This argument has played out before so I'll just link to that discussion. quoting from https://www.scottaaronson.com/response-p1.pdf > There’s two responses to this. The e
711.
by photonthug 3y ago
I think what they are selling is not answers, but more like a non-metaphysical platform to propose answers within, i.e. a decent start at a scientific framework. Frameworks shouldn't be confused with answers, although they might repre
712.
by photonthug 3y ago
other related stuff: https://scottaaronson.blog/?p=1823 https://www.scottaaronson.com/response-p1.pdf https://www.lesswrong.com/posts/5pYPdmKMzDLZHe4zx/link-scott... and probably
713.
by photonthug 3y ago
author seems to be describing the kind of patterns you might make with https://argoproj.github.io/argo-workflows/ . or see for example https://github.com/couler-proj/couler , which is an sdk for
714.
by photonthug 3y ago
Not the parent, but I do understand the sentiment and I don't think it's "anti-EU" at all, and parent was clear that they don't like megacorp. Consider the following two step process: a) Megacorp monetizes people t
715.
by photonthug 3y ago
Haven't thought about this book in years. For anyone who might be confused- this is not a book about mathematical game theory. :) This book was kind of life-changing for me. I probably read it at about 13, and around the same time as
716.
by photonthug 3y ago
> This is not in exclusion to all other AI research well, even setting aside DHS, IBM is also listed as a funding partner. are you saying that after IBM gives cash to the NSF, then the NSF is fair and unbiased about publishing work that
717.
by photonthug 3y ago
yeah but funding comes with strings, and implies the ability for funders to pick the winners and losers of what is basically a new industrial sector based on who wants to play ball. so where does the funding actually come from? sure, NSF,
718.
by photonthug 4y ago
I did an undergraduate research project many years ago on Conway's surreal numbers (some people might be aware of Knuth's excellent book on the subject). This alien calculus of resurgence reminded me of that, so I went looking fo