Skip to content
View Validark's full-sized avatar
🍳
🍳

Organizations

@RoStrap

Block or report Validark

Report abuse

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

Report abuse
Validark/README.md

A little about me

  • Zig-z Created the Accelerated Zig parser (up to 3x faster πŸš€πŸš€πŸš€)
    • ⚑ Zig is my personal favorite programming language
  • LLVM dragon-head logo Assembly auditor
    • Reduced the instruction count of must_be_2_3_continuation in simdutf/simdjson from 6 to 4 on x86-64 (with similarly small improvements on other architectures). Although this sounds trivial, this garnered a 4% performance uplift in utf8 validation!
  • πŸ“ƒ Invented a data structure [demo, paper] that improves upon prefix trees (i.e. tries) to solve the scored autocomplete problem orders of magnitude faster πŸš€πŸš€πŸš€πŸš€πŸš€
  • Co-Developed the initial version of roblox-ts with @Osyrisrblx
  • @RoStrap Created the RoStrap project
  • Lua My first programming language was Lua
  • Big-Theta connoisseur
    • Did you know that a priority queue implemented as a 1-2-3 Skip list can perform the extract-min operation in amortized constant time?
      • And yes, insertions are still logarithmic! And any other value can be extracted in logarithmic time!
  • monkeytype 100 WPM on Monkeytype

Click the following image for a demo of my data structure:

An image of my prefix trie data structure


Favorite talks

Performance Matters (Strange Loop 2019)
Data-Oriented Design and C++
Practical Data-oriented Design

Exciting new tech

  • Mill instruction set architecture
    • An in-order statically scheduled architecture that achieves the performance of an out-of-order superscalar with extremely innovative tricks
    • Eats loops like goats eat underwear
  • LuaJIT Remake
    • Automatically generates a blazingly fast interpreter and multi-level JIT compiler given only a semantic description of a language's bytecodes
  • Pijul version control system
    • Based on the theory of patches and not slow like DARCS
  • Bun JavaScript runtime
    • Blazingly fast runtime and toolkit for JavaScript

Pinned Loading

  1. Accelerated-Zig-Parser Accelerated-Zig-Parser Public

    A high-throughput parser for the Zig programming language.

    Zig 262 4

  2. DynSDT DynSDT Public

    Dynamic Score-Decomposed Tries which more efficiently solve the prefix autocomplete problem

    Zig 28

  3. roblox-ts/roblox-ts roblox-ts/roblox-ts Public

    A TypeScript-to-Luau Compiler for Roblox

    TypeScript 1.2k 170

  4. 1-2-3-Skip-List 1-2-3-Skip-List Public

    A deterministic skip list that supports Θ(lg n) insertions and Θ(1) amortized min-extractions

    Lua 5

  5. Roblox-TS-Libraries Roblox-TS-Libraries Public

    Various libraries I have posted on npm

    Lua 19 12

  6. RoStrap/rostrap.github.io RoStrap/rostrap.github.io Public

    Official RoStrap Website

    HTML 3 4