Skip to content
View Ascarshen's full-sized avatar
๐Ÿ™†โ€โ™‚๏ธ
้•ฟๅคœๅฎ‰้š๏ผŒๅคšๆ‰€้ฅถ็›Š
๐Ÿ™†โ€โ™‚๏ธ
้•ฟๅคœๅฎ‰้š๏ผŒๅคšๆ‰€้ฅถ็›Š
36 followers · 152 following
  • Edinburgh, UK
  • 03:18 (UTC)

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 supported. This note will be visible to only 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

"้ก˜ๆˆ‘ไพ†ไธ–ใ€‚ๅพ—่ฉๆๆ™‚ใ€‚่บซๅฆ‚็‰็’ƒใ€‚ๅ…งๅค–ๆ˜Žๅพนใ€‚ๆทจ็„ก็‘•็ฉขใ€‚ๅ…‰ๆ˜Žๅปฃๅคงใ€‚ๅŠŸๅพทๅทๅทใ€‚่บซๅ–„ๅฎ‰ไฝใ€‚็„ฐ็ถฒ่ŽŠๅšดใ€‚้Žๆ–ผๆ—ฅๆœˆใ€‚ๅนฝๅ†ฅ็œพ็”Ÿใ€‚ๆ‚‰่’™้–‹ๆ›‰ใ€‚้šจๆ„ๆ‰€่ถฃใ€‚ไฝœ่ซธไบ‹ๆฅญใ€‚"

็ฌฌไบŒๅคง้ก˜ ยทใ€Š่—ฅๅธซ็‰็’ƒๅ…‰ๅฆ‚ไพ†ๆœฌ้ก˜ๅŠŸๅพท็ถ“ใ€‹

๐Ÿ›๏ธ Sanctuary of Intellect

Musee de l'Orangerie(48.8639, 2.3226)

temp

location Update time: 2026-01-18 01:51:21(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

Python     8 hrs 55 mins   โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   71.50 %
Markdown   3 hrs 4 mins    โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–’โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   24.69 %
CSV        19 mins         โ–“โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   02.61 %
Text       8 mins          โ–’โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   01.19 %
Docker     0 secs          โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   00.01 %

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

    Lean

  4. sglang sglang Public

    Forked from sgl-project/sglang

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

    Python