Jeff Epler's blog2025-11-26T16:09:19ZPhotos, electronics, cnc, and moreJeff Eplerjepler@unpythonic.netJunk drawer & embedding2025-11-26T16:09:19Z2025-11-26T16:09:19Zhttps://gamma.unpythonic.net/01764173359
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/styles/default.min.css">
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/highlight.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/languages/python.min.js"></script>
<style>
.junkpre { border: 1px solid black; max-width: 132ex; max-height: 45lh; overflow: auto; }
</style>
<script>
const do_embed = function(container, url) {
const request = new Request(url);
fetch(request)
.then((response) => response.json())
.then((data) => {
container.textContent = atob(data['content']);
hljs.highlightElement(container)
})
.catch((error) => {
console.error(error);
});
}
const do_embed_here = function(url, classes) {
const id = "embed" + (((1 + Math.random()) * 0x1000000) | 0).toString(16).substring(1);
document.write("<pre class=junkpre><code id=" + id + " class=junkembed></code></pre>")
const el = document.getElementById(id)
if (classes) {
el.className = el.className + " " + classes
}
do_embed(el, url)
}
</script>
<p>I have been working on leaving github.
<p>One thing I liked from github was gist, including command-line upload and the ability to embed it.
I want to replace this but with codeberg. And, I think I've gotten close.
More polish wouldn't hurt, but ehhh...
<p>First, here's the <a href="shttps://codeberg.org/api/v1/repos/jepler/junkdrawer/contents/aygdu2e9/junk.py?ref=main">script for uploading</a>:
<p>
<script>
do_embed_here("https://codeberg.org/api/v1/repos/jepler/junkdrawer/contents/aygdu2e9/junk.py?ref=main", "language-python");
</script>
<p>And here's an <a href="https://codeberg.org/jepler/junkdrawer/src/branch/main/he58aqtn/junkembed.html">example of embedding</a>:
<script>
do_embed_here("https://codeberg.org/api/v1/repos/jepler/junkdrawer/contents/he58aqtn/junkembed.html?ref=main", "language-html");
</script>
Proven Delights (and what are proofs anyway)2015-08-05T13:13:49Z2015-08-05T13:13:49Zhttps://gamma.unpythonic.net/01438780429
I won a copy of the book <a href="http://hackersdelight.org/">Hacker's
Delight</a> from <a href="http://blog.regehr.org/">John Regehr</a> for my entry in
his <a href="http://blog.regehr.org/archives/1213">nibble sort contest</a>
earlier this year.
<p>In that thread I had heard about the <a href="http://www.cprover.org/cbmc/">CBMC Bounded Model Checking software</a>, and it gave me the idea to combine
the two: a project to take implementations of the algorithms from Hacker's
Delight and prove the algorithms' properties with CBMC.
<p>I have a modest start on github, which I am calling "Proven Delights":mailpie moves to github2013-12-02T19:30:20Z2013-12-02T19:30:20Zhttps://gamma.unpythonic.net/01386012620
My e-mail full text search software <a href="https://gamma.unpythonic.net/software/mailpie">mailpie</a> is
now hosted at github: <a href="https://github.com/jepler/mailpie">https://github.com/jepler/mailpie</a>
<p>