Viewing profile — soegaard

It was running an old version of BC. I can't remember the details, but I recall that Arc was pinned to an older version of Racket and didn't benefit from improvements to BC and the…

In DrRacket mark the section (with shift+arrows) then use tab or shift+tab.

Looks like a real conference - but the first thing you see is a large image of Rick Astley ?!

> I LOATHE the fact that you traverse lists and vectors in completely different ways In Racket: (for ([x xs]) (displayln x)) This works for `xs` being a sequence, which includes li…

The version Microsoft used is discontinued. However, you can just buy a license of the new product. https://www.wiris.com/en/mathtype/

Agree. It got the ball rolling.

Don't you need parens here? (local.get 0) (local.get 1)

FWIW if you are looking for examples of WebAssembly written in the textual format, take a look at: https://raw.githubusercontent.com/soegaard/webracket/refs/he... As a small exampl…

The tool `peek` show files in color in the terminal. A wide range of popular programming language and file types are supported. Today I added support for binary files inspired by t…

This was a great article and inspired me to add support for binary files in `peek`. https://soegaard.github.io/peek/#%28part._binary-files%29 For me the key insight is that similar…

Yes.

Skim https://andykeep.com/pubs/dissertation.pdf Also see the this text: https://www.cs.umd.edu/class/fall2025/cmsc430/Notes.html

Nanopass uses structures internally to represent the programs. The Nanopass dsl just gives the user a nicer syntax to specify the transformations.

An Incremental Approach to Compiler Construction Abdulaziz Ghuloum http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf Abstract Compilers are perceived to be magical artifacts, carefu…

I misread it too.

Loved the examples!

This is pretty small. http://scheme.dk/blog/2006/12/self-evaluating-evaluator.html

If you are into continuations, check Friedman's papers on ReadScheme. https://github.com/schemedoc/bibliography/blob/master/page6.... In particular look at "Programming with Contin…

https://docs.racket-lang.org/rkt-tree-widget/index.html

I need to study the stack-switching proposal in more detail. However, I don't see an obvious way of attach and probe continuation marks to the continuations (including the current …

Yes. I am following the Scheme tradition of representing immediate values as tagged pointers. And (ref i31) is the obvious choice when using WebAssembly. I am happy you and the tea…

> Is Racket bytecode different? Changes to the bytecode representation were indeed rare also in Racket. The Whalesong project was written as part of a dissertation - and when peopl…

I am using a similar representation of immediates as Hoot and wasm_of_ocaml. The representation is explained here: https://github.com/soegaard/webracket/blob/main/compiler.rkt... I…

Maybe. My main problem is to get light-weight support for continuation marks. If I need a CPS-pass for continuation marks, I might as well use it for continuations as well. It woul…

I wouldn't say compiling full Racket to WebAssembly is impossible. But I think the consensus is that one can't add a WebAssembly backend to the compiler in the same manner as the x…