The Journal of Solid-State Computing Authors: https://xitter.cf/t.co/uCy1ZLFn0x
Groundwire Foundation
Joined January 2024
- Tweets367
- Following5
- Followers453
- Likes515
Pinned Tweet
Urbit Systems Technical Journal volume three issue two.
Subject Knowledge Analysis, Groundwire, Numerical Computing, and other affairs of plain living.
Plus a new rate thanks to a publication rework 👉
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
Since July, I've been working on a set of fundamental CS questions rooted in combinator calculi. I've built out the SKIverse, a set of tools for computing on the SKI combinators, writing them using high-level languages, and ultimately zero-knowledge-proving with them.
🧵
Some news from the SKIverse:
• The Avon runtime (in C) for evaluating pure SKI combinator programs is available now at github.com/sigilante/avon
• Associated Lean SKI evaluation proofs are at github.com/sigilante/lean-sk…
• A SKIjack interpreter is now on PyPI: pip install skijack
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
The Internet is dead and PHP + Node.JS killed it.
Looking for an exit?
@GroundwireBTC : Decentralized Sybil Resistance for a Dead Internet
USTJ article release day. This week, we have the public explanation of @GroundwireBTC′s ongoing project to weld Bitcoin and sybil resistance together using Urbit computing.
Read it online or buy your own hard copy for additional art and panache: urbitsystems.tech/article/v0…
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
The scope Urbit ID is often conflated with the scope of the Azimuth and Ecliptic contracts on Ethereum. But this could not be further from the truth. Azimuth is just one slice of the Urbit ID public key infrastructure (PKI).
Check out this article from the guys at @GroundwireBTC in the @UrbitSTJ to learn more about how they are using Urbit comets and Bitcoin to carve out another slice of the Urbit address space for secure and sybil-resistant networking in the AI era.
USTJ article release day. This week, we have the public explanation of @GroundwireBTC′s ongoing project to weld Bitcoin and sybil resistance together using Urbit computing.
Read it online or buy your own hard copy for additional art and panache: urbitsystems.tech/article/v0…
USTJ article release day. This week, we have the public explanation of @GroundwireBTC′s ongoing project to weld Bitcoin and sybil resistance together using Urbit computing.
Read it online or buy your own hard copy for additional art and panache: urbitsystems.tech/article/v0…
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
A REMINDER that EVERY SINGLE ISSUE of Urbit Systems Technical Journal features UNIQUE ART by Urbit-verse ARTISTS & ILLUSTRATORS. You are MISSING OUT if you only see it online.
BUY YOUR PRINT COPY HERE: urbitsystems.tech/
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
New USTJ article release. Read it on the site, or get the hardcover for $20 (link at site).
Urbit features a deterministic numerical stack with integer, two's comp, IEEE 754 floating-point, posit/unums, fixed-point, and more! @sigilante lays it all out.
urbitsystems.tech/article/v0…
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
“I heard you like deterministic computing, so I put deterministic floating point math in your deterministic purely functional solid state interpreter”
- @sigilante (probably)
New USTJ article release. Read it on the site, or get the hardcover for $20 (link at site).
Urbit features a deterministic numerical stack with integer, two's comp, IEEE 754 floating-point, posit/unums, fixed-point, and more! @sigilante lays it all out.
urbitsystems.tech/article/v0…
New USTJ article release. Read it on the site, or get the hardcover for $20 (link at site).
Urbit features a deterministic numerical stack with integer, two's comp, IEEE 754 floating-point, posit/unums, fixed-point, and more! @sigilante lays it all out.
urbitsystems.tech/article/v0…
A REMINDER that EVERY SINGLE ISSUE of Urbit Systems Technical Journal features UNIQUE ART by Urbit-verse ARTISTS & ILLUSTRATORS. You are MISSING OUT if you only see it online.
BUY YOUR PRINT COPY HERE: urbitsystems.tech/
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
“You can just do things” is a poem about @GlueWear.
Read the October Contributor Spotlight to learn why, when asked, “What would you be doing if you weren’t working on Urbit?” ~disden-talhes responded:
“But I am working on Urbit.”
urbit.org/blog/contributor-s…
New USTJ article release. Read it on the site, or get the hardcover for $20 (link at site).
urbitsystems.tech/article/v0…
ᴜʀʙɪᴛ ꜱʏꜱᴛᴇᴍꜱ ᴛᴇᴄʜɴɪᴄᴀʟ ᴊᴏᴜʀɴᴀʟ retweeted
New support for title cards per article on the site.
urbitsystems.tech/article/v0…
New support for title cards per article on the site.
urbitsystems.tech/article/v0…
New USTJ article for the week.
@sigilante formalizes the relationship of the SKI combinators to the Nock opcodes, and produces a Turing-complete fragment of Nock.
Link in next tweet 👇
