並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 3 件 / 3件

新着順 人気順

Cantorの検索結果1 - 3 件 / 3件

  • 哲学のタレス起源説の問題 Cantor (2022) "Thales - the 'first philosopher'?" - Quae legeris memento

    Lea Cantor (2022) "Thales – the ‘first philosopher’? A troubled chapter in the historiography of philosophy" in British Journal for the History of Philosophy 30(5): 727-750. 序論 主張: 古代において「最初の哲学者はタレスだ」という見解は主流ではなかった.それどころか,哲学のギリシャ起源を言う見解さえ主流ではなかった. アリストテレス以前の哲学史にタレスは特別の位置を占めない; アリストテレスさえタレスが最初の哲学者だとは言っていない; アリストテレス以後もむしろ非ギリシャ起源を言う見解が主流である; タレスが最初の哲学者だという見解は近代の (部分的には人種主義の) 産物である. 1. タレスに関するアリストテレス以

      哲学のタレス起源説の問題 Cantor (2022) "Thales - the 'first philosopher'?" - Quae legeris memento
    • Compiling a subset of JavaScript to ARM assembly in Haskell - Micah Cantor

      A toy compiler for a subset of JavaScript to ARM assembly, using Haskell. Published: May 29, 2022 I recently got a copy of the book Compiling to Assembly from Scratch by Vladamir Keleshev, which details how to write a compiler for a subset of JavaScript to 32-bit ARM assembly code. The choice to use ARM assembly is mainly for its simplicity in comparison to x86. Keleshev elects to use TypeScript t

        Compiling a subset of JavaScript to ARM assembly in Haskell - Micah Cantor
      • Improving the dead code elimination algorithm in js_of_ocaml - Micah Cantor

        Reducing code size with a new global optimization pass in js_of_ocaml. Published: November 13, 2023 Introduction This summer I worked as a software engineer intern at Tarides from their Paris office. My project centered on improving the dead code elimination algorithm in the OCaml to JavaScript compiler, js_of_ocaml. In this post, I'll give some background on why these changes were needed and an o

          Improving the dead code elimination algorithm in js_of_ocaml - Micah Cantor
        1