ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ

The Journal of Solid-State Computing

Authors:

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

We'll do it live. The hotfix is in review.

VOLUME THREE ISSUE ONE is now available from https://t.co/kGBqPEa0ZK for $29 in hardcover.

This covers directed messaging, subject knowledge analysis, Obelisk, & more. We'll release all articles to the open web over the next few weeks.

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

Found a last-minute typo that was severe enough to merit a resubmission, so we're delayed a bit. The good news is that we're More Correct Than Ever Before.

[Shamanic Depressive Gymnosophist (book in bio) @sigilante]

Urbit's numerical library capabilities receiving a major upgrade:

1. Gustafson 2022-spec Type III unums (posits/quires) https://t.co/12HxxNyrQU
2. Fixed-point mathematics https://t.co/NPCxihjJms
3. Updated two's-complement https://t.co/uASaKClYUw

[Shamanic Depressive Gymnosophist (book in bio) @sigilante]

Urbit is a “personal server”, but the word “server” suffers semantic pollution. Urbit is better described as “agent substrate”, the field of play or laboratory from within which agent-driven processes command the world.

An essay on agent-driven Urbit: https://t.co/qoj63jRnpa

[Shamanic Depressive Gymnosophist (book in bio) @sigilante]

Working on a little something for https://t.co/e5oecsRoqs and Nock ISA pedagogy more generally: Nock Assembly.

https://t.co/2SQYMCEg9K

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

3. North, or Nock Forth, which you can install and run directly in a NockApp or Urbit ship, either way since it's a standalone noun. This is at https://t.co/yFnFtOvKtQ.

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

A quick update on some Nock-related programming projects:

1. There is a Nock kernel for Jupyter at https://t.co/IFaJLX06Aw. This powers the interactive pages at https://t.co/hPZiUpbcrz.

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

2. There is a Hoon kernel (flexible across languages) for Jupyter at https://t.co/GDk0GAaybY. This formerly needed a %base desk patch but I've refactored it to stand alone. It's compatible with other Nock languages too, like—

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

@cdor_n @urbit AFAIK these have only been available at Assembly events IRL.

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

New updates just dropped for https://t.co/hPZiUpbcrz.

Take a look.

https://t.co/FuQLhbuFRz

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

https://t.co/Y0jMB8SGKI

[Jack Fox @foxyjackfox]

https://t.co/ckOCHOw7bB

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

you might say there's something cooking

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

The long-awaited anchor piece to volume 3 no 1: @foxyjackfox′s Obelisk exposition.

* Article: https://t.co/Y0jMB8SGKI
* Forum: https://t.co/plqU1ERtI6
* Hard copy: https://t.co/e5QOWAp6F0

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

You've seen "jammed nouns" or Nock nouns packed as bytes.

But how does noun serialization work in practice? ~ticlys-monlun and ~lagrev-nocfep explain in this week's article.

* article: https://t.co/ncXDBO2gfu
* forum: https://t.co/5eBkl96fB5
* hard copy: https://t.co/e5QOWAp6F0

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

Working on https://t.co/hPZiUpbcrz tonight, adding references to more non-Urbit discussion of Nock ISA.

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

@genkidenkitenki @acadianlemur On Urbit in general? Install it from https://t.co/N8PaWesv78 and get on the network. Make some new contacts and friends. Then when you're interested get into the developer groups like ~hiddev-dannut/new-hooniverse or ~dister-dozzod-lapdeg/battery-payload.

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

@acadianlemur You should explain the illustration symbology

[~randem-simbel @acadianlemur]

my ‘whale skeleton’ illustration in the latest @UrbitSTJ highly recommend picking up this copy if you’re into cryptography

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

A powerful twofer this week:

* @dozreg_toplud's exposition of Subject Knowledge Analysis (CC @nockemsockem)
* @hanfel_dovned on Groundwire's comet cryptography

Read at https://t.co/kGBqPE9tac, visit our forum at https://t.co/v0pDmyjy2D, buy hardcopy at https://t.co/e5QOWAp6F0

[Urbit @urbit]

Subject Knowledge Analysis, part of the long running 'neourbit' undertaking, is well underway as an effort to make Nock fast. @dozreg_toplud writes in @UrbitSTJ on how SKA expands on the traditional tree-walking and bytecode interpreters which have been used historically.

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

A powerful twofer this week:

* @dozreg_toplud's exposition of Subject Knowledge Analysis (CC @nockemsockem)
* @hanfel_dovned on Groundwire's comet cryptography

Read at https://t.co/kGBqPE9tac, visit our forum at https://t.co/v0pDmyjy2D, buy hardcopy at https://t.co/e5QOWAp6F0

[ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ @UrbitSTJ]

Not an Urbit project, but of interest.

[Shamanic Depressive Gymnosophist (book in bio) @sigilante]

Introducing 𝔤𝔬𝔱𝔥, the language for machine spirits.

𝔤𝔬𝔱𝔥 is an LLM-friendly functional programming language with Unicode syntax, dependent types, and tensor operations, including uncertainty intervals and precondition/postcondition contracts.

https://t.co/JRV4NP7Vb3