Zoea

Zoea is an AI software company specialising in the automation of software development through composable inductive programming. Software reimagined. #AI

[Zoea @zoealang]

Implementing instruction digrams in Zoea is a simple matter of creating additional instruction subsets. Producing them up-front means that instruction digrams have zero additional processing overhead at run-time.
https://t.co/PfgnFhJObo #zoealtd #zoealang #AI #programminglanguage

[Zoea @zoealang]

Zoea has come up with another simple way to make the search space for inductive programming even smaller. This time we use instruction digrams to shrink the problem by another 1000 times.
https://t.co/A9VD1WLjBD #zoealtd #zoealang #AI #programminglanguage

[Zoea @zoealang]

Zoea have extended the instruction subset approach with a new technique called instruction digrams further reducing the size of the inductive programming search space. Paper available on the arXiv. #zoealang #zoealtd #programming #AI #programminglanguages
https://t.co/eMVy4mHk0x

[Zoea @zoealang]

Large language models show promise in automating production of software however significant hurdles remain. Plugging Zoea into the workflow makes a lot of these problems go away. https://t.co/hV4hfrRNMo #zoelang #zoealtd #AI #LargeLanguageModels #programming #ProgrammingLanguages

[Zoea @zoealang]

The combinatorial explosion has been one of the biggest challenges in AI since its inception. Now, Zoea has found a way to dramatically shrink the problem. https://t.co/HjG6OL4FHN #zoealtd #zoealang #programming #programminglanguage #AI

[Zoea @zoealang]

Zoea presents at ICAART-2023 Conference
Shrinking the Inductive Programming Search Space with Instruction Pre-print at
https://t.co/puSbduPLXZ #AI #zoealang #zoealtd #programming

[Zoea @zoealang]

Coding isn't a numbers game
There is a fundamental disconnect between what is regarded as success when building an AI as opposed to code. This has serious implications for AIs that produce code. https://t.co/IJVGwu9zQr #zoealtd #zoealang #programming #programminglanguage

[Zoea @zoealang]

Can software escape Zipf's law?
Nobody knows why the rank frequency distribution of instructions in code follows Zipf's law. But does it have to be this way? https://t.co/Ou3JFokB0U #zoealtd #zoealang #AI #programming #programminglanguage

[Zoea @zoealang]

Characterising Code Directly from Test Cases
Computer programmers can frequently identify the corresponding code directly from one or more test cases. How can we get computers to do the same?
https://t.co/zt1Jpy6gvz
#zoealtd #zoealang #AI #programming #programminglanguage

[Zoea @zoealang]

Zoea has been ported to Amazon Elastic Compute Cloud (EC2). In the process the core architecture has been optimised to make it completely asynchronous and stateless. Zoea is now able to compile much larger and more complex programs in less time. #zoealtd #zoealang #AI #EC2

[Zoea @zoealang]

Zoea contains a lot of knowledge about programming language concepts and how they can be utilised to produce code. It turns out that the way this knowledge is represented and structured is surprisingly simple. https://t.co/L6C20GA3Bh #zoealang #zoealtd #AI

[Zoea @zoealang]

Emergent Behaviour and AI
Emergent behaviour is a characteristic of many AI systems. So what exactly is it and how important is it that we understand what's going on? https://t.co/u36bjIx0xb #zoealtd #zoealang #programminglanguage #AI

[Zoea @zoealang]

The next AI language: Composable inductive programming is the next stage in the evolution of software development. What does this mean for AI?
https://t.co/9tBqd0P8Z4 #zoealang #zoealtd #AI #programminglanguage

[Zoea @zoealang]

Zoea at AI-2021 Conference
Zoea have a short paper at the Forty-first SGAI International Conference on Artificial Intelligence AI-2021 (14-16 December 2021). The paper Knowledge-Based Composable Inductive Programming outlines Zoea from an AI perspective.
https://t.co/6vSTtvfCri

[Zoea @zoealang]

Test cases play a central role in the automatic generation of software using Zoea. Zoea uses a number of variants so it is useful to understand their different characteristics and the relationships between them. https://t.co/XlEqWk9xBN #zoealang #zoealtd #AI

[Zoea @zoealang]

Software complexity is a measure of how difficult it is to produce a piece of code. Does this complexity come from the problem that is being solved or from the programming language that is used, and how can we tell? https://t.co/BFV31LUNhT #zoealtd #zoealang #AI

[Zoea @zoealang]

Can Zoea really be used to create software of any size? A study recently published on https://t.co/oCyhauuxaH has the answer. https://t.co/cDdD4aYDY8 #zoealtd #zoealang #AI #programminglanguage

[Zoea @zoealang]

Zoea have released a series of video tutorials for the Zoea Specification Language (ZSL) and Zoea Visual on YouTube.
https://t.co/kpaHtzGy0v

[Zoea @zoealang]

Zoea Visual Examples Published on Rosetta Code

There is now a Zoea Visual page with a number of examples on Rosetta Code. https://t.co/8pmNZZwvkU #rosettacode #zoealang #zoealtd #AI

[Zoea @zoealang]

Why is learning to code so hard for AI? Building an AI that can code has proved elusive. Zoea is the first and so far the only AI that enables people to produce software of any size. https://t.co/rDflwhPHla #AI #zoealang #zoealtd