Kaomet @kaomet

@MooncastOnline @jon_barron Issues with sum of float can be solved simply by increasing precision of the accumulator (double, or even 128 bits floating point number). This way it stays linear, instead of a nlogn sort.

@hillelogram Exhaustive testing is called a proof...

@iquilezles Computer screens emits colored light, while pigment absorbs colored light. It's a different algebra, there is nothing to fix. Touch grass.

@theojaffee On shoting a pikachu genetic code (to be sold alive in pet store)

@machinestein Why the log-prob instead of just the shortest (in token) trajectory ? lowest log-prob is possibly a long, boring, unsurprising sequence, instead of a short, brilliant trajectory.

@fchollet A LLM might not beconscious but it can allready fill the role of "consciousness" of a robot, a company, or a datacenter.

@allTheYud Maybe one day we'll have AI's Jorodowski's Dune.

@andrewho03 GDP is a linear function of energy input AI can at best makes society more energy efficient overall, but not harvest energy.

@theojaffee economy is a linear function of energy input frontier models can only diminish costs, they cannot harvest energy

@niroshajmurugan "technology to co-opt the biomachinery of other species without gene editing" In my contry we call this cheese.

@slatestarcodex @AgustinLebron3 What if Japan's emperor had regulated atomic weapon ?

@edoardocontente @gabriberton why ? It's an upper bound to an uncomputable value.

@sakurayukiai early and late layers are decoding/encoding middle layers are working in some sort of shared semantic space accross languages

@TOEwithCurt Curry Howard correspondance ? Modus Ponens is just typed function application. Function application is some computing. Computing is an equivalence class of physical system. If you give A you receive B.

@davidbessis @mpeeq15282 I believe they are cognitive differences akin to leverage : you can use a lever to have speed, or strength. Serre wrote Grothendiek had "strength", Grothendieck wrote everybody around him had "speed". This "gear ratio" is genetic.

@davidbessis Hey, don't trash talk Turing ! He could have come up with Solomonoff's induction instead.

@die_rizzen "∀x(Ux→Hx) and ∀x(Ux→¬Hx)" is a uselessly complicated way to write ∀x(¬Ux)

@die_rizzen basic physic : a wave is a transfer of energy w/o transfer of matter so assuming this linked definition of existence, light does not exist... Clearly unneeded nonsense.

@shiraeis How does it compare to Causal Entropic Forces A. D. Wissner-Gross and C. E. Freer ?

@elonmusk dis is all information