I recently found out about arguman. It's an online tool to dissect arguments and structure agreement and refutation. It seems like something that's been discussed about in LW some times in the past.
Discussion article for the meetup : São Paulo Meet Up 3 WHEN: 15 June 2012 02:00:00PM (-0300) WHERE: Sala 08 do Prédio de Filosofia e Ciências Sociais, USP - Av. Prof. Luciano Gualberto, 315 (Cidade Universitária) São Paulo, SP There's going to be an event at USP titled 1ª Jornada...
The post doesn't talk about nor imply a traditional war with congress approval. For example, placing a battleship in international waters but close enough China's maritime space is enough to trigger another Arkhipov situation. This is just a specific scenario, some don't lead to disastrous outcomes and some do. The post is intended to spark discussion, not set policy without debate, and point to the risks. As stated we entered 2020 in the worst level of risk ever, and then a pandemic happened, with a bunch of unthinkable events happening.
In my understanding, ban in sequences-inspired rationality, particularly for politically-charged topics, is a reminder that Politics is the Mind-Killer. I made it explicit in the text.
Wikipedia has an article for Considered Harmful. "Goto Considered Harmful" was the title an editor gave to Dijkstra's paper originally titled "A Case Against the Goto Statement". It's an informal tradition in computer science to write papers with this title pattern, including ""Considered Harmful" Essays Considered Harmful".
It was not intended to be misleading, only a reference to a crowd that I, perhaps erroneously, assumed would be familiar with this pattern.
Now, on the core of the argument. First the epistemic status says it's uncertain about risk values and how to reduce it. I linked to a Bulletin of Atomic Scientists article about why this debunked idea still keeps coming up and the... (read more)
miniKanren is a logic/relational language. It's been used to solve questions related to programs. For example, once you give miniKanren a description of the untyped λ-calculus extended with integers you can ask it "give me programs that result in 2" and it'll enumerate programs from the constant "2" to "1 + 1" to more complicated versions using λ-expressions. It can even find quines (if the described language supports it).
The Nanopass Framework is built for that:
"The nanopass framework provides a tool for writing compilers composed of several simple passes that operate over well-defined intermediate languages. The goal of this organization is both to simplify the understanding of each pass, because it is responsible for a single task, and to simplify the addition of new passes anywhere in the compiler."
I recently found out about arguman. It's an online tool to dissect arguments and structure agreement and refutation.
It seems like something that's been discussed about in LW some times in the past.
I'm going.
There's going to be an event at USP titled 1ª Jornada Transhumanista (http://comunicacao.fflch.usp.br/node/1772). After the talks we're planning to have at least one hour of discussions related to rationality and transhumanism.
Most of previous meetups' attendees are going to be there, two of them presenting at the event. See you there.
I'm going again, it was too fun/interesting to miss.
Count me in.
Around São Paulo, yes. Around LW, not much anymore, I mostly read it via feed reader.
FWIW we implemented the FDT, CDT, and EDT in Haskell a while ago.
https://github.com/DecisionTheory/DecisionTheory