blob: 9edea4ec3673dd8b66c6856253464e73f9b24d45 (
plain) (
blame)
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
|
extends /layout-articles.pug
block prepend menu
- var page = ''
block subtitle
| Home
block subtitleExtra
block page
p
| This is a collection of some software-related articles I wrote.
| Perhaps it will be larger than this one day.
| You can also go back to my #[a(href='/') home page].
h1
a(href='2021-09-07-testing-arduino-code-with-haskell-quickcheck.html').
7 September 2021: Testing Arduino code with Haskell QuickCheck
blockquote.
An Arduino program of mine showed a weird bug, but I couldn't reliably reproduce it.
I isolated the relevant C code so that I could run it on a computer, and used Haskell QuickCheck to run automated property tests against it.
With that set up, fixing the bug was a matter of minutes.
h1
a(href='2021-08-02-cloogle-search-overview.html').
2 August 2021: Cloogle search overview
blockquote.
Cloogle is a search engine for the pure, functional programming language Clean, similar to Hoogle for Haskell.
In this post I go through the design of the search backend and make a comparison with that of Hoogle 5.
h1
a(href='2021-06-23-compiling-clean-in-the-browser-with-webassembly-part-1-introduction.html').
23 June 2021: Compiling Clean in the browser with WebAssembly
blockquote.
My interpreter for the pure, functional language Clean allows interpretation in both C and WebAssembly.
The Clean compiler is written in Clean, with a C backend.
In my Clean Sandbox, I compile the C backend with Emscripten to WebAssembly, and interpret the Clean frontend in the WebAssembly interpreter.
Combined with a simple make-like tool and an editor, this allows you to compile and run Clean code in the browser.
|
