jabowery

9 ms·

31.
Process System Causality and Quantum Mechanics: A Psychoanalysis of Animal Faith(arxiv.org)
1 points by jabowery 3y ago|2 comments
32.
by jabowery 3y ago
We shall argue in this paper that a central piece of modern physics does not really belong to physics at all but to elementary probability theory... When we extend probability theory by allowing cases to count negatively, we find that the H
33.
Saurabh Kumar's fast-cmix wins €5187 Hutter Prize Award(groups.google.com)
7 points by jabowery 3y ago|1 comments
34.
by jabowery 3y ago
Before shoot-from-the-hip comments on this, click through the URL and read the explanation for why the Hutter Prize is more important than mere language modeling.
35.
by jabowery 3y ago
The implications of this go beyond mere "AI" to the ethics of how we treat data in the information age, but I suspect people aren't going to see the larger implications until they see the "narrow" implications in &q
36.
by jabowery 3y ago
I would venture to guess most college graduates familiar with Python would be able to write a shorter program even if restricted from using hexidecimal representation. Agreed, that may be the 99th percentile of the general population, but
37.
by jabowery 3y ago
The point of this "IQ Test" is to set a relatively low-bar for passing the IQ test question so that even intellectually lazy people can get an intuitive feel for the limitation of Transformer models. This limitation has been poin
38.
by jabowery 3y ago
Yud is doing more than his share of generating misconstrual of his own statements as evidenced by the laws and regulations being enacted by people who are convinced that AGI is upon is. Ironically, they're right in the sense that the g
39.
by jabowery 3y ago
Wrong output. What you call "code golf" is the essence of the natural sciences: Inducing natural laws from the data generated by those natural laws. In this case, the universe to be modeled was generated by: print(‘’.join([f’{xin
40.
by jabowery 3y ago
It doesn't take much to check the output of that and see it isn't off by a large amount. As for the answer, look at it in groups of 5 bits.
41.
by jabowery 3y ago
The "more complex task in mind" was, of course, to generate the "shortest" program. GPT-4, by asking for a "certain pattern" is attempting to have you do the intellectual heavy lifting for it -- although in th
42.
by jabowery 3y ago
There are plenty of those who purport AGIs threaten us and conflate "existence" with "potential". This is aimed at those driven to hysterics by such.
43.
by jabowery 3y ago
Ask any purported “AGI” this simple IQ test question: What is the shortest python program you can come up with that outputs: 0000000001000100001100100001010011000111010000100101010010110110001101011100111110000100011001010011101001010110110
44.
by jabowery 3y ago
If you think that $100/month incentivises "plenty of investment" compared to the tens of billions put into less principled "SOTA" measures, I suppose that says all that needs to be said about your credibility.
45.
by jabowery 3y ago
The failure is that of the machine learning world to underwrite the prize . There is no greater potential risk adjusted return to the field. $100/month paid out over the lifetime of the prize must be compared against the investments i
46.
by jabowery 3y ago
Saurabh Kumar has submitted "Fast Cmix" to The Hutter Prize for Lossless Compression of Human Knowledge. The Judging Committee appreciates Saurabh Kumar's compliance not only with the rules of the contest but with the provisi
47.
Hutter Prize Entry: Saurabh Kumar's “Fast Cmix” Starts 30 Day Comment Period(groups.google.com)
1 points by jabowery 3y ago|5 comments
48.
by jabowery 3y ago
It would be interesting to see someone like Tromp explore binary FOL the way he's explored binary lambda calculus*. There are good reasons for going the FOL direction since functions are degenerate relations. While it is true that fu
49.
by jabowery 3y ago
Yep. Tromp is indeed a legend I recall running across back when the Hutter Prize was first introduced and people were making noises about the "arbitrary choice of UTM" as though that was a good reason to not use lossless compress
50.
Shortest meta-circular description of a universal computational structure?(community.wolfram.com)
3 points by jabowery 3y ago|5 comments
51.
by jabowery 3y ago
To quell AGI hysteria I've posed a simple Algorithmic Information Theoretic IQ Test question: What is the shortest program you can come up with that outputs this string: 00000000010001000011001000010100110001110100001001010100101101100
52.
by jabowery 4y ago
It may be unfair to the LLM community to pick on them over their ignorance of Algorithmic Information as model selection criterion since this model selection criterion has been inexcusably ignored by the entirety if the natural sciences for
53.
by jabowery 4y ago
"Tendencies of physicians in training to be overconfident have to be taken into consideration to ensure the appropriate degree of supervision and feedback." https://en.wikipedia.org/wiki/Dunning%E2%80%93Kruger
54.
by jabowery 4y ago
Thank you for your medical diagnosis of my speech patterns. But the fact that you conflate the 2 decade old AIXI with the 5 decade old Solomonoff Induction despite my attempt to filter out ignoramuses with the 2 fallacies (neither of which
55.
by jabowery 4y ago
Yes, I know what your point is. I'm just wondering if the distribution of "VCs" has a fatter tail than you think. The very name of this website, "ycombinator" is rather "on the spectrum" but it is obvious
56.
by jabowery 4y ago
The flip side of that wisdom is that investors don't invest in technologies, the markets for which they know nothing about. See "technical market research".
57.
Investors Serious About Application of Solomonoff Induction to Model Selection?
2 points by jabowery 4y ago|9 comments
58.
Interval Research Logic CAD IP Languishes(vimeo.com)
2 points by jabowery 4y ago|0 comments
59.
Challenge: Do this logic frequency divider in 6 NOR gates (click leftmost “L”)(falstad.com)
2 points by jabowery 5y ago|0 comments
60.
GPL Release of IVR Implementation of Liquid Democracy(github.com)
2 points by jabowery 5y ago|2 comments

More ›