usgroup

18 ms·

211.
Deriving numbers, recursion and more from basic combinators(doisinkidney.com)
2 points by usgroup 3y ago|1 comments
212.
by usgroup 3y ago
:-) Well, nature also makes you, and you solve problems? So by transitivity ...
213.
by usgroup 3y ago
It's noteworthy that you are describing one of the many ways to do a heuristic search. It doesn't mean that the general form of a problem is not NP-hard, just that a good enough solution can be approximated or an optimal search ca
214.
by usgroup 3y ago
Could be a positive but is it? What does a non-toy problem requiring a bit of logic programming look like? Perhaps a routing or a scheduling problem? Would you not use a MIP or a constraint solver for that? They are typically callable from
215.
by usgroup 3y ago
If you know of a few serious applications of miniKanren in the wild, it would be great to see. I also like the idea of logic programming as a library but I’ve seen enough Prolog to know that making logic programming viable takes a sophistic
216.
by usgroup 3y ago
I think in reality no-one rarely cares for "complete" search because you're typically trying to do the least amount of searching possible. Its easy to write a breadth first Prolog meta-interpreter in a few lines of code, but
217.
by usgroup 3y ago
I'd start by learning Prolog. It is a border-line mystical experience. It took me a lot longer to understand Prolog and become effective in it than anything else I've learned, but nothing else has changed my perspective about prob
218.
by usgroup 3y ago
I'd say the difference is that Prolog -- and its derivatives like Datalog and Problog -- have seen a huge amount of usage and solve real problems. Commercial implementations like SICStus support varied specialised mission critical syst
219.
by usgroup 3y ago
I have some experience here and I spent 50 hours or so on J, but frankly I found the paradigm too biased. I’m not sure it helps —- as a tool of thought —- to conceive every problem as a nesting of arrays. IMO, having freedom to produce data
220.
by usgroup 3y ago
I think it’s useful to draw a Chomsky-esque distinction here between understanding and usefulness. I think LLMs haven’t advanced our understanding of how human language syntax/semantics work, but they’ve massively advanced our ability
221.
by usgroup 3y ago
I’m guessing the bot has access to the schema of the data and then builds sql queries to fetch subsets into python for plotting. Is that right? You could potentially stage the query in two parts — one in which it builds the query that you e
222.
by usgroup 3y ago
Take my upvote!
223.
Tsetlin machine – the other AI toolbooks(github.com)
2 points by usgroup 3y ago|0 comments
224.
by usgroup 3y ago
Yeah I think that's right. I'm doing Advent of Code in Prolog at the moment and checking other people's solutions -- I've yet to see 2 Prolog solutions which are mostly the same. The admixture you described results in co
225.
by usgroup 3y ago
Perhaps a generic comment, but part of the problem with new programming languages is that they are a massive achievement for -- usually -- the single human that made them. There is just no way that you'll invent a whole programming lan
226.
by usgroup 3y ago
Prolog is only for the brave and true: when the student is ready, the teacher will appear :-)
227.
by usgroup 3y ago
You should learn Prolog sir: for the man that has everything.
228.
Ask HN: Coding and the Mystical
2 points by usgroup 3y ago|0 comments
229.
by usgroup 3y ago
Oh that's easy: Prolog. Have a look under 2023 here for unusual applications thereof: https://emiruz.com/ and here for a book to learn it from: https://book.simply-logical.space/src/simply-logical.
230.
by usgroup 3y ago
I tried J (Iverson's successor to APL) in earnest but struggled to understand what I was supposed to do when I needed data structures other than arrays. E.g. tries, trees, hash tables and so on. The majority of the out-of-the-box vocab
231.
by usgroup 3y ago
I see. Thank you for the explanation. I didn't know about that feature of sed.
232.
by usgroup 3y ago
A Prolog Definite Clause Grammar (DCG) solution: https://github.com/emiruz/adventofcode2023/blob/main/day01/p...
233.
by usgroup 3y ago
does it deal with cases like "twone", "nineight" and so on? it doesn't appear so to me because of the leading sed statements would commit the interpretation regardless of what happens next, but perhaps there is some
234.
by usgroup 3y ago
would you mind me asking what motivates you to write as much as you have? just writing one book is bucket list item for me, yet here you've written >= 13! do you write for an audience or is it perhaps primarily to consolidate your t
235.
by usgroup 3y ago
The reason Stan, Nimble, PyMC fit via simulation is because joint distributions generally don’t have an analytical form and require global fitting methods to identify. I’d hazard to guess that if this package fits incrementally without simu
236.
Domicles: Sudoku with Dominoes(emiruz.com)
9 points by usgroup 3y ago|0 comments
237.
by usgroup 3y ago
It isn’t obvious to me why you think iPhones and iPads have retarded some of the cohort? Can you expand on the causality of it and what ages are you referring to ?
238.
by usgroup 3y ago
There is a straightforward solution if you have enough time to commit. Your kids will likely prefer to play with you than sit on the screen every time. I think the bigger problem is that “we” just don’t “have the time” and fighting the defa
239.
by usgroup 3y ago
Children and everyone else … I can’t watch a movie anymore without either reading something or playing chess at the same time just to up the frequency of those hits.
240.
by usgroup 3y ago
I feel it’s obvious in some respect that if “screen time” means TikTok or YouTube binging then there’s probably something more developmentally useful you could be doing. That screen time might lead to a maladaptive brain as evidence by MRI,

More ›