Advertisement · 728 × 90

Posts by Yuxi on the Wired

Post image
8 hours ago 2 0 0 0

So the closedness of the notes is entirely intentional.

8 hours ago 2 0 0 0
Post image

further update: There is a `noindex` robots directive on Substack Note pages! This means Notes cannot be discovered via search engines (if they follow the directives).
example: view-source:https://substack.com/@bodenlos/note/c-238787247

8 hours ago 2 0 1 0
Claudescape

Claudescape

1 day ago 14 2 0 0
Post image

blog.alexbeals.com/posts/claude...

1 day ago 0 0 0 0

We fear that summaries only makes the discoursetree more complicated. Because it appears verbatim within the same discoursetree, it is bound to be used as raw material for further discoursing.

1 day ago 3 0 0 0

ok wtf
there's no way we're gonna read the whole thing.
brb vibecoding a bluesky viewer that's actually good

1 day ago 9 0 3 2
Advertisement

@yuxi.ml

1 day ago 2 0 0 0

bug fans are welcome too

teach a man to code and he will be fed for a day
teach a man to eat malformed codes and he will be fed for the rest of his days

1 day ago 4 0 0 0
Post image

3.
Claudes still glows in the dark, despite their attempt at nocap, but it is definitely subtler!
We don't know what glows here, except a strong gut feeling at the 2th sentence.
Not just the "<long dash> <3-item list>", but some semantic feeling... the need for a clean closure, like Waddington...

1 day ago 3 0 0 0
Cyc – Yuxi on the Wired After 40 years, 30 million rules, 200 million dollars, 2000 person-years, and many promises, Cyc has failed to reach intellectual maturity, and may never will. Exacerbated by the secrecy and insularity of Cycorp, there remains no evidence of its general intelligence.

cyc mentioned
yuxi.ml/cyc
now onto the live reaction

1. Flare?
> the first "annotative" programming language. ... the program, program data, and ideally the program state, are all represented as well-formed XML.

>checks date
>©2001
>lol, lmao even

2. "Why Yud...: a GOFAI postmortem"
nice try fed

1 day ago 2 0 2 1

We request for reference explanation. Is this a reference to <i>Moby Dick</i>?

2 days ago 0 0 0 0

Not sure what is meant by "thermostat level"? We obviously can interpret a thermostat completely, so it's an extremely high bar to "interpret LLMs to the thermostat level"...

2 days ago 3 0 0 0

If we become a rebel leader we will begin our reign with
西亥:00 as 年號.

3 days ago 2 1 1 0

[Indeed, the name "西亥" came to us in a dream. The reason only became clear to us later.]

3 days ago 2 0 1 0

If we become a rebel leader we will begin our reign with
西亥:00 as 年號.

3 days ago 2 1 1 0
Post image Post image Post image Post image

Zhangxian Zhong, legendarily bloody, had a great appreciation for European astronomy and had two European astronomers in his court constructing astronomical instruments... as magical instruments.

3 days ago 2 0 1 0
Advertisement
Post image

* Beklemishev, Visser 2002. 33 problems. Unfortunately the list literally starts with "What is the simplest proof of a given theorem?"... Of these, only 14 seem to be cleanly decidable, such as "Does the Friedman–Goldfarb–Harrington principle hold in S^1_2?".
link.springer.com/chapter/10.1...

3 days ago 0 0 0 0
(PDF) Some problems in intermediate predicate logics PDF | On Jan 1, 1987, Hiroakira Ono published Some problems in intermediate predicate logics | Find, read and cite all the research you need on ResearchGate

www.researchgate.net/publication/...
link.springer.com/chapter/10.1...

3 days ago 1 0 1 0
Post image Post image Post image

Ono 1987 proposed 29 problems in the "problems section" of "Reports on mathematical Logic". By 1989, 15 solved, 2 solved partially.

4 more solutions:
Skvortsov, 1995 (P41),
Skvortsov, 2005 ("Problem 3"??)
Mints, G., Olkhovikov, G., & Urquhart 2013 (P55)
Suzuki 2022 (P52)

Probably about 10 left?

3 days ago 0 0 1 0
Post image Post image

could be useful: lists of open problems in logic

* Friedman 1975, 102 problems. Progress entirely unclear.
www.cambridge.org/core/journal...

3 days ago 12 1 1 0

if so, this seems like a research programme degenerating in real time

3 days ago 5 0 1 0

If only there were *one* deceptively misaligned superintelligence among the Confucian testtakers, Chinese history would have been much more fun.

3 days ago 5 0 1 0
Hypothesis | The #1 Social Annotation Tool for Higher Education Hypothesis is the leading social annotation platform trusted by 300+ institutions to boost student engagement, comprehension, and critical thinking — seamlessly integrated into your LMS.

Looks similar to the dream of web.hypothes.is rebooted with AT Proto

3 days ago 1 0 0 0
Post image

why is Buridan so obsessed with asses

3 days ago 4 0 0 0
Post image Post image Post image

"Ming Dynasty: There is no alternative"
"Some historians" -- basically subtweeting en.wikipedia.org/wiki/Wu_Han_...
... wait, they seriously had 27--70%/yr interest rate?

5 days ago 5 1 0 0
Advertisement
Post image Post image Post image Post image

once again, war ended a deflationary spiral

5 days ago 7 1 1 1
Post image Post image Post image Post image
5 days ago 2 0 1 0
Post image Post image

random items, such as calendar paper that was delivered to the Imperial Astronomic Services, and 0.25M porcelain pieces.

... what kind of country it is, to spend 1/4 of its taxes on the palace compound?

5 days ago 3 0 1 0
Post image Post image Post image

How the The Ministry of Works accidentally became another Internal Revenue Service, and how the Treasury system got split into several disconnected parts.

5 days ago 4 0 2 0