Aaron Gray
@aaronngray.bsky.social
Meta Mathematician, Type Theorist, Software Engineer, Computer Language Researcher and Designer. Environmental Researcher and Disseminator.
...this is faster than C++'s vtables, it's the same technique as used in Eiffel, I discovered this before Eiffel in 1985. It's faster on modern CPU's due to both processor execution pipelines and cache behaviour.
November 28, 2025 at 12:21 AM
...this is faster than C++'s vtables, it's the same technique as used in Eiffel, I discovered this before Eiffel in 1985. It's faster on modern CPU's due to both processor execution pipelines and cache behaviour.
My language allows inheritance and augmentation of ADT's by methods, they lower on to a lower kernel as virtual class structures which lower onto classes, which lower onto structs and arrays of pointers to functions indexed by type, ...
November 28, 2025 at 12:20 AM
My language allows inheritance and augmentation of ADT's by methods, they lower on to a lower kernel as virtual class structures which lower onto classes, which lower onto structs and arrays of pointers to functions indexed by type, ...
The lower a language the more the semantics are encrypted in code rather than stayed like in a declarative language. Rusts attributed enums are actually from Scala and are actually verbose syntactic sugar for Hope, SML, or Haskell's ADT's, Algebraic Data Types.
November 28, 2025 at 12:15 AM
The lower a language the more the semantics are encrypted in code rather than stayed like in a declarative language. Rusts attributed enums are actually from Scala and are actually verbose syntactic sugar for Hope, SML, or Haskell's ADT's, Algebraic Data Types.
It's been in design for 35 years, it's an orthogonally complete semantic superset of all the other object oriented languages and hopefully Rust too at some stage. Most languages are semantically too low to really embody the semantics of the actual problem domain.
November 28, 2025 at 12:10 AM
It's been in design for 35 years, it's an orthogonally complete semantic superset of all the other object oriented languages and hopefully Rust too at some stage. Most languages are semantically too low to really embody the semantics of the actual problem domain.
I have studied computer languages since the age of 16 in 1982, I learned C in 1984 in 2 days, I knew assembler first, I studied digital electronics before assembler, machine code before assembler. I have read the code to near enough every complier and VM. I am designing my own language.
November 28, 2025 at 12:07 AM
I have studied computer languages since the age of 16 in 1982, I learned C in 1984 in 2 days, I knew assembler first, I studied digital electronics before assembler, machine code before assembler. I have read the code to near enough every complier and VM. I am designing my own language.
It's not a totally brilliant language more an engineering solution and the burrow checker is kinda like programming in a straight jacket, but I get why, I get why.
November 24, 2025 at 9:32 AM
It's not a totally brilliant language more an engineering solution and the burrow checker is kinda like programming in a straight jacket, but I get why, I get why.
Look at the actual small percentage of coal, oil, and gas worldwide, compared to where we need to be to get through the ever increasingly small window we have.
November 22, 2025 at 12:45 AM
Look at the actual small percentage of coal, oil, and gas worldwide, compared to where we need to be to get through the ever increasingly small window we have.
The "make it obsolete supplant it" model is being held back by fossil fuel subsidiaries.
November 22, 2025 at 12:42 AM
The "make it obsolete supplant it" model is being held back by fossil fuel subsidiaries.
The gulf stream the heats Europe is equivalent to 1 million nuclear fission reactors and that's just Europe by about 8 degrees Centigrade.
November 21, 2025 at 1:45 PM
The gulf stream the heats Europe is equivalent to 1 million nuclear fission reactors and that's just Europe by about 8 degrees Centigrade.
Joris Bhonson was always too little too late and ran on so-called charisma, bravado, and so called rhetorical ability.
November 21, 2025 at 9:07 AM
Joris Bhonson was always too little too late and ran on so-called charisma, bravado, and so called rhetorical ability.
Grok and grokwiki is like a takeover by the dorks. I vote we have an AI FREE logo and certification companies can use.
November 20, 2025 at 8:49 PM
Grok and grokwiki is like a takeover by the dorks. I vote we have an AI FREE logo and certification companies can use.