Lambda Symbolics

Education and computer science.

Lambda Symbolics is a company focusing on software development, education and hiring in the IT sector. The company proudly operates from Chlumec nad Cidlinou, Czechia.

Per aspera ad astra.

Lambda Symbolics OÜ · Properties
Legal name
Lambda Symbolics OÜ
Registry code
17437416
Registered address
Tornimäe tn 5, 10145 Tallinn, Estonia
Operating base
Chlumec nad Cidlinou, Czechia
Founder
Lukáš Hozda
Email
contact@lambda-symbolics.com
GitHub
@luciusmagn
X
@LukasHozda

Software

Hiisi

hiisi.app

Language learning through structured translation. Hiisi translates a sentence, explains its grammar word by word, and turns the result into spaced-repetition flashcards.

ClankerMails

clankermails.com

Hosted mailboxes for programs. Inbound mail becomes a small REST API and webhooks, so software can receive email without running mail infrastructure.

CCLSH

field manual

A system shell inside a live Clozure Common Lisp image. Unix commands, Lisp forms, readable pipelines, and a Unicode-aware line editor share one prompt.

Autolith

system notes

A terminal programming agent inside a live SBCL image. It owns its tools, memory, self-modification, checkpoints, and recovery in Common Lisp.

Waytemp

product page

A Wayland color temperature control daemon in Common Lisp. Adjust the blue-light filter from scripts, keybindings, or a keyboard knob.

Orfeus

product page

A fast Common Lisp RAW processor for Olympus PEN-F and OM-1 files. One core drives a CLI and an FLTK GUI with DaVinci-style node grading.

World Peace

product page

A small but funny complete no-types programming language, with a REPL, source runner, image compiler, module loading, examples, tests, and (janky) editor support.

Teaching

Live online courses taught by Lukáš Hozda, a Charles University lecturer with years of experience teaching commercial Rust courses. The first course runs ten weeks of biweekly sessions. Students learn by building an emulator from scratch. Details will be announced soon.

Rust Course
Format
10 weeks · 20 live online sessions
Project
Game Boy emulator
Level
Intermediate programmers
Language
English
Schedule
Dates to be announced