nginx
tcp/80
Open service 2a03:6000:1813:1337::157:443 · kdsch.org
2026-01-11 20:56
HTTP/1.1 200 OK
Access-Control-Allow-Origin: *
Access-Control-Request-Methods: GET, HEAD, OPTIONS
Content-Length: 11536
Content-Security-Policy: default-src 'self' data: blob:; script-src 'self' 'unsafe-eval' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; worker-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob:; frame-src https:; img-src data: https:; media-src https:; object-src 'none'; sandbox allow-downloads allow-forms allow-modals allow-pointer-lock allow-popups allow-presentation allow-same-origin allow-scripts;
Content-Type: text/html; charset=utf-8
Last-Modified: Fri, 04 Jul 2025 00:10:49 GMT
Vary: Accept-Encoding
Date: Sun, 11 Jan 2026 20:56:07 GMT
Connection: close
Page title: kdsch.org
<!DOCTYPE html>
<html lang="en">
<head>
<meta name="generator" content="Hugo 0.147.2">
<meta charset="utf-8">
<meta name="fediverse:creator" content="@kdsch@sunny.garden">
<meta name="viewport" content="width=device-width,initial-scale=1">
<meta name="description"
content="kdsch.org is Karl Schultheisz's personal and technical blog."/>
<link rel="alternate" type="application/rss+xml" title="RSS" href="/index.xml">
<link rel="icon" type="image/png" href="/favicon.png" />
<style>
* {
margin: 0;
padding: 0;
}
.footnotes, figcaption, date {
font-size: 87%;
}
a {
color: black;
text-decoration: underline;
}
a:visited {
color: #555;
}
aside {
margin-left: 1em;
font-size: 95%;
}
audio {
width: 100%;
}
blockquote {
padding-left: 1em;
font-size: 95%;
border-left: 1px solid black;
}
body {
margin: auto;
margin-top: 2em;
max-width: 35em;
font-family: sans-serif;
font-size: calc(0.8rem + 0.65vw);
padding-left: 1em;
padding-right: 1em;
line-height: 1.4;
}
h1, h2 {
margin-top: 1em;
}
h1 {
font-size: 1.3em;
}
h2 {
font-size: 1.0em;
}
header {
display: inline;
}
hr {
border: 1px solid black;
margin-bottom: 2em;
margin-top: 2em;
}
img {
width: 100%;
}
p, hr, pre, ul {
margin: 1em;
margin-left: 0;
}
pre {
margin-left: 2em;
line-height: 1.4;
font-size: 0.9em;
tab-size: 2;
}
ol, li {
margin-left: 1em;
}
td, th {
padding-left: 1em;
}
@media (prefers-color-scheme: dark) {
html {
background-color: black;
}
body {
color: white;
}
a {
color: white;
}
a:visited {
color: #aaa;
}
hr {
border: 1px solid white;
}
blockquote {
border-left: 1px solid white;
}
}
</style>
<title>kdsch.org</title>
</head>
<body>
<nav>
<p><a href="/">kdsch.org</a> · <a href="https://gum.co/u/lwpl7cpl">shop</a> · <a href="/about">about</a> · <a href="/index.xml">rss</a></p>
</nav>
<div style="display: grid; grid-template-columns: 1fr min-content; grid-row-gap: 5px; grid-column-gap: 5px;">
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/nextcloud-deck/">Nextcloud Deck isn't so great for me</a>
</div>
<time>2025-06-04</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/categorization/">Struggles in categorization</a>
</div>
<time>2025-04-10</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/freecad-enclosure-to-pcb-edge-cuts/">PCB edge cuts from a 3D model</a>
</div>
<time>2025-02-13</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/notebook/">Writing system</a>
</div>
<time>2024-07-22</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/how-i-got-into-swe/">How I got into software engineering</a>
</div>
<time>2024-07-05</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/cbmc-technique/">Simple bounded model checking</a>
</div>
<time>2024-05-22</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/median/">Audio stream median filter</a>
</div>
<time>2024-02-28</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/parallel-dev/">Parallel development</a>
</div>
<time>2024-02-07</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/cbmc+lto/">CBMC × (LTO – assertions)</a>
</div>
<time>2024-02-02</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/sampler/">A year of writing a sampler</a>
</div>
<time>2023-12-12</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/diary/">A decade of diarism</a>
</div>
<time>2023-12-11</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/narrative/">Free-flowing software stories</a>
</div>
<time>2023-05-19</time>
<div style="overflow: hidd
Open service 46.23.81.157:80 · kdsch.org
2026-01-11 20:56
HTTP/1.1 302 Moved Temporarily Server: nginx Date: Sun, 11 Jan 2026 20:56:08 GMT Content-Type: text/html Content-Length: 138 Connection: close Location: https://kdsch.org/ Page title: 302 Found <html> <head><title>302 Found</title></head> <body> <center><h1>302 Found</h1></center> <hr><center>nginx</center> </body> </html>
Open service 46.23.81.157:443 · kdsch.org
2026-01-11 20:56
HTTP/1.1 200 OK
Access-Control-Allow-Origin: *
Access-Control-Request-Methods: GET, HEAD, OPTIONS
Content-Length: 11536
Content-Security-Policy: default-src 'self' data: blob:; script-src 'self' 'unsafe-eval' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; worker-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob:; frame-src https:; img-src data: https:; media-src https:; object-src 'none'; sandbox allow-downloads allow-forms allow-modals allow-pointer-lock allow-popups allow-presentation allow-same-origin allow-scripts;
Content-Type: text/html; charset=utf-8
Last-Modified: Fri, 04 Jul 2025 00:10:49 GMT
Vary: Accept-Encoding
Date: Sun, 11 Jan 2026 20:56:08 GMT
Connection: close
Page title: kdsch.org
<!DOCTYPE html>
<html lang="en">
<head>
<meta name="generator" content="Hugo 0.147.2">
<meta charset="utf-8">
<meta name="fediverse:creator" content="@kdsch@sunny.garden">
<meta name="viewport" content="width=device-width,initial-scale=1">
<meta name="description"
content="kdsch.org is Karl Schultheisz's personal and technical blog."/>
<link rel="alternate" type="application/rss+xml" title="RSS" href="/index.xml">
<link rel="icon" type="image/png" href="/favicon.png" />
<style>
* {
margin: 0;
padding: 0;
}
.footnotes, figcaption, date {
font-size: 87%;
}
a {
color: black;
text-decoration: underline;
}
a:visited {
color: #555;
}
aside {
margin-left: 1em;
font-size: 95%;
}
audio {
width: 100%;
}
blockquote {
padding-left: 1em;
font-size: 95%;
border-left: 1px solid black;
}
body {
margin: auto;
margin-top: 2em;
max-width: 35em;
font-family: sans-serif;
font-size: calc(0.8rem + 0.65vw);
padding-left: 1em;
padding-right: 1em;
line-height: 1.4;
}
h1, h2 {
margin-top: 1em;
}
h1 {
font-size: 1.3em;
}
h2 {
font-size: 1.0em;
}
header {
display: inline;
}
hr {
border: 1px solid black;
margin-bottom: 2em;
margin-top: 2em;
}
img {
width: 100%;
}
p, hr, pre, ul {
margin: 1em;
margin-left: 0;
}
pre {
margin-left: 2em;
line-height: 1.4;
font-size: 0.9em;
tab-size: 2;
}
ol, li {
margin-left: 1em;
}
td, th {
padding-left: 1em;
}
@media (prefers-color-scheme: dark) {
html {
background-color: black;
}
body {
color: white;
}
a {
color: white;
}
a:visited {
color: #aaa;
}
hr {
border: 1px solid white;
}
blockquote {
border-left: 1px solid white;
}
}
</style>
<title>kdsch.org</title>
</head>
<body>
<nav>
<p><a href="/">kdsch.org</a> · <a href="https://gum.co/u/lwpl7cpl">shop</a> · <a href="/about">about</a> · <a href="/index.xml">rss</a></p>
</nav>
<div style="display: grid; grid-template-columns: 1fr min-content; grid-row-gap: 5px; grid-column-gap: 5px;">
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/nextcloud-deck/">Nextcloud Deck isn't so great for me</a>
</div>
<time>2025-06-04</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/categorization/">Struggles in categorization</a>
</div>
<time>2025-04-10</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/freecad-enclosure-to-pcb-edge-cuts/">PCB edge cuts from a 3D model</a>
</div>
<time>2025-02-13</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/notebook/">Writing system</a>
</div>
<time>2024-07-22</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/how-i-got-into-swe/">How I got into software engineering</a>
</div>
<time>2024-07-05</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/cbmc-technique/">Simple bounded model checking</a>
</div>
<time>2024-05-22</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/median/">Audio stream median filter</a>
</div>
<time>2024-02-28</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/parallel-dev/">Parallel development</a>
</div>
<time>2024-02-07</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/cbmc+lto/">CBMC × (LTO – assertions)</a>
</div>
<time>2024-02-02</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/sampler/">A year of writing a sampler</a>
</div>
<time>2023-12-12</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/diary/">A decade of diarism</a>
</div>
<time>2023-12-11</time>
<div style="overflow: hidden; whitespace: nowrap; text-overflow: ellipsis">
<a href="/post/narrative/">Free-flowing software stories</a>
</div>
<time>2023-05-19</time>
<div style="overflow: hidd
Open service 2a03:6000:1813:1337::157:80 · kdsch.org
2026-01-11 20:56
HTTP/1.1 302 Moved Temporarily Server: nginx Date: Sun, 11 Jan 2026 20:56:08 GMT Content-Type: text/html Content-Length: 138 Connection: close Location: https://kdsch.org/ Page title: 302 Found <html> <head><title>302 Found</title></head> <body> <center><h1>302 Found</h1></center> <hr><center>nginx</center> </body> </html>