• “Reason is immortal, all else mortal.”
• “The oldest, shortest words —"yes" and "no"— are those which require the most thought.”
• “Number is the ruler of forms and ideas, and the cause of gods and daemons.”
• “Man know thyself; then thou shalt know the Universe and God.”
— Pythagoras
• “The oldest, shortest words —"yes" and "no"— are those which require the most thought.”
• “Number is the ruler of forms and ideas, and the cause of gods and daemons.”
• “Man know thyself; then thou shalt know the Universe and God.”
— Pythagoras
Creation is not the pieces, it is the order by which the pieces make a thing that is none of them, but is all of them conforming to that order, i.e. a whole.
“Doubtless, it shows the wisdom of God, to have so framed things at first, that there can seldom or never need any extraordinary interposition of his power; or the employing from, time to time, an intelligent overseer, to regulate, assist, and control the motions of matter.”
— Robert Boyle
— Robert Boyle
#linguistics
Definiteness
A quality of noun phrases
:= whether an entity is identifiable in a given context; i.e. it is impossible to ask "which one?"
Definiteness
A quality of noun phrases
:= whether an entity is identifiable in a given context; i.e. it is impossible to ask "which one?"
“Nature laughs at the difficulties of integration.”
— Pierre-Simon Laplace
— Pierre-Simon Laplace
“No such thing as bad student, only bad teacher. Teacher say, student do.”
— Kesuke Miyagi, The Karate Kid (1984)
— Kesuke Miyagi, The Karate Kid (1984)
• “The best ideas are common property.”
• “It is better, of course, to know useless things than to know nothing.”
• “It is quality rather than quantity that matters.”
• “Growth is slow but collapse is rapid.”
— Seneca
• “It is better, of course, to know useless things than to know nothing.”
• “It is quality rather than quantity that matters.”
• “Growth is slow but collapse is rapid.”
— Seneca
“A point is that which has no part.”
— Euclid
“A point has no existence by itself. It exists only as a part of the pattern of relationships which constitute the geometry of Euclid. This is what one means when one says that a point is a mathematical abstraction. The question, What is a point? has no satisfactory answer. Euclid's definition certainly does not answer it. The right way to ask the question is: How does the concept of a point fit into the logical structure of Euclid's geometry? ...It cannot be answered by a definition.”
— Freeman Dyson
— Euclid
“A point has no existence by itself. It exists only as a part of the pattern of relationships which constitute the geometry of Euclid. This is what one means when one says that a point is a mathematical abstraction. The question, What is a point? has no satisfactory answer. Euclid's definition certainly does not answer it. The right way to ask the question is: How does the concept of a point fit into the logical structure of Euclid's geometry? ...It cannot be answered by a definition.”
— Freeman Dyson
“From the intrinsic evidence of his creation, the Great Architect of the Universe now begins to appear as a pure mathematician.”
— Sir James Jeans
— Sir James Jeans
“The dolphin did not invent the sonar; it developed it, naturally. And this is the crucial part of our philosophical reflection we have today: can we therefore conclude that humans are more concerned with "having" than "being"?”
— Professor Norman, Lucy (2014)
— Professor Norman, Lucy (2014)
“Indeed, these minds, if they noticed and formed an extremely clear perception of some property of, say, the parabola, would not seek, as our geometers do, to rectify the parabola, they would endeavor, if one may coin the expression, to parabolify the straight line.”
— Roger Joseph Boscovich
— Roger Joseph Boscovich
“Always implement things when you actually need them, never when you just foresee that you need them.”
— Ron Jeffries, extreme programming co-founder
— Ron Jeffries, extreme programming co-founder
“Be creative in your language, but not in your tools. Reduce the initial difficulties people have to face to adopt your language by using familiar standards.”
— Federico Tomassetti
— Federico Tomassetti
#Java
The JVM
- is the detailed, formal specification for a 32-bit abstract machine. Abstract implies hardware and OS-independent and thus is interoperable across platform-dependent implementations. It operates on abstracte data types rather the native data types of any ISA:
• 32-bits types: integers, floats, and references are called primitives
• 64-bits types: long and double are supported but consume two units of storage
• smaller types: boolean, byte, short and char are extended to 32-bit ints
It loads code, verifies it, and executes it. It has instructions for:
• Load and store
• Arithmetic
• Type conversion
• Object creation and manipulation
• Operand stack management (push & pop)
• Control transfer (branching)
• Method invocation and return
• Throwing exceptions
• Monitor-based concurrency
The specification includes various dynamic features such as GC and thread management.
JDK
- is an software development kit for Java and consists of:
• a private stand-alone implementation of the JVM such as JRE's HotSpot
• the Java standard library, JCL
• an interpreter/loader (
• a compiler (
• an archiver (
• a documentation generator (Javadoc)
HotSpot
- relies on JIT; and divides the memory into generations:
• young generation: heap for short-lived objects
• old generation: heap for long-lived objects
• permanent generation: used for class definitions and associated metadata
JVM languages
Any language that can express a valid class file. The existing languages includes ports from other languages:
• JRuby (#Ruby)
• Jython (#Python)
And entirely new languages that compile to Java bytecode:
• Clojure
• Apache Groovy
• #Scala
• #Kotlin
JVM languages are compatible with each other i.e. libraries of one can be used with programs of another. A new feature will supports dynamically typed languages in the JVM, and is developed within the Da Vinci Machine project whose mission is to extend the JVM so that it supports languages other than Java.
The JVM
- is the detailed, formal specification for a 32-bit abstract machine. Abstract implies hardware and OS-independent and thus is interoperable across platform-dependent implementations. It operates on abstracte data types rather the native data types of any ISA:
• 32-bits types: integers, floats, and references are called primitives
• 64-bits types: long and double are supported but consume two units of storage
• smaller types: boolean, byte, short and char are extended to 32-bit ints
It loads code, verifies it, and executes it. It has instructions for:
• Load and store
• Arithmetic
• Type conversion
• Object creation and manipulation
• Operand stack management (push & pop)
• Control transfer (branching)
• Method invocation and return
• Throwing exceptions
• Monitor-based concurrency
The specification includes various dynamic features such as GC and thread management.
JDK
- is an software development kit for Java and consists of:
• a private stand-alone implementation of the JVM such as JRE's HotSpot
• the Java standard library, JCL
• an interpreter/loader (
java)• a compiler (
javac)• an archiver (
jar)• a documentation generator (Javadoc)
HotSpot
- relies on JIT; and divides the memory into generations:
• young generation: heap for short-lived objects
• old generation: heap for long-lived objects
• permanent generation: used for class definitions and associated metadata
JVM languages
Any language that can express a valid class file. The existing languages includes ports from other languages:
• JRuby (#Ruby)
• Jython (#Python)
And entirely new languages that compile to Java bytecode:
• Clojure
• Apache Groovy
• #Scala
• #Kotlin
JVM languages are compatible with each other i.e. libraries of one can be used with programs of another. A new feature will supports dynamically typed languages in the JVM, and is developed within the Da Vinci Machine project whose mission is to extend the JVM so that it supports languages other than Java.