Peter Solarz
art blog(derogatory)
PUT YOUR BEARD IN MY MOUTH
tannertan36
2025 on Tumblr: Trends That Defined the Year
izzy's playlists!
Love Begins
Show & Tell
almost home
I'd rather be in outer space 🛸
Product Placement
sheepfilms
❣ Chile in a Photography ❣
No title available
Cosimo Galluzzi
No title available
titsay
todays bird
oozey mess
Not today Justin
seen from Indonesia
seen from Malaysia
seen from Malaysia
seen from United States
seen from United States
seen from Malaysia
seen from Malaysia
seen from United States
seen from United States
seen from United States
seen from United States
seen from United States
seen from Brazil
seen from Malaysia
seen from Netherlands
seen from Türkiye
seen from South Africa
seen from Türkiye
seen from United States
seen from United States
@peeterjoot
Stream of consciousness dump: new job, claude terminal, vscode, vim mode, ...
This post is a fairly random stream of consciousness dump, including bits on all of the following: Job transition, and hints of what I’m going to be working on Vscode, and vim mode deficiencies AI development integration Job change My last day at Lemurian was two weeks ago, after 11 months there. I enjoyed much of the work, which was well suited for my skills and aptitudes, and learned a lot,…
Line stepping through MLIR with a debugger!
gdb session I’ve added an alternate input source for the silly compiler. As well as the .silly files that it previously accepted, it now also accepts .mlir (silly-dialect) files as input. This means that if there’s an experimental language feature that requires new style MLIR, but I don’t want to figure out how to push that all the way through grammar -> parser -> builder -> lowering all at…
View On WordPress
Some line integral examples of the Fundamental theorem of geometric calculus
[Click here for a PDF version of this post] On my discord server, Frank asked about his attempt to demonstrate an example line integral computation of the fundamental theorem of geometric calculus. Before working through his example, and some others, it is first worth restating the line integral specialization of the \textit{Fundamental theorem of geometric calculus}: Theorem 1.1: Fundamental…
One more version tagged for the silly compiler: V8
V8 of the silly compiler is tagged. This version makes a couple small bug fixes, and a bunch of maintenance changes, mostly related to location information in the builder/parser, which is now considerably simpler. It also adds support for PRINT numeric-literal, and implements an ELIF statement. That last was in the grammar, but had no builder support. Adding the ELIF feature actually simplifed…
View On WordPress
Debugging wrong debug location info for a CALL in my silly language.
Screenshot Here’s a program in my silly language: PRINT "hi"; // line 1 FUNCTION bar0 ( ) // line 3 { PRINT "bar0"; // line 5 RETURN; // line 6 }; CALL bar0(); // line 9 I noticed that line stepping for this program has a “line number glitch”: xpg:/home/pjoot/toycalculator/samples> gdb out/f Reading symbols from out/f... (gdb) b main Breakpoint 1 at 0x400491: file f.silly, line 1. (gdb)…
View On WordPress
V6 of my silly MLIR based compiler is tagged.
Screenshot There’s an existing toy MLIR dialect, part of the mlir tutorial documentation, so I’ve renamed my dialect from toy to silly, and updated all the references to ‘toy calculator’ to ‘silly compiler’, or ‘silly language’. There’s no good reason to use this language, nor the compiler, so this is very appropriate. It was, however, an excellent learning tool. The toy namespace is renamed, as…
View On WordPress
MLIR toy compiler V5 tagged. Array element assignment/access is implemented.
Screenshot The language and compiler now supports functions, calls, parameters, returns, basic conditional blocks, scalar and array declarations, binary and unary operations, arithmetic and boolean operators, and a print statement. See the Changelog for full details of all the changes since V4. The IF/ELSE work was described recently, but the ARRAY element work is new. Array element lvalues and…
View On WordPress
Added IF/ELSE support to my toy MLIR/LLVM compiler.
Screenshot I dusted off my toy compiler this weekend, and had a bit of fun implementing IF and ELSE support. The MLIR+LLVM compiler infrastructure is impressively versatile, allowing me to implement a feature like this in a handful of hours. It was, however, an invasive feature addition, requiring grammar changes, parser/builder, and lowering adjustments, as well as additional lowering for the…
View On WordPress
Attempting to learn to use VSCode: some keymappings and notes.
I’ve been using vim and the terminal for ~30 years, and am working now in a VSCode shop. I am probably the only holdout, using terminal tools (tmux, vim, cscope, ctags, perl, …). I am a keyboard guy, and am generally hopeless in a UI of any sort, and don’t find them particularly intuitive. I keep trying to make the VSCode switch, but then get frustrated, as I want to do something that I can do…
View On WordPress
mixed results with more C++ module experimentation
First experiment: do I need to import all of the std library? I tried this: import iostream; int main() { std::cout << "hello world\n"; return 0; } I didn’t know if gcm.cache/std.gcm (already built from my previous experiment) would supply that export, but I get: g++ -std=c++23 -fmodules -c -o broken.o broken.cc In module imported at broken.cc:1:1: iostream: error: failed to read compiled…
View On WordPress
C++ sample code with modules!
Screenshot A coworker shared the Stroustrup paper titled “21st Century C++”. I was reading a PDF version, but a search turns up an online version too. This code included use of C++ with modules. I’ve had my eyes on those since working on DB2, which suffered from include file hell (DB2’s include file hierarchy was a fully connected graph). However, until today, I didn’t realize that there were…
View On WordPress
Curl of Curl. Tensor and GA expansion, and GA equivalent identity.
[Click here for a PDF version of this post] In this blog post, we will expand \(\spacegrad \cross \lr{ \spacegrad \cross \Bf } = -\spacegrad^2 \Bf + \spacegrad \lr{ \spacegrad \cdot \Bf } \) two different ways, using tensor index gymnastics and using geometric algebra. The tensor way. To expand the curl using a tensor expansion, let’s first expand the cross product in…
A fun application of Green's functions and geometric algebra: Residue calculus
[Click here for a PDF version of this post] Motivation. A fun application of both Green’s functions and geometric algebra is to show how the Cauchy integral equation can be expressed in terms of the Green’s function for the 2D gradient. This is covered, almost as an aside, in [1]. I found that treatment a bit hard to understand, so I am going to work through it here at my own pace. Complex…
View On WordPress
Summary of some gradient related Green's functions
[Click here for a PDF version of this post] Here is a summary of Green’s functions for a number of gradient related differential operators (many of which are of interest for electrodynamics, and most of them have been derived recently in blog posts.) These Green’s functions all satisfy \begin{equation}\label{eqn:deltaFunctions:120} \delta(\Bx – \Bx’) = L G(\Bx, \Bx’). \end{equation} Let \( \Br =…
Green's function for the spacetime gradient (and solution of Maxwell's equation)
[Click here for a PDF version of this post] Motivation I’ve been assembling a table of all the Green’s functions that can be used in electrodynamics. There’s one set of those Green’s functions left to fill in, the Green’s functions for the spacetime gradient: \begin{equation}\label{eqn:spacetimeGradientGreens:20} \lr{\spacegrad + \inv{c}\PD{t}{}} G(\Bx, \Bx’, t, t’) = \delta(\Bx – \Bx’)\delta(t –…
Green's function for the 3D wave equation.
[Click here for a PDF version of this and related posts] We’ve now evaluated the 1D Green’s function and 2D Green’s function for the wave equation. For the sake of completeness, now let’s evaluate the Green’s function for the 3D wave equation operator. Again with \( \Br = \Bx – \Bx’, \tau = t – t’ \) we want the \( \epsilon \rightarrow 0 \) limit…
View On WordPress
Derivation of the 2D Green's function for the wave equation operator.
[Click here for a PDF version of this post] While it was difficult to attempt to verify the 2D Green’s function, it actually turns out to be fairly easy to derive it, provided we pick an alternate pole displacement from the 1D evaluation to make our lives easier. With \( \Br = \Bx – \Bx’ \), and \( \tau = t – t’ \), and \( \epsilon > 0 \), we can…
View On WordPress