SSH3: SSHv2 using HTTP/3 and QUIC(github.com)

313 points by kieto 2 years ago | 172 comments

Show HN: Ts-SSH – SSH over Tailscale without running the daemon(github.com)

78 points by i8code 1 year ago | 26 comments

Asterinas: OS kernel written in Rust and providing Linux-compatible ABI(github.com)

328 points by Klasiaster 2 years ago | 176 comments

GitHub repository for Asterinas, a secure, fast, general-purpose OS kernel written in Rust that provides a Linux-compatible ABI.

90210 – running the show without property tax(github.com)

16 points by starboyy 4 months ago | 10 comments

Sisyphus Now Lives in Oh My Claude(github.com)

34 points by deckardt 9 months ago | 26 comments

Ethersync: Peer-to-peer collaborative editing of local text files(github.com)

163 points by blinry 1 year ago | 31 comments

How SSH port became 22(ssh.com)

358 points by sysoleg 2 years ago | 140 comments

SSH Academy page from ssh.com explaining SSH ports and the story of how SSH was assigned port 22.

Io_uring, kTLS and Rust for zero syscall HTTPS server(blog.habets.se)

444 points by guntars 1 year ago | 138 comments

Blog post describing building an HTTPS web server in Rust using io_uring and kernel TLS to avoid system calls on the request path.

DeepSeek-Prover-V2(github.com)

359 points by meetpateltech 1 year ago | 74 comments

GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.

FastUI: Build Better UIs Faster(github.com)

319 points by realsarm 2 years ago | 149 comments

GitHub repository for FastUI by Pydantic, a library for building web user interfaces declaratively in Python with React rendering.

You already have a Git server(maurycyz.com)

596 points by chmaynard 1 year ago | 393 comments

Blog post explaining that any server with SSH access can host git repositories, showing how to clone over SSH and allow pushes to the checked-out branch.

An excruciatingly detailed guide to SSH (but only the things I find useful)(grahamhelton.com)

337 points by weeha 3 years ago | 75 comments

A blog post by Graham Helton offering a detailed guide to useful SSH features like port forwarding, aimed at red teamers navigating networks.