verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
OpenRouter
OpenRouterTeam
The unified interface for LLMs. Find the best models & prices for your prompts.
sesh nalla
nerdsane
observability-data@datadoghhq | minimalist { leader | engineer | athlete | artist }
NYC
Julien Le Dem
julienledem
Principal Engineer @ Datadog
Parquet, Arrow, Marquez and OpenLineage co-creator.
Iceberg, 🐖 PMC.
Founder
Datadog Berkeley
OpenTelemetry - CNCF
open-telemetry
OpenTelemetry makes robust, portable telemetry a built-in feature of cloud-native software.
Learned Systems
learnedsystems
Learned systems, machine learning for systems.
Coming soon to a system near you!
HashiCorp
hashicorp
Consistent workflows to provision, secure, connect, and run any infrastructure for any application.
San Francisco, CA
Anar Rzayev
anar-rzayev
Cooking proteins with ML @ ISTA 🇦🇹 |
Ex-Research student @ KAIST 🇰🇷 |
Exchange in CS & Math @ EPFL 🇨🇭 |
ISTA Vienna, Austria
Elmi Ahmadov
ahmadov
Software Engineer at @ClickHouse.
MSc student at TU München.
@ClickHouse Munich, Germany
Cockroach Labs
cockroachlabs
The company building CockroachDB, the scalable, survivable SQL database.
PreviousNext