Skip to content

Instantly share code, notes, and snippets.

View shubhamkumar13's full-sized avatar
😑
is existing

shubham shubhamkumar13

😑
is existing
View GitHub Profile
@VictorTaelin
VictorTaelin / hvm3_atomic_linker.md
Last active June 14, 2025 06:46
HVM3's Optimal Polarized Atomic Linker

HVM3's Optimal Atomic Linker (with Polarization)

Atomic linking is at the heart of HVM's implementation: it is what allows threads to collaborate towards massive parallelism. All major HVM versions started with a better atomic linker. From slow, buggy locks (HVM1), to AtomicCAS (HVM1.5), to AtomicSwap (HVM2), the algorithm became simpler and faster over the years.

On the initial HVM3 implementation, I noticed that one of the cases on the atomic linker never happened. After some reasoning, I now understand why, and

@Chubek
Chubek / POSIX-Shell.ebnf
Last active May 26, 2025 20:07
The POSIX Shell Grammar
# Lexical and Syntactic EBNF Grammar for POSIX Shell (Non-Attributed)
# Authored by Chubak Bidpaa ([email protected])
# Written For the Marsh Shell (https://github.com/Chubek/Marsh)
# This grammar is based on POSIX specs (https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html)
# This document is released under `Unlicense` Public Domain License Agreement | (C) 2024 Chubak Bidpaa | No Warranty
# A: Lexical Grammar for POSIX Shell
@sleeyax
sleeyax / stremio_discord_integration.md
Last active April 20, 2025 18:41
Stremio and Discord integration guide

Stremio and Discord integration

2023_07_08_15_03_33

Show your favorite movies, series and channels from Stremio to your friends on Discord!

⚡ Quick start

@swlaschin
swlaschin / effective-fsharp.md
Last active June 16, 2025 06:53
Effective F#, tips and tricks

Architecture

  • Use Onion architecture

    • Dependencies go inwards. That is, the Core domain doesn't know about outside layers
  • Use pipeline model to implement workflows/use-cases/stories

    • Business logic makes decisions
    • IO does storage with minimal logic
    • Keep Business logic and IO separate
  • Keep IO at edges