Skip to content
View Ascarshen's full-sized avatar
🙆‍♂️
长夜安隐，多所饶益
🙆‍♂️
长夜安隐，多所饶益
38 followers · 155 following
  • Edinburgh, UK
  • 08:47 (UTC +01:00)

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

Organizations

@Monarch-of-Miracle

Block or report Ascarshen

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
Ascarshen/README.md

🚀 Who am I？

Hello World

  • 👨‍💻 Geek/Hacker/Engineer/Scientist
  • 🙇 Just a stupid Student.
  • 💁 English name is Ascar.
  • 🤷 Why not Oscar?
  • 🙆 According to lexicographic order,
  • 🤦 "A" makes me ranked top of ur contact list.
  • 😊 Yea, it's me, a maverick and funny guy.
  • Just an edgy symbol...

📜 Echoe of Thought

""Everyone thinks their dream job will be smooth sailing. But let's face it: EVERY job has shitstorms. Thing is, in the jobs you love the shitstorm is part of the 'fun and excitement' of that dream job.”"

Po Bronson

🏛️ Sanctuary of Intellect

Shanghai Jiao Tong University(31.0252, 121.4355)

temp

location Update time: 2026-05-21 07:36:01(UTC) 1

📊 GitHub Stats

Ascar's GitHub Summary

🛠️ Skills & Tech Stack

🖥 Programming & Scripting Languages

C++ CUDA Python Rust OCaml Haskell Scala Verilog Java

🔒 Formal Verification & Theorem Provers

TLA+ Coq Lean Isabelle Agda NuSMV Z3

🖥 AI & Backend Development

PyTorch TensorFlow JAX MATLAB Scikit-Learn FastAPI Keras ONNX OpenCV NVIDIA Triton Hugging Face Ray LangChain Dask Apache Spark

🛡 Cybersecurity & Penetration Testing

Burp Suite Metasploit Wireshark nmap IDA Pro Kali Linux

⚙️ Tools & Utilities

Docker Git Linux GDB LLVM LaTeX Vim

📍 Where to find me

GitHub   LinkedIn   Email

📊 Weekly Development Breakdown

YAML           35 mins               █████▓░░░░░░░░░░░░░░░░░░░   22.25 %
TeX            26 mins               ████▒░░░░░░░░░░░░░░░░░░░░   16.97 %
Markdown       23 mins               ███▓░░░░░░░░░░░░░░░░░░░░░   14.82 %
JSON           22 mins               ███▓░░░░░░░░░░░░░░░░░░░░░   14.47 %
Other          20 mins               ███▒░░░░░░░░░░░░░░░░░░░░░   13.09 %

Footnotes

  1. Updates every 20 minutes. Powered by Notion,Nullschool and OSMnx. ↩

Pinned Loading

  1. HoTT HoTT Public

    Forked from HoTT/Coq-HoTT

    Homotopy type theory

    Coq

  2. PLFA-zh PLFA-zh Public

    Forked from Agda-zh/PLFA-zh

    《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

    Haskell

  3. plfl plfl Public

    Forked from plfa/plfl

    Programming Language Foundations in Lean

    C

  4. sglang sglang Public

    Forked from sgl-project/sglang

    SGLang is a fast serving framework for large language models and vision language models.

    Python