Process @processdisco

correct by construction process modelling platform. design, refine, deploy. collaboratively. powered by @statebox process.io Joined October 2020

Tweets

6
Followers

120
Following

1
Likes

9

Statebox @statebox

4 years ago

We are excited to announce that the paper Categories of Nets, authored by our very own @fabgenovese in collaboration with @johncarlosbaez , @JadeMasterMath and Mike Shulman has been accepted to LICS 2021. Find out more on statebox.org/news/2021/lics…

2 7 69 0 6

Download Image

Statebox @statebox

4 years ago

Have you read our latest paper on hierarchical petri nets yet? arxiv.org/abs/2102.00096

0 4 30 0 2

Download Image

SolidGoldMagikarp @wires_wires

5 years ago

Our latest paper is on arxiv now arxiv.org/abs/2102.00096 Sharing for the diagram porn. @statebox @processdisco @fabgenovese

1 6 42 0 1

Download Image

SolidGoldMagikarp @wires_wires

5 years ago

I'm sketching out something I'm calling Well Typed Foundations github.com/wires/wtf A language like JSON but w types and references. I am using @rescriptlang together with @pegjs to implement a simple bidirectional typechecker. All @processdisco data is stored like this

1 2 14 0 3

Statebox @statebox

5 years ago

meanwhile on @newsycombinator ... #petrinets #categorytheory news.ycombinator.com/item?id=258207…

0 3 14 0 1

SolidGoldMagikarp @wires_wires

5 years ago

Hype. #statebox #diagrams #categorytheory #cybernetics #formalmethods #correctbyconstruction #compositional Follow @statebox @processdisco See typedefs.com | statebox.org | process.io

0 8 31 0 2

Download Image

yamine @yamine_x

1K Followers 4K Following Building Φ | formerly @CERN @ProtonPrivacy @42born2code

Jason Manuel @JasonAManuel

187 Followers 826 Following ASU graduate. Python + web programming + programming languages.

Software Producer 🌎 robust openness, sustainability, generosity, harmony, tranquility, resilience, semantics, activitypub, dweb, web4, law, peace. {B,T}LM.

mastodon.social/@beng... @bengo

1K Followers 5K Following Software Producer 🌎 robust openness, sustainability, generosity, harmony, tranquility, resilience, semantics, activitypub, dweb, web4, law, peace. {B,T}LM.

Aarya @Automatoor

333 Followers 666 Following Building AI agents @Galadriel_AI | Prev @Polkadot @Gelatonetwork I @Developer_DAO #191 I Member @safaryclub

عمار سميا @ammarsmayya93

91 Followers 5K Following

Ghost of TrueLevel SA @TruelevelSa

345 Followers 1K Following https://t.co/DG1iKjjWel @SwapBoxCash

Zachary Larson @zacharylarson

622 Followers 5K Following Cyber-Social Infrastructure You are your environment 🦋zacharylarson

DeFi pioneer | Aerospace engineering | Calculate your risk | I mainly trade based on fundamentals with TA as secondary. My babies: BTC, ETH, RUNE

caesar @Caesarj0x

90 Followers 698 Following DeFi pioneer | Aerospace engineering | Calculate your risk | I mainly trade based on fundamentals with TA as secondary. My babies: BTC, ETH, RUNE

Protocols & tools for #LocalFirst #P2P collaboration.
Distributed systems researcher.
https://t.co/POzL13GI3u
@p2pcollab

TG × ⊙ @tgxnet

136 Followers 624 Following Protocols & tools for #LocalFirst #P2P collaboration. Distributed systems researcher. https://t.co/POzL13GI3u @p2pcollab

Jonathan Deyrson @deyrson

857 Followers 873 Following Computer Programmer

Trivés Errante @triveserrante

635 Followers 4K Following Aprendiendo algo nuevo cada día.

Kurt Uwe Stoll @ustoll

431 Followers 2K Following Working on merging symbolic and subsymbolic AI.

Eran Meir @eranmeir

57 Followers 474 Following Talk, I am listening

BFF to Linden; dog dad to Amber+Jazz. Bonds-dog communist, value-function abolitionist, Golden Path spicepoaster. Don't blame me: I voted Socialist Worker!

Eli Sennesh @ESennesh

2K Followers 3K Following BFF to Linden; dog dad to Amber+Jazz. Bonds-dog communist, value-function abolitionist, Golden Path spicepoaster. Don't blame me: I voted Socialist Worker!

todofmm @todofmm

133 Followers 2K Following ∅

ai for projects.
Interested in AI capabilities and alignment.
Knowledge graphs for for fun
student of applied category theory.

lawrence rowland @lawrencerowland

626 Followers 3K Following ai for projects. Interested in AI capabilities and alignment. Knowledge graphs for for fun student of applied category theory.

Somewhere in the cultural & educational space between technology and society: printmaker, designer, educator & artistic activist #fossrookie

xox_is_not_alone @LiseloVD

48 Followers 474 Following Somewhere in the cultural & educational space between technology and society: printmaker, designer, educator & artistic activist #fossrookie

Timo @Timo37_

3K Followers 2K Following independent research & speculation.

exogeniq @exogeniq

80 Followers 2K Following angel cow

Alexa Raque @aaraqued

159 Followers 1K Following Old genZ. In an open relationship with advertising @Anomaly. Views are my own and contextual.

a @nocapnet

18 Followers 209 Following stop the cap im tryna let the light in

Giulio Mazzanti @Giuzzilla

379 Followers 2K Following Head of Engineering @quickalgorithm. Formerly: @GeorgiaTech @GTOMSCS, @sfliberty, BSc Economics & CompSci @unibocconi.

Sam Kuhn @SamKuhnDev

221 Followers 6K Following

wrong life rightly li... @hegemonetics

512 Followers 4K Following hunger is the best spه҈̿҈̿҈̿҈̿҈̿ce

Pawel Sawicz @sawiczpawel

1K Followers 1K Following Problem solver, @dotNetConfPL c0-organizer, Engineer @checkout. Alumni of @PWr_Wroclaw. MSc SoftEng @UniofOxford

maltyblanket @maltyblanket

34 Followers 1K Following

Slayer of Cambridge Analytica, founder @PersonalDataIO @HestiaAI, polytropon thinking about maths, data, science, ethics, collective intelligence and cognition.

@podehaye@mathstodon.... @podehaye

18K Followers 2K Following Slayer of Cambridge Analytica, founder @PersonalDataIO @HestiaAI, polytropon thinking about maths, data, science, ethics, collective intelligence and cognition.

Maths PhD, Haskeller, @symbolica @SydneyTypes @SydneyPaperClub
Passionate thaumatoneirodule, entry-level hypnerotomachist

Mark Hopkins @antiselfdual

1K Followers 2K Following Maths PhD, Haskeller, @symbolica @SydneyTypes @SydneyPaperClub Passionate thaumatoneirodule, entry-level hypnerotomachist

Chris Mountford @chromosundrift

1K Followers 2K Following FOLLOWS YOU software engineer / musician / dj / wannabe minimalist ex digitalasset ex atlassian

William Whistler @willwhistler

317 Followers 1K Following Researcher in computational complexity and proof assistants. Still occasionally a reverse engineer.

Patrick Detlefsen @patrickdet

206 Followers 1K Following

👁️ autosurveilla... @pee_zombie

5K Followers 5K Following qualia haver (store-bought)

Alejandro Cuenca Estr... @coffidev

293 Followers 2K Following

Dr. Robotnik's bastar... @Mapkinaskinasek

1 Followers 27 Following

ofstrings2 @tetracephaly

227 Followers 2K Following TOK | TT | TOTK

Nick Papoulias @npapoylias

442 Followers 4K Following Programming Languages & Tools, AI, Simulation, Reflection, Debugging. Director of Research 🚀 Bringing the Future Back !

Joel Gustafson @gustafjt

609 Followers 184 Following normcore futurism

Tannr 🦾🤖 @intent_dev

2K Followers 2K Following CTO of @khalani_network | dad | phil of math & mind | powered by neuromodulation, peptides & heavy weights

Reporter. Email: jbreporting@protonmail.com ; NLP until recently | @theReloadSite @RevolverNewsUSA

Joseph Brucker @jbrucj

5K Followers 2K Following Reporter. Email: [email protected] ; NLP until recently | @theReloadSite @RevolverNewsUSA

🦋 @RealZaan2037

0 Followers 2K Following

Sandy Vanderbleek @haskellandchill

697 Followers 4K Following Software engineer turned med student, ICOM 2029

weijie.eth @weijie_eth

3K Followers 3K Following cryptography engineer and researcher. prev. @BainCapCrypto, @__geometry__, @PrivacyEthereum, @Consensys

EB @taczwr

868 Followers 3K Following 摆烂

A comathematician is a device for turning cotheorems into ffee.
Currently @eth_math, moving to @NYUDataScience.
Formerly PhD at @UCLA, intern @MSFTResearch.

Jaume de Dios @JaumedeDios

148 Followers 649 Following A comathematician is a device for turning cotheorems into ffee. Currently @eth_math, moving to @NYUDataScience. Formerly PhD at @UCLA, intern @MSFTResearch.

z @98023I78

0 Followers 365 Following

Xeno Capital @xenocapital

0 Followers 12 Following Foreign currency.

Olivier Lange @olange

215 Followers 644 Following Artisan-développeur • Data is alive and flows, and belongs to you

Ben @notionparallax

433 Followers 1K Following Only side projects, stroppy, questions, he/him 🧌 I'm much worse in real life

Jim Stuttard @OctopusSnook

132 Followers 610 Following Likes Haskell, FP, type theory, category theory, environmental and ecological sciences and composing.

Universal process theory. Researching diagrammatic foundations of information, computation, mathematics, physics, biology & consciousness. @wires_wires

Statebox @statebox

2K Followers 155 Following Universal process theory. Researching diagrammatic foundations of information, computation, mathematics, physics, biology & consciousness. @wires_wires

No recent Favorites. New Favorites will appear here.