TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Arthur Pastel
art049
Founder @CodSpeedHQ 🐰 Building tools to make your software faster ⚡️ Chasing more tech than time allows
@CodSpeedHQ New York
Georgios Konstantopoulos
gakonst
cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz
@paradigmxyz Thessaloniki, Greece
Base
base-org
Base is bringing the world onchain to create a global economy that increases innovation, creativity, and freedom. Built on the Superchain.
Model Context Protocol
modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
MegaETH
megaeth-labs
MegaETH is real-time Ethereum, streaming transactions at lightning speed: sub-millisecond latency and over 100,000 transactions per second.
Charlie Marsh
charliermarsh
Building @astral-sh: high-performance developer tools for Python, starting with uv and Ruff.
@astral-sh Brooklyn, NY
William Falcon
williamFalcon
PyTorch Lightning Creator. CEO @Lightning-AI . AI PhD Researcher @nyu.
Former @facebookresearch, Goldman Sachs, Columbia, NextGenVest (co-founder, acquired)
Lightning AI New York City, NY
Christian Chiarulli
ChristianChiarulli
@LunarVim !Philadelphia
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv