Skip to content
View mikalv's full-sized avatar

Highlights

  • Pro

Block or report mikalv

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@hyperpolymath
Jonathan D.A. Jewell hyperpolymath
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.

The Open University & National Union of Journalists London, United Kingdom

@Swival
Swival Swival
Simple yet powerful AI tools for every model.
@dmmulroy
Dillon Mulroy dmmulroy
software engineer @cloudflare

cloudflare Raleigh, NC

@austinjones
Austin Jones austinjones
Backend Engineer & Generative Artist. Extensive experience in Rust and Java. Author and maintainer of tab-rs, a terminal multiplexer.

ThreatX Boston, MA

@leimao
Lei Mao leimao
Artificial Intelligence, Machine Learning, Computer Science. C++, CUDA, Python, CMake.

@facebook Silicon Valley, California

@rustls
rustls
Modern TLS for Rust
@TaKO8Ki
Takayuki Maeda TaKO8Ki
Staff Software Engineer | @rust-lang compiler team

@moneyforward Kyoto, Japan

@denoland
Deno denoland
Uncomplicate JavaScript
@mr-karan
Karan Sharma mr-karan
Tech @zerodha Interested in Observability, Containers and Distributed Systems.

@zerodha Bangalore, India

@ccbrown
Chris ccbrown
I build things. Sometimes those things are made of code.

Infinite Athlete Alpharetta, GA

@orhun
Orhun ParmaksΔ±z orhun
Terminal Chef at @ratatui | Maintainer at @archlinux btw

@ratatui | @archlinux Ankara, Turkey

@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@catppuccin
Catppuccin catppuccin
Soothing pastel theme for the high-spirited!
@zai-org
Z.ai zai-org
ChatGLM, GLM-4.5, CogVLM, CodeGeeX, CogView, CogVideoX | CogDL, AMiner | Zhipu.ai (Z.ai)
@pchalasani
Prasad Chalasani pchalasani
LLM/ML research/practice. Building langroid, the easiest way to develop LLM-agent-oriented systems. https://github.com/langroid/langroid

MLResearch Pittsburgh, PA

@anthropics
Anthropic anthropics

United States of America

@obra
Jesse Vincent obra

Prime Radiant Berkeley, CA 94703

@modelcontextprotocol
Model Context Protocol modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
@terminaltrove
Terminal Trove terminaltrove
The $HOME of all things in the terminal.
@openssh
OpenSSH openssh
The OpenSSH Project
@ekzhang
Eric Zhang ekzhang
An honest, more human kind of software

@thinking-machines-lab New York, NY

@stalwartlabs
Stalwart Labs stalwartlabs
We're building a modern mail server in Rust
@hackcatml
hackcatml hackcatml
Security Researcher. Ajeossi can do!!

korea

@WesSouza
Wes Souza WesSouza
Software Engineer

Canva London, UK

@Stremio
Stremio Stremio
Freedom to Stream
@jmapio
JMAP jmapio
JSON Meta Application Protocol
@GamePad64
Alexander Shishenko GamePad64
Building AI-first engineering. Author of ACT β€” portable AI tools on WASM.

Agent Component Tools Core Earth

@xmh0511
XMH xmh0511
PL enthusiasts. Rust, C++, js developer. Used to be a C++ language lawyer, named JimX appears in CWG and LWG. Currently, dedicated to contributing to Rust's eco
@binwiederhier
Philipp C. Heckel binwiederhier
Principal Engineer, open source fan, semi-regular blogger, author of ntfy, former author of @syncany, German πŸ‡©πŸ‡ͺ, fan of πŸ‡¬πŸ‡§ & πŸ‡ΊπŸ‡Έ, and a dad πŸ‘¦πŸ‘§

ntfy.sh Fairfield, CT, USA

@patattila
Patrick patattila
Village idiot.

Norway

@trezor
Trezor trezor
πŸ‘‘ The Original Hardware Wallet | Usability + Security + Privacy | made by @satoshilabs

Prague, Czech Republic

@sachinites
Abhishek Sagar sachinites
Network Protocol Developer and engineer @calix, Prev : Cisco/Juniper Work Ex : 13+ yrs visit : https://www.csepracticals.com?link=163

Calix Bangalore, India

@alpinelinux
Alpine Linux alpinelinux
A security-oriented, lightweight Linux distribution
@drasyl
drasyl drasyl
Securely Access and Control Your Devices From Anywhere

Hamburg, Germany

@smallstep
Smallstep smallstep
Device Identity for companies with sensitive resources. Secure corporate Wi-Fi, SaaS Apps, VPNs, and more

San Francisco

@theoapp
Theo theoapp
Theo is the authorized keys manager
@mhdzumair
Mohamed Zumair mhdzumair
I don't know everything but I know how to learn anything. AI Principle Engineer & Ex-Cloud Engineer @ Pearson

Pearson Sri lanka