Ryan Lyell @marm-memory.bsky.social I built a local-first 3-in-1 AI memory layer & MCP server for Claude, Codex, Grok & Gemini. Fuses session history, codebase indexing & concept graphs in SQLite.
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
Fermyon @fermyon.com Faster, high-performance compute for serverless apps. Powered by WebAssembly. Creators of Spin + Spinkube open source projects.
https://linktr.ee/fermyon
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Atomic @atomic98.bsky.social Aerospace Engineering, Robotics, Defense, Nuclear Physics, Silicon, Sustainability, Markets
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him