Barry Jay
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Am I arrogant? It's too soon to tell!
github.com
January 16, 2025 at 8:06 PM
Am I arrogant? It's too soon to tell!
Counting the real numbers in tree calculus
github.com
January 6, 2025 at 6:42 AM
Counting the real numbers in tree calculus
Type inference is hard but don't hack the terms, just the types: the correct link is
github.com
January 4, 2025 at 9:41 PM
Type inference is hard but don't hack the terms, just the types: the correct link is
Type inference is hard but don't hack the terms, just the types
github.com
January 4, 2025 at 8:20 PM
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
GitHub.com
January 3, 2025 at 11:14 PM
The semantics-syntax distinction is just code for the mind-body problem
New Year's resolutions are out! My watchword for 2025 is **fun**
github.com
December 30, 2024 at 8:35 PM
New Year's resolutions are out! My watchword for 2025 is **fun**
Sunny Sydney to freezing Denver, I’m ready to go with my Christmas woollens
December 24, 2024 at 8:38 PM
Sunny Sydney to freezing Denver, I’m ready to go with my Christmas woollens
Reposted by Barry Jay
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...
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...
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 ...
popl25.sigplan.org
December 13, 2024 at 12:09 AM
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...
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
GitHub.com
December 12, 2024 at 8:19 PM
My 15 minutes of fame as #1 on HackerNews GitHub.com/barry-jay-personal/blog/blob/main/2024-12-13-fame.md
The view of, and from Christ Church, Lavender Bay
December 12, 2024 at 8:09 PM
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
GitHub.com
December 11, 2024 at 11:37 PM
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
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/
barry-jay-personal - Overview
I've left the university to work on my book and explore other opportunities - barry-jay-personal
GitHub.com
December 10, 2024 at 10:14 AM
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/
Reposted by Barry Jay
So, this is cool:
treecalcul.us
A very simple intensional calculus. A simple, privileged programming language where functions can be analyzed, serialized, etc.
treecalcul.us
A very simple intensional calculus. A simple, privileged programming language where functions can be analyzed, serialized, etc.
Tree Calculus
One operator. Trivial semantics. Turing complete. Intensional.
treecalcul.us
December 10, 2024 at 12:46 AM
So, this is cool:
treecalcul.us
A very simple intensional calculus. A simple, privileged programming language where functions can be analyzed, serialized, etc.
treecalcul.us
A very simple intensional calculus. A simple, privileged programming language where functions can be analyzed, serialized, etc.
Breakfast coffee on a table of fools gold
November 28, 2024 at 9:05 PM
Breakfast coffee on a table of fools gold
Working from home: Crater Lake or Cataract Gorge?
November 26, 2024 at 7:14 AM
Working from home: Crater Lake or Cataract Gorge?
Walking around Dove Lake, under Cradle Mountain, Tasmania
November 24, 2024 at 9:44 PM
Walking around Dove Lake, under Cradle Mountain, Tasmania
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!
November 19, 2024 at 5:48 AM
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!
Shapes from today’s walk
November 18, 2024 at 5:02 AM
Shapes from today’s walk
