Following
@pbazant.bsky.socialShalabh @shalabh.com Programmable software systems "research" and philosophizing. shalabh.com/programmable-systems Computation is a physical process. Any models we use to describe this process is imposed by us. What models would you choose?
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk. Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Codex OS @codexeditor.bsky.social Creating the knowledge worker's local-first, open source web OS, using standoff properties and hypergraphs. #DH #TEI #DigitalHumanities #HumanitiesComputing Code: https://github.com/argimenes/speedy-ts
Bret Victor @worrydream.com worrydream.com dynamicland.org
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com Newsletter: https://buttondown.email/hillelwayne/
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app