usgroup

7 ms·

1.
Snakes and Ladders: A Statistical Analysis(emiruz.com)
1 points by usgroup 8mo ago|0 comments
2.
by usgroup 8mo ago
https://awesomeclaude.ai/ralph-wiggum
3.
Explainable Query Tagging (NLP)(emiruz.com)
1 points by usgroup 8mo ago|0 comments
4.
by usgroup 8mo ago
Well that would be extra information. Wherever you find the edge of your information, you will find the "problem of induction" as presented above.
5.
by usgroup 8mo ago
yes, if you decide one of them is much more likely without reference to the data, then it will be much more likely :)
6.
by usgroup 8mo ago
This issue happens at the edge of every induction. These two rules support their data equally well: data: T T T T T T F rule1: for all i: T rule2: for i < 7: T else F
7.
Explainable Unsupervised Query Tagging(emiruz.com)
2 points by usgroup 8mo ago|0 comments
8.
by usgroup 8mo ago
SWI Prolog is just fine, and you'll find it to be batteries included unlike many other choices. The first thing to learn is the "Prolog state of mind", or how to express your intentions in Prolog without trying to turn it int
9.
by usgroup 8mo ago
Personally I don't like the Standard ML based mash-ups. I think Curry is an interesting take on logic programming. A sort of Haskell meets Prolog.
10.
by usgroup 8mo ago
I can recommend "Simply Logical". I also suggest Advent of Code as a nice way to cut your teeth with expressing thoughts with Prolog.
11.
by usgroup 8mo ago
Generally speaking, Prolog syntax is ridiculously simple and uniform. Its pattern matching is the most universal of any programming language partly because of this.
12.
by usgroup 8mo ago
Yeah that sounds like me too. Prolog became a fetish a few years ago. I used it intensely for 2 years, wrote a lot about it, until it became a part of me. Its intangible what it does to you, but its the dual of what you might expect.
13.
by usgroup 8mo ago
No, datalog is a decidable subset of Prolog. That changes everything.
14.
by usgroup 8mo ago
I think this article is problematic because Prolog is truly a different paradigm which requires time to understand. Laments about no strings, no functions and "x is confusing" read like expectations of a different paradigm. Prolog
15.
Snakes and Ladders: a short statistical analysis(emiruz.com)
2 points by usgroup 9mo ago|0 comments
16.
PyEvidence: Practical Evidence Theory for Python(github.com)
6 points by usgroup 9mo ago|0 comments
17.
Pyevidence: Practical Evidence Theory(github.com)
1 points by usgroup 9mo ago|0 comments
18.
Alias Method(en.wikipedia.org)
2 points by usgroup 9mo ago|0 comments
19.
by usgroup 9mo ago
evil(x) -> not(do(x)) which equates to not(evil(x)) or not(do(x)). The negation would be evil(x) and do(x) by DeMorgan's law. If what you mean is all(x), evil(x) -> not(do(x)) then the negation would be exists(x), evil(x) and do(
20.
by usgroup 10mo ago
Thanks for this reference; I found this paper interesting, but it is a satisfiability solver. Inherently it cannot quantify the probability of a subset of events, but it can find a probability assignment given a set of constraints. I.e. pro
21.
by usgroup 10mo ago
It's a typo. Its supposed to be a comma not a pipe, and read P(Q ⊆ X , ∀ x ∈ Q (x = 1)). I.e. Q is some subset of X and for all x in Q, x=1.
22.
by usgroup 10mo ago
I think that's overly reductivist. In the general case DS operates on up to 2^M sets where M is the cardinality of the hypothesis space: worst case scenario. That's not true if hypotheses are hierarchical, or if evidence is freque
23.
Dempster-shafer and reasoning about sets(emiruz.com)
22 points by usgroup 11mo ago|8 comments
24.
Dempster-Shafer and modelling beliefs about sets(emiruz.com)
1 points by usgroup 11mo ago|0 comments
25.
by usgroup 11mo ago
Injective doesn’t mean bijective, and that seems obvious. That is, presumably very many inputs will map to the output “Yes”.
26.
by usgroup 11mo ago
Doing Advent of Code 2025 in SETL this year.
27.
The SETL Programming Language(en.wikipedia.org)
13 points by usgroup 11mo ago|5 comments
28.
Bank of England warns of growing risk that AI bubble could burst(theguardian.com)
7 points by usgroup 11mo ago|1 comments
29.
by usgroup 1y ago
I think more often people cast the widest net and then filter what comes back based on “is this better than what I have”. I’m not sure that the process the author describes is all that common in practice even if it is eminently sensible.
30.
by usgroup 1y ago
:-) I would have hired you!

More ›