Blog · corpus.blog/blogs/jamesoswald.dev

jamesoswald.dev

jamesoswald.dev · Personal developer blogs · English

Posts on record: 28
First published: 31 July 2023
Last published: 27 August 2026
Feed: jamesoswald.dev/index.xml
Language: English
Category: Personal developer blogs

Is this your blog?

Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.

Claim jamesoswald.dev

2blogs citing

3 links from citing blogs

Most cited pages

Page

Blogs

jamesoswald.dev/

1blogs

Simplicity, Jai, and Joy (Jai Part 1)

/posts/jai-1/

1blogs

Blogs citing this one

Blog

Links

Posts

brandonrozek.com

mrphilgames.com

Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.

Recent posts

The Three Types of FOND Planning Policies original ↗

27 Aug 2026

What is f(x) ≤ g(x) + O(1)? Inequalities With Asymptotics original ↗

20 Feb 2026

Lean4 Macros for Implementing Custom Quantifiers original ↗

8 Nov 2025

Extracting Terms from Big Operators on Sequences in Mathlib original ↗

29 Aug 2025

Status Page Theater original ↗

17 Aug 2025

A Meditation on Extending Inductive Types in Lean4 original ↗

23 Apr 2025

A Simple Typeclass for Logic Formulae in Lean4 original ↗

23 Apr 2025

Emulating Rust's Result and ? in Jai with Metaprogramming original ↗

2 Feb 2025

A Transcription of John McCarthy's Czechoslovakia Visit Letter original ↗

14 Dec 2024

Speeding Up Collatz Iteration With Inline Assembly original ↗

12 Dec 2024

A Basic Inductive Type Comparison: Rust, Lean, C, C++original ↗

6 Aug 2024

Embedding, Jai, and Joy (Jai Part 2)original ↗

24 Jun 2024

Simplicity, Jai, and Joy (Jai Part 1)original ↗

23 Jun 2024

Inference Rules in Peirce's Alpha Existential Graphs (Part 2)original ↗

11 Jun 2024

Formalizing The Singularizing Properties Problem original ↗

11 Apr 2024

All 28 posts, by year

A source page reaches every post it holds, not only the newest fifteen.