Skip to content
View baioc's full-sized avatar
🌑
Does the Black Moon howl?
🌑
Does the Black Moon howl?
67 followers · 142 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report baioc

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

Hello, World! 👋

  • I'm a Software Engineer, FOSS Contributor & Computer Scientist
  • Most skilled in systems programming and tool development
  • My work and research experiences include:
    • 🐧 Ubuntu / Debian packaging & maintenance
    • ⏳ Digital signature timestamping for PKI
    • 🕸️ Formal verification of distributed algorithms
    • 🧬 Simulation of biological computing circuits
    • 📹 Video compression algorithm optimization
  • I also like studying Cybersecurity and Compilers
  • Feel free to check out my résumé and portfolio
  • Want to reach* me? Try LinkedIn or email
https://github-readme-stats.vercel.app/api/top-langs/?username=baioc&langs_count=10&exclude_repo=S4PU,crowd-sourced,baioc.github.io&hide=HTML,CSS&layout=compact&theme=transparent

* For security-sensitive communications, please encrypt your messages with my personal PGP key.
Its fingerprint is CBC54EF64ADF0F590095B06ABD4C56811EC6922D, and it should be available at:

grafBASIC

salutrcme-ICASSP2021-posterre-multif

PyCGdagger3d

FormallyShrperis.btreePadn't

Pinned Loading

  1. grafgrafPublic

    Plot discretized line charts in your terminal

    F# 1

  2. buskbuskPublic

    Plain text search using an inverted trigram index

    C 1

  3. padntpadntPublic

    A Dontpad clone built with Spring Boot

    Java 6 4

  4. FormallySharpFormallySharpPublic

    Webapp to design formal (LL1) languages / parsers

    F# 3

  5. cloxcloxPublic

    Compiler and VM for Lox, a JS-like language

    C 9

  6. hxdsphxdspPublic

    Cross-platform FFT for DSP

    Haxe 10