Posts

[Link] arguman.org, an argument analysis platform 2015-10-19T15:46:43.636Z · score: 2 (5 votes)
Meetup : São Paulo Meet Up 3 2012-06-13T19:44:54.023Z · score: 1 (2 votes)

Comments

Comment by dyokomizo on What tools exist to compute all possible programs? · 2019-09-09T19:42:34.423Z · score: 3 (2 votes) · LW · GW

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).

http://minikanren.org/

Comment by dyokomizo on Compilers/PLs book recommendation? · 2019-07-28T17:01:08.073Z · score: 3 (2 votes) · LW · GW

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."

https://nanopass.org/

https://docs.racket-lang.org/nanopass/index.html

Comment by dyokomizo on Meetup : São Paulo, Brazil - Meetup at Base Sociedade Colaborativa · 2015-06-09T11:56:54.537Z · score: 4 (4 votes) · LW · GW

I'm going.

Comment by dyokomizo on Meetup : São Paulo Meet Up 2 · 2012-04-18T00:48:11.915Z · score: 0 (0 votes) · LW · GW

I'm going again, it was too fun/interesting to miss.

Comment by dyokomizo on Meetup : São Paulo Meetup · 2012-02-28T13:29:24.561Z · score: 0 (0 votes) · LW · GW

Count me in.

Comment by dyokomizo on Where are we? · 2012-01-02T01:00:06.197Z · score: 0 (0 votes) · LW · GW

Around São Paulo, yes. Around LW, not much anymore, I mostly read it via feed reader.

Comment by dyokomizo on The Irrationality Game · 2010-10-04T00:46:01.690Z · score: -2 (2 votes) · LW · GW

This model seems to be reducible to "people will eat what they prefer".

A good model would be able to reduce the number of bits to describe a behavior, if the model requires to keep a log (e.g. what particular humans prefer to eat) to predict something, it's not much less complex (i.e. bit encoding) than the behavior.

Comment by dyokomizo on The Irrationality Game · 2010-10-04T00:41:50.725Z · score: 1 (1 votes) · LW · GW

I agree vague is not a good word choice. Irrelevant (using relevancy as it's used to describe search results) is a better word.

Comment by dyokomizo on The Irrationality Game · 2010-10-03T19:47:20.205Z · score: 3 (3 votes) · LW · GW

I would classify such kinds of predictions as vague, after all they match equally well for every human being in almost any condition.

Comment by dyokomizo on The Irrationality Game · 2010-10-03T13:44:46.140Z · score: 45 (69 votes) · LW · GW

There's no way to create a non-vague, predictive, model of human behavior, because most human behavior is (mostly) random reaction to stimuli.

Corollary 1: most models explain after the fact and require both the subject to be aware of the model's predictions and the predictions to be vague and underspecified enough to make astrology seems like spacecraft engineering.

Corollary 2: we'll spend most of our time in drama trying to understand the real reasons or the truth about our/other's behavior even when presented with evidence pointing to the randomness of our actions. After the fact we'll fabricate an elaborate theory to explain everything, including the evidence, but this theory will have no predictive power.

Comment by dyokomizo on Open Thread: June 2010 · 2010-06-11T10:39:37.911Z · score: 3 (3 votes) · LW · GW

It doesn't seem to me that you have an accurate description of what a super-smart person would do/say other than match your beliefs and providing insightful thought. For example, do you expect super-smart people to be proficient in most areas of knowledge or even able to quickly grasp the foundations of different areas through super-abstraction? Would you expect them to be mostly unbiased? Your definition needs to be more objective and predictive, instead of descriptive.

Comment by dyokomizo on Open Thread: June 2010 · 2010-06-07T00:59:33.591Z · score: 2 (2 votes) · LW · GW

How would you describe the writing patterns of super-smart people? Similarly, how would meeting/talking/debating them would feel like?

Comment by dyokomizo on Welcome to Less Wrong! · 2010-05-29T11:29:40.588Z · score: 3 (3 votes) · LW · GW

Hi, I'm Daniel. I've read OB for a long time and followed on LW right in the beginning, but work /time issues in the last year made my RSS reading queue really long (I had all LW posts in the queue). I'm a Brazilian programmer, long time rationalist and atheist.

Comment by dyokomizo on Attention Lurkers: Please say hi · 2010-05-29T11:25:06.277Z · score: 2 (2 votes) · LW · GW

Hi, I'm a lurker mostly because I was reading these off my RSS queue (I accumulated thousands of entries in my RSS reader in the last year due to work/time issues),

Comment by dyokomizo on Where are we? · 2009-12-06T22:58:40.799Z · score: 0 (0 votes) · LW · GW

Sao Paulo, Brazil