usgroup

29 ms·

361.
by usgroup 3y ago
I’m not sure it’s a feature that you MUST think about the execution model even for trivial things :-) but that you can and should is certainly a strength.
362.
by usgroup 3y ago
I don’t think is true because ASP is not more popular than Prolog but it is essential (or at least much moreso) declarative. I think Prologs big strength amongst others is the meta interpreter and higher order functions which I think are es
363.
by usgroup 3y ago
> This is true of most (all?) languages. Well no, I’d go as far as to say that your average JS/Python dev will know very little about how their code is executed — and doesn’t need to know necessarily. SQL on the other hand is a diff
364.
by usgroup 3y ago
I think embedding Prolog is a common use case for it, but I think “constraint solver” is the wrong metaphor. Use Prolog to “reason about X”, is closer to the gist.
365.
by usgroup 3y ago
I recently read “Simply Logical” —- it makes very clear that you have to take Prolog’s execution model into account from Chapter 3 onwards. You really don’t have to go far in Prolog before you have to write a meta interpreter and think abou
366.
by usgroup 3y ago
I don’t think those are the problems since all sorts of solvers ship with prolog and it’s still a better way to write down a problem. I think it’s biggest headwind is that you have to be significantly more intelligent than the average devel
367.
by usgroup 3y ago
“ “The Japanese Did It” is not the correct answer to “Who Killed Prolog?”. Prolog was killed by the failure in the early 1980s of mainstream AI researchers to find out about Prolog, by their willingness to play along with the “appropriate
368.
by usgroup 3y ago
First its worth baring in mind that actual IQ test requires a specialist and takes a long time, so most will use something that correlates with IQ scores instead. Simple counter argument is that IQ tests are not domain specific enough and n
369.
by usgroup 4y ago
Blind people learn just fine too. Some deaf/blind people can read braille — they learn fine too. Much less data than you might think. Bare in mind most people can run the brain on 2500kCal/day. And so on.
370.
by usgroup 4y ago
"But there is water there. And two new studies—one Chinese, the other American—suggest that lunar soil may have a good deal more water in it than modern space scientists previously believed. It’s still very, very dry; NASA’sArtemis pro
371.
by usgroup 4y ago
This is not even wrong.
372.
Analog Regression(youtube.com)
2 points by usgroup 4y ago|0 comments
373.
by usgroup 4y ago
What you describe is basically how coders coming up in the last 10 years have been learning -- specific context from StackOverflow or wherever. Contrast this to the hierarchical textbook learning which came before it the intention of which
374.
by usgroup 4y ago
I do mathsy stuff and I feel this is the case with older mathematicians who did things before computers were so powerful. Those in my sample have a sharper intuition and a mechanical sympathy for maths which I admire and lack in comparison
375.
by usgroup 4y ago
I like this topic not least because it helps me answer the question "how is Philosophy relevant". Here we are again, asking elementary epistemological questions such as "what constitutes justified true belief for an LLM"
376.
by usgroup 4y ago
Of course there is, else it'd be a database. The poems, prose and histories of bears in space which it generates typically do not exist.
377.
by usgroup 4y ago
In some sense, I'm not sure intelligent/sentient is all that important when separated from what we think requires intelligence/sentience. I think we attribute less and less to sentience these days and its feels like its less
378.
by usgroup 4y ago
What I would just love to see is the out come of the following: 1. Train Chat GPT on human stuff. 2. Make Chat GPT spit out libraries of knowledge by random walk. 3. Train Chat GPT on its own stuff. 4. Do this a few times. 5. Ask it some qu
379.
by usgroup 4y ago
Well 2 year of COVID created a sudden demand which is now levelling out as contracts turnover.
380.
by usgroup 4y ago
Either it’s a “small JS app” or it’s “~65k lines of code, but not both :-)
381.
by usgroup 4y ago
> A small JS app like this blog has ~65k lines of code, across 900+ files. That doesn't include the written content, only the JavaScript and TypeScript. More or less sums up why I think FE dev has reached peak ridiculous. Good luck
382.
by usgroup 4y ago
These models have limited agency for the moment —- they just answer questions. But I see no reason it couldn’t improve itself in principle if it was given agency enough to do so.
383.
by usgroup 4y ago
i wonder if card games using the standard deck can even be copywritten? I could produce some kind of custom deck ... but then how long before people work out that they could just use a standard deck :)
384.
Ask HN: How to Monetise a Puzzle Game?
2 points by usgroup 4y ago|5 comments
385.
by usgroup 4y ago
Bare in mind that this thread is going to be biased towards people who are struggling since they are more likely to share their plight. Also bare in mind that the geography is going to make a big difference to your experience. Different co
386.
by usgroup 4y ago
i intuitively think that there is something similar in kind between a fruit fly brain and a human brain regardless of the scale, and that cracking the smaller case will somehow lead to cracking the larger one. However, rather than hope, it
387.
by usgroup 4y ago
Yeah, I feel similarly. It comes across as if Norvig just doesn’t understand the perspective. He’s translating it to his terms and making strawmen by doing so.
388.
by usgroup 4y ago
bare in mind that you're leaking information to ChatGPT -- i'm not sure that many are thinking about that in a sober way just yet.
389.
by usgroup 4y ago
Did nothing of note happen outside of deep learning the whole year?
390.
by usgroup 4y ago
Speaking from experience, I think it makes much more sense for some kind of computation. If you do DS/ML stuff in R / Python / Julia, it is much more naturally expressed as pipes through functions. If you do data plumbing typ

More ›