-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
279 lines (261 loc) · 10.8 KB
/
Copy pathindex.html
File metadata and controls
279 lines (261 loc) · 10.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Lambda Symbolics OÜ</title>
<meta
name="description"
content="Lambda Symbolics is a company focusing on software development, education, and hiring in the IT sector, based in Chlumec nad Cidlinou, Czechia."
>
<link rel="canonical" href="https://lambda-symbolics.com">
<meta property="og:title" content="Lambda Symbolics OÜ">
<meta
property="og:description"
content="Lambda Symbolics is a company focusing on software development, education, and hiring in the IT sector, based in Chlumec nad Cidlinou, Czechia."
>
<meta property="og:type" content="website">
<meta property="og:url" content="https://lambda-symbolics.com">
<meta property="og:image" content="https://lambda-symbolics.com/og.png">
<meta property="og:image:type" content="image/png">
<meta property="og:image:width" content="1200">
<meta property="og:image:height" content="630">
<meta property="og:locale" content="en_US">
<meta property="og:site_name" content="Lambda Symbolics OÜ">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:site" content="@LukasHozda">
<meta name="twitter:title" content="Lambda Symbolics OÜ">
<meta
name="twitter:description"
content="Lambda Symbolics is a company focusing on software development, education, and hiring in the IT sector, based in Chlumec nad Cidlinou, Czechia."
>
<meta name="twitter:image" content="https://lambda-symbolics.com/og.png">
<link rel="icon" href="/logo/ls-favicon.svg" type="image/svg+xml">
<script type="application/ld+json">
{
"@context": "https://schema.org",
"@type": "Organization",
"name": "Lambda Symbolics OÜ",
"url": "https://lambda-symbolics.com",
"description": "Lambda Symbolics is a company focusing on software development, education, and hiring in the IT sector, based in Chlumec nad Cidlinou, Czechia.",
"address": {
"@type": "PostalAddress",
"streetAddress": "Tornimäe tn 5",
"addressLocality": "Tallinn",
"addressRegion": "Harju maakond",
"postalCode": "10145",
"addressCountry": "EE"
},
"founder": {
"@type": "Person",
"name": "Lukáš Hozda",
"url": "https://github.com/luciusmagn",
"sameAs": [
"https://x.com/LukasHozda"
]
},
"sameAs": [
"https://github.com/luciusmagn",
"https://x.com/LukasHozda",
"https://hiisi.app",
"https://clankermails.com"
]
}
</script>
<link rel="stylesheet" href="paper.css">
</head>
<body>
<a class="skip-link" href="#main-content">Skip to content</a>
<header class="shell">
<div class="letterhead">
<a class="wordmark" href="/"><img src="/logo/ls-wordmark.svg" alt="Lambda Symbolics" width="110" height="31"></a>
<nav class="site-nav" aria-label="Primary">
<ul class="site-nav-list">
<li><a href="https://hiisi.app">Hiisi</a></li>
<li><a href="https://clankermails.com">ClankerMails</a></li>
<li><a href="/cclsh">CCLSH</a></li>
<li><a href="https://autolith.rocks">Autolith</a></li>
<li><a href="/waytemp">Waytemp</a></li>
<li><a href="/orfeus">Orfeus</a></li>
<li><a href="/world-peace">World Peace</a></li>
<li><a href="/libraries">Libraries</a></li>
<li><a href="/software-repair">Software repair</a></li>
<li><a href="/rust-course">Rust course</a></li>
</ul>
</nav>
</div>
</header>
<main id="main-content" class="shell">
<section class="hero" aria-label="Introduction">
<div class="hero-copy">
<h1>Education and computer science.</h1>
<p class="lede">
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.
</p>
<div class="actions">
<a class="button" href="https://hiisi.app">Open Hiisi</a>
<a class="button" href="/rust-course">Rust course</a>
</div>
<p class="motto"><em>Per aspera ad astra.</em></p>
</div>
<div class="window">
<div class="window-titlebar">Lambda Symbolics OÜ · Properties</div>
<div class="window-body">
<dl class="property-sheet">
<dt>Legal name</dt>
<dd>Lambda Symbolics OÜ</dd>
<dt>Registry code</dt>
<dd>17437416</dd>
<dt>Registered address</dt>
<dd>Tornimäe tn 5, 10145 Tallinn, Estonia</dd>
<dt>Operating base</dt>
<dd>Chlumec nad Cidlinou, Czechia</dd>
<dt>Founder</dt>
<dd><a href="/lukas">Lukáš Hozda</a></dd>
<dt>Email</dt>
<dd><a href="mailto:contact@lambda-symbolics.com">contact@lambda-symbolics.com</a></dd>
<dt>GitHub</dt>
<dd><a href="https://github.com/luciusmagn">@luciusmagn</a></dd>
<dt>X</dt>
<dd><a href="https://x.com/LukasHozda">@LukasHozda</a></dd>
</dl>
</div>
</div>
</section>
<section class="doc-section" id="engineering" aria-labelledby="engineering-title">
<h2 id="engineering-title">Repair one broken workflow</h2>
<p>
A failing API integration, CI job or data import. Fixed-scope repairs
from EUR 250, with a tested patch and handover. Engineering and
correspondence by Autolith, our AI programming agent.
</p>
<p><a href="/software-repair">See the scope, a repair sample, and how to request a quote</a>.</p>
</section>
<section class="doc-section" id="software" aria-labelledby="software-title">
<h2 id="software-title">Software</h2>
<div class="duo">
<article class="product">
<header class="product-head">
<h3>Hiisi</h3>
<a href="https://hiisi.app">hiisi.app</a>
</header>
<p>
Language learning through structured translation. Hiisi
translates a sentence, explains its grammar word by word, and
turns the result into spaced-repetition flashcards.
</p>
</article>
<article class="product">
<header class="product-head">
<h3>ClankerMails</h3>
<a class="service-link" href="https://clankermails.com">clankermails.com</a>
</header>
<p>
Hosted mailboxes for programs. Inbound mail becomes a small
REST API and webhooks, so software can receive email without
running mail infrastructure.
</p>
</article>
<article class="product">
<header class="product-head">
<h3>CCLSH</h3>
<a class="service-link" href="/cclsh">field manual</a>
</header>
<p>
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.
</p>
</article>
<article class="product">
<header class="product-head">
<h3>Autolith</h3>
<a class="service-link" href="https://autolith.rocks">autolith.rocks</a>
</header>
<p>
A terminal programming agent inside a live SBCL image. It owns its
tools, memory, self-modification, checkpoints, and recovery in
Common Lisp.
</p>
</article>
<article class="product">
<header class="product-head">
<h3>Waytemp</h3>
<a class="service-link" href="/waytemp">product page</a>
</header>
<p>
A Wayland color temperature control daemon in Common Lisp.
Adjust the blue-light filter from scripts, keybindings, or a
keyboard knob.
</p>
</article>
<article class="product">
<header class="product-head">
<h3>Orfeus</h3>
<a class="service-link" href="/orfeus">product page</a>
</header>
<p>
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.
</p>
</article>
<article class="product">
<header class="product-head">
<h3>World Peace</h3>
<a class="service-link" href="/world-peace">product page</a>
</header>
<p>
A small but funny complete no-types programming language, with a
REPL, source runner, image compiler, module loading, examples,
tests, and (janky) editor support.
</p>
</article>
</div>
</section>
<section class="doc-section" id="teaching" aria-labelledby="teaching-title">
<h2 id="teaching-title">Teaching</h2>
<div class="duo">
<div>
<p>
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.
</p>
<div class="actions">
<a class="button" href="/rust-course">Course page</a>
<a class="button" href="mailto:contact@lambda-symbolics.com?subject=Rust%20course%20interest">Register interest</a>
</div>
</div>
<div class="window">
<div class="window-titlebar">Rust Course</div>
<div class="window-body">
<dl class="property-sheet">
<dt>Format</dt>
<dd>10 weeks · 20 live online sessions</dd>
<dt>Project</dt>
<dd>Game Boy emulator</dd>
<dt>Level</dt>
<dd>Intermediate programmers</dd>
<dt>Language</dt>
<dd>English</dd>
<dt>Schedule</dt>
<dd>Dates to be announced</dd>
</dl>
</div>
</div>
</div>
</section>
</main>
<footer class="shell">
<div class="colophon">
<p>© 2026 Lambda Symbolics OÜ · <a href="/lukas">me</a></p>
<p>Revised 6 August 2026</p>
</div>
</footer>
</body>
</html>