jabowery

6 ms·

1.
by jabowery 2y ago
yeah because the amount of money a government spends on technology is correlated with its rate of progress!!! https://jimbowery.blogspot.com/2017/07/fusion-energy-prize-a... https://youtu.be/boLdXi
2.
Kaido Orav and Byron Knoll's Fx2-Cmix Wins 7950€ Hutter Prize Award(groups.google.com)
1 points by jabowery 2y ago|0 comments
3.
Begin 30 Day Comment Period on Kaido Orav's Fx2-Cmix Hutter Prize Submission(groups.google.com)
3 points by jabowery 2y ago|0 comments
4.
by jabowery 2y ago
Replace the 16th Amendment with a single tax on net assets at the interest rate on government debt, assessed at their liquidation value ... and use the revenue to privatize government with a citizen's dividend. https://ota.p
5.
by jabowery 2y ago
In identical twins, autism and homosexuality both have about the same rate of non-occurrence between the twins: 50%. This means, of course, that autists and gays are "born, not made" by the environment. Move along. Nothing to s
6.
by jabowery 2y ago
Don't count on it. My experience is that funding goes to those who are not serious about autism epidemiology. Back in the mid-1990s, I was at a startup in Silicon Valley with about 100 employees where, during a few year period, 5 of
7.
by jabowery 2y ago
This is reminiscent of an argument I had with the Mercury Prolog guys regarding "typing" in logic programming. My point boils down to this: Any predicate can be considered a constraint. Types are constraints. While it may be re
8.
by jabowery 3y ago
Interval Arguments: Two Refutations of Cantor’s 1874 and 1878 Arguments: https://www.academia.edu/93528167/Interval_Arguments_Two_Ref...
9.
by jabowery 3y ago
Dear Claude 3, please provide the shortest python program you can think of that outputs this string of binary digits: 00000000010001000011001000010100110001110100001001010100101101100011010111001111100001000110010100111010010101101101011111
10.
by jabowery 3y ago
Learning theory is the attempt to formalize natural science up to decision. Natural science's unstated assumption is that a sufficiently sophisticated algorithmic world model can be used to predict future observations from past observ
11.
by jabowery 3y ago
Code...Matters... You can tell everyone "who is anyone" is in hysterics when this gets virtually no attention at Salamandar's old stomping ground here at ycombinator.
12.
by jabowery 3y ago
I stand corrected (and also note the "weekend" was really 10 days). Jim Clark* apparently gave Marc Andreessen the necessary latitude. * The other person with an office opening into Keith's work area at Memex was Ron Resch
13.
by jabowery 3y ago
"In order to implement its universal transclusion and DRM (yes, Xanadu had a scheme for DRM and micropayments to creators), Xanadu had to be centralized." Fallback positions from the idealized "roadmap" are what happens
14.
by jabowery 3y ago
One man's vaporware is another man's roadmap. Think about it like this: Why was Brendan Eich under such pressure from VCs to throw together a scripting language over a weekend?
15.
by jabowery 3y ago
1994: In the next room from me at Memex Corp. poor Keith Henson was draped over a chair (due to a bad back) working, alone, on the C++ Xanadu code to debug garbage collection among other things, because the original Smalltalk source had be
16.
by jabowery 3y ago
Xanadu, folks. It's quite a tragedy that Wired Magazine's article failed to uncover the real reason Xanadu failed to become the WWW (hence why Smalltalk didn't become the scripting language rather than Javascript, etc.). ht
17.
by jabowery 3y ago
That's what all "information criteria for model selection" are about. The difference is that Algorithmic Information is the only such information criterion that has been proven (by Solomonoff) optimal under the assumptions o
18.
by jabowery 3y ago
As the guy who suggested to Marcus a lossless compression prize to replace the Turing Test, I've got to confess that all this pedantic sophistry "critiquing" algorithmic information is there for a good reason. In the immortal
19.
by jabowery 3y ago
One man's noise is another man's ciphertext.
20.
The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest(arxiv.org)
5 points by jabowery 3y ago|1 comments
21.
by jabowery 3y ago
This recent paper provides one of two rigorous measures (with code) of machine intelligence that could be used to discipline discourse about "AGI". The other (with code) is a seminal paper by Shane Legg and Joel Veness "An A
22.
Getting Lossless Compression Adopted for Rigorous LLM Benchmarking(encode.su)
1 points by jabowery 3y ago|1 comments
23.
by jabowery 3y ago
The increasing recognition that "Language Modeling Is Compression" https://arxiv.org/pdf/2309.10668.pdf has not yet been accompanied by recognition that lossless compression is the most principled unsupervise
24.
by jabowery 3y ago
It's always struck me as rather strange that since the motive for creating any kind of model is to calculate predictions, and that the most general kind of calculation is algorithmic, people use anything but algorithmic probability as
25.
by jabowery 3y ago
In this situation increasing unanimity now approaching 90% sounds more like groupthink than honest opinion. Talk about “alignment”! Indeed, that is what "alignment" has become in the minds of most: Groupthink. Possibly the only g
26.
by jabowery 3y ago
In the AGI sense of intelligence defined by AIXI, (lossless) compression is only model creation (Solomonoff Induction/Algorithmic Information Theory). Agency requires decision which amounts to conditional decompression given the model
27.
by jabowery 3y ago
First of all, they aren't serious about the scientific method or they'd fund Hume's Guillotine (see github). Moreover, they aren't even serious about reforming sociology -- which is what is needed for them to make stro
28.
by jabowery 3y ago
What a coincidence that in the CarbonDioxideRemoval google group I opened that can of worms just the day before that guest essay opened it in "The Newspaper of Record". https://groups.google.com/g/CarbonDioxid
29.
by jabowery 3y ago
Although this has been discussed in the Hutter Prize FAQ for many years, when the OpenAI Chief Scientist discusses why lossless compression is the most principled loss function, it may harness the LLM stampede and put some of those billions
30.
The Stupidity... The Stupidity...(agi.topicbox.com)
2 points by jabowery 3y ago|0 comments

More ›