Am I arrogant? It's too soon to tell!

Counting the real numbers in tree calculus

Type inference is hard but don't hack the terms, just the types: the correct link is

Oops! Will fix in half-an-hour

Type inference is hard but don't hack the terms, just the types

The semantics-syntax distinction is just code for the mind-body problem

New Year's resolutions are out! My watchword for 2025 is **fun**

Anzac Bridge on Sydney Harbour from my balcony with thermal underwear packets on the table, reflections of the building in the glass of the balcony wall

Sunny Sydney to freezing Denver, I’m ready to go with my Christmas woollens

Logic engineers truth.

The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract) (PEPM 2025 - The 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) - POPL 2025 The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been held in conjunction with POPL every year since 2006. The origin of PEPM is ...

If you are going to POPL 2025 in Denver consider coming to my talk at #PEPM2025 on the missing diagonal.
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...

My 15 minutes of fame as #1 on HackerNews GitHub.com/barry-jay-personal/blog/blob/main/2024-12-13-fame.md

Neo-gothic? Sandstone church viewed up through some trees, two stained glass windows, some ferns on the slope

Lavender Bay then Luna Park, seen from behind in foreground then half of Sydney Harbour Bridge framing one shell of the Opera House

The view of, and from Christ Church, Lavender Bay

Calculus or Calculi? at GitHub.com/barry-jay-personal/blog/2024-12-12-calculus-calculi.md explains why there are now two versions of tree calculus in play, and that’s ok

barry-jay-personal - Overview I've left the university to work on my book and explore other opportunities - barry-jay-personal

Since some people find my writing too dense, I’ve written a blog “Turning Poetry into Prose” to expand on my new paper “Typed Program Analysis without Encodings” that shows how to type my tree calculus. The blog, paper and book are all at GitHub.com/barry-jay-personal/

Right! You can also check out my book “Reflective Programs in Tree Calculus” and a type theory for it “Typed Program Analysis without Encodings” at GitHub.com/barry-jay-personal

Tree Calculus One operator. Trivial semantics. Turing complete. Intensional.

So, this is cool:

treecalcul.us

A very simple intensional calculus. A simple, privileged programming language where functions can be analyzed, serialized, etc.

The interesting meaning of “blatant” is “open and shameless”. Since “blatant” is degraded, perhaps we just use “open and shameless” instead, or “shameless” where “open” is understood.

Glass tabletop with painted-dessert coffee cups and water glasses over a mirror supporting a circle of rocks in purple, blue and shiny gold

Breakfast coffee on a table of fools gold

A small, shingle boathouse, framed by branches on the other side of the lake

An open shelter, with a modern sloped roof supported by twelve pillars made of tree trunks with stubs of branches providing triple support

Working from home: Crater Lake or Cataract Gorge?

Rustic path leading off to the left; cradle Mountain framed by a blue sky above; on the right, a two metre tall grass (dead leaves hanging down, a crown of green spikes)

Walking around Dove Lake, under Cradle Mountain, Tasmania

It’s like a simmering pot of water: the hotter it gets, the more it roils

My paper “Typed Program Analysis without Encodings” has been accepted for PEPM (a satellite meeting of POPL) in Denver in January. It shows how to type tree calculus, including its self-interpreters. If you’re going I’d be happy to meet up!

Nested steel shells in lieu of the old rotunda in the park

Railway tracks and power lines create a forced perspective that cradles a row of unusually straight eucalypts

Shapes from today’s walk

Hooray, a one-way street in #Sydney becomes two way for #bicycles (and brush turkeys)