Rule based Symbolic Reasoning

In recent years, symbolic reasoning has become an increasingly prominent topic. A novel approach based on rule applications in an RL setup solves one of the most urgent problems and could be the basis of a reliable and robust algebra system.

In school, we learn simple rules to solve simple algebraic problems. These provide us several ways to the solution:

But at some point, there are too many ways to keep track of them. We need a policy to handle them.

As this project is not published yet, the description here must not contain that many details.

PyTorch Python Rust C++ CUDA

Image Classification without Gradient Descent

Inspired by the Hippocampus of the human brain, this small project tries to learn to classify images similarly. The neurons in our brain create connections when they frequently fire synchronously. These connections may lead to the fact that when one of these neurons gets stimulated, all the other connected neurons may be stimulated as well.

The approach in this project works as follow:

  1. Create a deep CNN network with randomly initialed weights.
  2. Feed in the training samples and store the index of the neurons with the strongest activation per class. (One-shot learning)
  3. To predict a class, calculate the connection group of the neurons that fires most.

View the code on github.

PyTorch Python

Editor for Neural Network Architectures

An online platform for designing, training and sharing AI models.

The user can design the network architecture without any code, just in the editor. When painting on the canvas, the hidden neuron states are displayed live.

Try it at lochbrunner.github.io/demos/social-ai.

View the code on github.

Typescript React Redux TensorFlow.js

Present IO

Online SVG Editor with the potential to host your presentations.

This project is currently a simple and easy-to-use SVG editor which runs totally in the browser. SVG is a very flexible image format with all high-level features one can wish. Therefore, it is not a big challenge to create an interactive UI using Material UI and Redux. Later, animation features will be added to create excellent presentations without installing any software on your local machines.

Try it at lochbrunner.github.io/present.io

View the code on github.

Typescript React Redux Material UI

Graph Extension for VS Code

An extension to display directed interactive graphs directly in VS Code.

For a private project, the massive amount of graphs is stored in a binary file. As the core elements in that project are written in Rust, the binary can only be loaded by a rust module. This extension uses Javascript bindings to load the file and stores an index of the graph in an SQLite database. Following a master-detail architecture, with an infinity scroll, the user can easily query specific graphs and visualize them just in VS Code by right-clicking on the file.

Typescript Rust sqlite

Charlie Debugger

This project contains a compiler, interpreter, and debug adapter for VS Code of the programming language Charlie, a subset of C.

For the sake of learning, all components are written from scratch without any third-party libraries. (Except the VS Code extension) The compiler parses the source code and dumps the corresponding byte-code. The interpreter reading that byte-code can launch a TCP socket to which the VS Code debugging extension can connect.

View the code on github

Typescript C++

Former Projects (before 2015)

Soccer Playing Robot

After playing around with Java, the first serious project I joined was a soccer-playing robot. Our team built up the hardware and software. We fused the input of different sensors as ultrasonic, IR sensor and others.

C++

Interactive 3D Physics Simulation

The propaedeutic project during school was an interactive physics simulation capable of simulating elemental electromagnetic forces. A challenging part was the manipulator, which allows the user to edit all objects in the 3D scene.

C++ Direct3d Win32 API

3D Modeling Tool and Ray-Tracer

Inspired by the 3d modeling tool Maya and its render engine, this project let the user create and manipulate polygons. Animations were calculated with the scripting engine of Lua. A ray-tracer was able to load the files and render the scenes. Because of the lack of internet, the only third-party library was for loading XML files.

C++ OpenGL Lua Qt

Physical Simulation using CUDA

In the study, I utilized the GPU in order to calculate physical fields in a larger scale.

CUDA C++ OpenGL

Platform for Semantic Knowledge Management

Starting with a small algorithm that found solutions in propositional calculus, I build an online platform where users can store their latex documents. Besides a live LaTeX editor, there were some additional LaTeX commands to structure the document’s semantic. With this, a semantic linkage between documents was possible.

Typescript React Angular C# asp.net

Technologies used in other Projects

Several other projects are not listed here.

JAX Java Prolog Lua Go Blender Maya Matlab Fortran Mathematica