ollama and llama3 in AI News

Access to generative artificial intelligence just changed radically and for the better. Until recently our options were to use online services which were potentially very expensive and almost certainly heavily restricted, or to try to use open source models locally which required high end hardware to operate and which produced disappointing and mediocre results at best.

Last year we saw the release of ollama which made it incredibly easy to run just about any large language model locally no matter what platform you're on. You still needed a powerful system but at least you didn't have to learn a lot of obscure methods to use it.


Last month the open source large language model llama3 was released. It has proven to be as capable as models two hundred times its size and is so efficient you can run it on a Raspberry Pi 5 if you want to, though it might take some patience.

I've been experimenting with it and it seems to be as good as any of the models that I have used online. I am running it on a Linux system with 24 cores, 64 GB of RAM, and 16 GB of video RAM. The smaller 8 billion parameter model responds to my queries almost instantly while the larger 70 billion parameter model can take a minute or two. Mostly the results produced by the smaller model are quite good enough.

4 Comments | Started July 10, 2024, 02:17:07 am

Reasoner.js: a framework for generalized theory synthesis in General Project Discussion

the idea

Experimentation with different custom made programming languages related to theorem proving has been one of my interests for a long time. Why theorem proving? Because it seemed like a logical step towards AI. In a meanwhile, deep learning ANNs (artificial neural networks) took over the world, and it could be a good thing. Similarity between an ANN and a theorem prover is that the starting point and ending result are the same in both cases, but the process in between is different. ANN utilizes pretty obscure weighted graph connecting input and output while theorem proving (in cases I'm considering) utilizes potentially human readable set of constructive theorems that need to be combined to connect input to output.

The theorem proving is still an area of my interest, but with addition of one missing link that ANNs seem to do pretty well (or at least in some extent). ANNs use the nowdays-all-present deep learning techniques to automatically form the connections between input and output. Analogously, the link I'm trying to explore is an alternative to deep learning in a form of automated semi-axiom construction. Here, I'm making a distinction between theorem proving and semi-axiom construction. In theorem proving, axioms need to be manually fed into the system to be used in further automated theorem construction. In semi-axiom construction, I'm seeking for a way to automatically construct semi-axioms, with semi-axioms being both axioms or theorems.

Googling around the web about this process (in 2022) gives somewhat rare and specialized results, so the space for a progress may be opened. I believe that appropriate term for the process I'm trying to explore could be "generalized theory synthesis". There are already some achievements on this process in a form of algorithm synthesis, and that is exactly direction I'm trying to head at, only applied also to theorems.

To finally explore the blurry cloud of theory synthesis and to see it in more focused features, the plan would be to fuse a selection of my existing languages, and present them in gradual form under the same language named Tricosm. The language should be applicable to theory synthesis, as well as to algorithm synthesis. In a simple example, from provided data:

input -> output
    2 -> 4
    4 -> 8
    8 -> 16
   16 -> 32

one of the generated theories (given that we already know how to handle integers and multiplication) would be:

input -> output
    x -> 2 * x


Co-rewrite takes an input file, an arbitrary metaprogram, and constructs an output file from the input file using the metaprogram. The metaprogram is actually a set of formulas similar to those in math science with the difference that the Co-rewrite formulas may transform not only math expressions, but also any kind of language expression.

It is possible to feed to Systelog a formula in a form of f(program(input) -> output) -> program where function program is being automatically constructed and returned by higher order function f, provided that we know what input -> output mappings hold.

The language goals are having minimal design, beginner friendly documentation, conveniently generating completely functional executable, multiplatform development environment, multiplatform runtime environment, and self hosting compiler.


In this thread I plan to keep a log about the progress in programming the Systelog language for which I plan to be open sourced and hosted publicly on GitHub. Of course, I'd be delighted to hear any comments or to answer any questions in the same thread.

Project homepage is at : https://github.com/contrast-zone/co-rewrite

25 Comments | Started November 10, 2022, 10:25:26 am

Project Acuitas in General Project Discussion

Block diagram of Acuitas, the symbolic cognitive architecture:

<<< EDIT >>>
Since this is the post that pops up on the home page every time my thread gets bumped, I'm editing it to drop the most recent block diagram here. The info that was originally in this post, I will move into the second post of the thread.
<<< EDIT >>>

293 Comments | Started June 02, 2017, 03:17:30 pm

AI controlled F-16, for real! in AI News

Interesting article and the implementation of 1,000 aircraft controlled by AI is the tipping scale. Those nations that can harness AI don't need to sacrifice lives to win wars. Welcome to the game of World Domination, or more like the 1983 movie WarGames: "Shall We Play a Game?"   :D

3 Comments | Started May 04, 2024, 01:04:11 am

Haptek rises from the ashes in Haptek

There is something interesting at a redirect from the old Haptek domain!


6 Comments | Started May 03, 2024, 12:27:21 am

Open AI GPT-4o - audio, vision, text combined reasoning in AI News

GPT-4o (“o” for “omni”) is a step towards much more natural human-computer interaction—it accepts as input any combination of text, audio, and image and generates any combination of text, audio, and image outputs. It can respond to audio inputs in as little as 232 milliseconds, with an average of 320 milliseconds, which is similar to human response time(opens in a new window) in a conversation. It matches GPT-4 Turbo performance on text in English and code, with significant improvement on text in non-English languages, while also being much faster and 50% cheaper in the API. GPT-4o is especially better at vision and audio understanding compared to existing models.



1 Comment | Started May 14, 2024, 05:37:05 am

Butler In A Box (1983) in General Hardware Talk

This is a fun video about Butler In A Box, sold from 1983-2000.

It was sold as voice recognition hardware (for up to 4 different users) that could respond as a bulter and turn on different electric items in the house. Lamp, TV, etc.

It had a huge price tag and notoriety for two decades in futuristic home wares, but does not have one mention in wikipedia as a standout in AI/voice recognition.


Started May 09, 2024, 09:39:06 am

The Action Lab - I Broke ChatGPT With This Paradox in Video


1 Comment | Started April 26, 2024, 12:27:28 pm

Garbage - The World Is Not Enough in Video


1 Comment | Started March 28, 2024, 12:48:41 pm

Death in complex organisms is deliberate in General Chat

For decades now the issue of aging and eventual death have been topics where some argue death is not something life implements as an adaptation. But looking at Salmon one can see that death in that organism is deliberate as the process is induced after the fish procreates. Well if it's deliberate in Salmon might it also be deliberate in other organisms? The reason this issue has even come up is I have another dog coming to that stage in life where they start to have health issues. Many argue the occurrence of cancer in the aged human population is due to prolonged exposure to carcinogens. If that were the case then why does it happen to dogs and even mice as they get older since they live much shorter lives and therefore are less exposed than humans with respect to time?  

Now I'll introduce the Thymus, it's an organ located in your chest and is responsible for T-cell production, and guess what? It shrinks over time and that shrinkage starts at birth! The less Thymus tissue you have the more vulnerable you are to infectious disease and cancers. The T-cells can detect cancer cells and as the Thymus shrinks it produces fewer T-cells and could get damaged from this shrinkage to produce malformed T-cells.

It would appear that death is deliberate since the Thymus is on an involution path that's genetically controlled. It would appear species have to reproduce frequently enough to cope with their genetic death sentence. So, we can see that life developed this approach as a species adaptation that is reinforced through natural selection. This means the life span of organisms is intrinsic to a species' viability.

Of all the mammals bowhead whales have the longest life span, 200 years! It would be interesting to study the bowhead's Thymus and its genetic differences from other animals including humans. If we can apply genetic tools to the bowhead Thymus, including AI, we might be able to triple human life spans...




1 Comment | Started March 24, 2024, 12:15:45 am
Talbot, the chatbot

Talbot, the chatbot in Chatbots - English

Talbot is a free and funny chatbot, you can use it if you are bored and no friends are available to chat: he will answer you anytime and anywhere!

If you are shy, if you need some advice or just to let off steam, don't worry, Talbot is here for you: use him to chat, his humour will amaze you and will surely amuse you!
You can even ask him questions directly with your voice, thanks to the microphone button.

Understands Italian, Portuguese, English and Spanish.


May 15, 2023, 15:49:22 pm
I'm Your Man

I'm Your Man in Robots in Movies

Dr Alma Felser, an archaeologist, arrives at a dance club where an employee introduces her to Tom. Alma quizzes Tom on a complex math problem and on trivial details about his favourite poem, and he answers readily. Tom then invites Alma to dance but suddenly begins repeating himself; he is quickly carried away, revealing him to be a robot.

Oct 23, 2022, 22:10:45 pm

WIFELIKE in Robots in Movies

A grieving detective in the near future (Jonathan Rhys Meyers) hunts down criminals who trade artificial humans on the black market. In the fight to end AI exploitation, an underground resistance attempts to infiltrate him by sabotaging the programming of the artificial human assigned as his companion (Elena Kampouris) to behave like his late wife. She begins to question her reality as memories of a past life begin to surface in a world where nothing is as it seems.

Oct 17, 2022, 01:52:13 am
AI Love You

AI Love You in Robots in Movies

The film is set in a world where Artificial Intelligence (AI) controls most buildings. One such AI, named Dob, controls a corporate tower where a woman named Lana (Pimchanok Luevisadpaibul) works, falls in love with her after a software glitch. The AI then hijacks the body of a man, Bobby (Mario Maurer) and tries to win Lana's affections.

Oct 08, 2022, 07:16:50 am
Brian and Charles

Brian and Charles in Robots in Movies

Brian lives alone in a remote village in the countryside. Something of an outcast, he spends his spare time inventing things out of found objects in his garage. Without friends or family to rely on, Brian decides to build a robot for company. 'Charles' is not only Brian's most successful invention, but he appears to have a personality all of his own and quickly becomes Brian's best friend, curing his loneliness and opening Brian's eyes to a new way of living. However, Charles creates more problems than Brian bargained for, and the timid inventor has to face-up to several issues in his life; his eccentric ways, a local bully, and the woman he's always been fond of but never had the nerve to talk to.

Sep 30, 2022, 00:10:14 am
Space Sweepers

Space Sweepers in Robots in Movies

After snatching a crashed space shuttle in the latest debris chase, Spaceship Victory's crew members find a 7-year-old girl inside. They realise that she's the humanlike robot wanted by UTS Space Guard.

Sep 29, 2022, 20:24:53 pm
Robot Takeover: 100 Iconic Robots of Myth, Popular Culture & Real Life

Robot Takeover: 100 Iconic Robots of Myth, Popular Culture & Real Life in Books

In Robot Takeover, Ana Matronic presents 100 of the most legendary robots and what makes them iconic - their creators, purpose, design and why their existence has shaken, or in some cases, comforted us. Through 100 iconic robots - from Maria in Fritz Lang's Metropolis to the Sentinels of The Matrix and beyond, via the Gunslinger (Westworld), R2-D2 (Star Wars) etc. - this is a comprehensive look at the robot phenomenon. As well as these 100 entries on specific robots, there are features on the people who invent robots, the moral issues around robot sentience, and the prevalence of robots in music, art and fashion, and more. It's the only robot book you need.

With fighters, seducers and psychos in their ranks, it's best you get ready for the robot revolution.

Know your enemy...

Sep 26, 2022, 21:08:48 pm
The Mandalorian

The Mandalorian in Robots on TV

The Mandalorian is an American space western television series created by Jon Favreau for the streaming service Disney+. It is the first live-action series in the Star Wars franchise, beginning five years after the events of Return of the Jedi (1983), and stars Pedro Pascal as the title character, a lone bounty hunter who goes on the run to protect "the Child".

Sep 26, 2022, 20:45:35 pm
Lost in Space (2018)

Lost in Space (2018) in Robots on TV

Lost in Space is an American science fiction streaming television series following the adventures of a family of space colonists whose ship veers off course. The series is a reboot of the 1965 series of the same name, inspired by the 1812 novel The Swiss Family Robinson.

Sep 19, 2022, 01:04:37 am
Person of Interest

Person of Interest in Robots on TV

Person of Interest is an American science fiction crime drama television series that aired on CBS from September 22, 2011, to June 21, 2016.

The series centres on a mysterious, reclusive billionaire computer programmer, Harold Finch (Michael Emerson), who has developed a computer program for the federal government known as "the Machine", capable of collating all sources of information to predict terrorist acts and to identify people planning them.

The series raises an array of moral issues, from questions of privacy and "the greater good" to the concept of justifiable homicide and problems caused by working with limited information programs.

Sep 19, 2022, 00:52:30 am
Better Than Us

Better Than Us in Robots on TV

Better Than Us is a 2018 Russian science fiction television series created by Andrey Junkovsky about an advanced empathic android named Arisa.

The story takes place in 2029, in a world where androids serve humans in various positions, even replacing them in many menial jobs.

Sep 19, 2022, 00:38:20 am