Codex OS
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
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@ccanonne.github.io
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@profrejones.bsky.social
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@liblit.bsky.social
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@sholtzen.bsky.social
I like computers. assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@etanter.bsky.social
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@dangrossmanseattle.bsky.social
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@timbl.bsky.social
Inventor of WWW Co-founder & CTO Inrupt.com | Lead, Solidproject.org Co-founder WebFoundation.org & theODI.org Founder w3.org Follow me on Mastodon https://w3c.social/@timbl Pre-order my memoir ‘This is for Everyone’ https://linktr.ee/thisisforeveryone
@markburgessosl.bsky.social
Em. Prof. Computing Systems, Information physics, Quantum Field Theory, Promise Theory, Cognitive Agents, Semantic Spacetime, CFEngine, author, hobby composer of eclectic musical styles...film music fan. Emotional support animal. Stuff at markburgess.org
@ceperez.bsky.social
Author: Artificial Intuition, Fluency & Empathy, DL Playbook, Patterns for Generative AI, Patterns for Agentic AI https://twitter.com/IntuitMachine https://intuitionmachine.gumroad.com https://medium.com/intuitionmachine
@mikehoney.bsky.social
Data Visualisation and Data Integration specialist - Melbourne, Australia https://linktr.ee/mike_honey_ Support my projects by sponsoring me on Github: https://github.com/sponsors/Mike-Honey
@nplx.bsky.social
@gregbryant.bsky.social
Computing and Communities -- Beautiful Software; Building Beauty; Rain Magazine; Urbanology; UOregon; Tango Center; Workspot; Christopher Alexander's programmer https://www.gregbryant.com
@matthamlin.me
Software engineer at HubSpot, also working on way too many side projects. Co-host of @bikeshedpod.com 🎙️ https://matthamlin.me
@jmugliston.dev
Software engineer. Interested in all things tech 🤖 Occasionally write about things @ jmugliston.dev/blog
@searle.hu
asking 'how's your energy?' ca. 2023 🔬 PhD CS/HCI Well-being & AI - @ UCL 🎨 Director @ No Blank Space 🏠 searle.hu
@eugenekudashev.bsky.social
a human being trying his best writer, internet artist, researcher ex founder of untitled map app serious / silly disillusioned tech enthusiast ??? moving here from twitter.com/eugenekudashev
@abooayoob.bsky.social
@joao.omg.lol
Research Engineer at Google DeepMind A special snowflake existing in 196883 dimensions #ActuallyAutistic He/Him
@ezhik.jp
A hedgehog in Tokyo. 🦔🦔🦔🦔🦔 End-user programming believer. 日本語OK https://ezhik.jp https://mastodon.social/@Ezhik
@sehl.ca
Product at Shopify. Designer turned Developer turned PM. Led Hydrogen & Oxygen, now Liquid. Co-founder of https://kotn.com & https://margin.global
@greg.technology
i work on https://disco.cloud i collect links at reccs.greg.technology i recc foods at eats.greg.technology sisyphus warned us inbox.greg.technology also infowars.greg.technology also subwayjingles.com also restaurants.rip
@abailly.bsky.social
@mrogalski.eu
Open source developer, working towards a user-friendly computer interface. https://automat.org/ I'm streaming my work so feel free to come and hang out at https://twitch.tv/maf_pl or https://www.youtube.com/@MarekRogalski!
@tonerow.bsky.social
Tools for thoughts. Software for good. Made flowchart.fun and 1 and 1 million other things.