Skip to content

Instantly share code, notes, and snippets.

View isubasinghe's full-sized avatar

Isitha Subasinghe isubasinghe

View GitHub Profile
@isubasinghe
isubasinghe / gist:27dc05e41ccb6b33e28e39d2b92dc108
Created December 22, 2025 08:20
notify on dag task level on failure
apiVersion: argoproj.io/v1alpha1
kind: Workflow
metadata:
generateName: dag-diamond-hooks-
spec:
entrypoint: main
templates:
- name: main
dag:
tasks:
#include <stdint.h>
#include <stdbool.h>
#include <stdlib.h>
#define CONFIG_L1_CACHE_LINE_SIZE_BITS 64
#define DRIVER 0
#define CLIENT_CH 1
#define NUM_CLIENTS 3
#define NET_BUFFER_SIZE 2048
#define RING_SIZE 512
6923cc837 chore(deps): bump github.com/minio/minio-go/v7 from 7.0.52 to 7.0.55 (#11145)
760299ff9 chore(deps): bump github.com/minio/minio-go/v7 from 7.0.55 to 7.0.56 (#11169)
f3c948a04 chore(deps): bump github.com/itchyny/gojq from 0.12.12 to 0.12.13 (#11170)
572641f9c chore(deps): bump github.com/prometheus/client_golang from 1.15.1 to 1.16.0 (#11227)
d2091a710 chore(deps): bump react-datepicker from 4.12.0 to 4.14.0 in /ui (#11231)
8089f41bd chore(deps): bump github.com/minio/minio-go/v7 from 7.0.56 to 7.0.58 (#11261)
f180335b3 chore(deps): bump react-datepicker from 4.14.0 to 4.14.1 in /ui (#11263)
476eca40f chore(deps): bump cloud.google.com/go/storage from 1.30.1 to 1.31.0 (#11284)
6dfe5d49e chore(deps): bump github.com/minio/minio-go/v7 from 7.0.58 to 7.0.59 (#11285)
75e462af2 chore(deps): bump dependabot/fetch-metadata from 1.5.1 to 1.6.0 (#11287)
2016078c0 fix: add space to fix release action issue (#11160)
ac9161ce1 fix: Workflow list page crashes for workflow rows without labels (#11195)
fdb3ec03f fix: Live workflow takes precedence during merge to correctly display in the UI (#11336)
97b6fa844 fix: Modify broken ui by archived col (#11366)
5b31ca18b fix: persist archived workflows with `Persisted` label (#11367) (#11413)
5cb75d91a fix: add query string to workflow detail page(#11371) (#11373)
f5d41f8c9 fix: make archived logs more human friendly in UI (#11420)
f8a34a3b5 fix: Devcontainer resets /etc/hosts (#11439) (#11440)
1f6b19f3a fix: add guard against NodeStatus. Fixes #11102 (#11451)
61a4ac45c fix: Ignore failed read of exit code. Fixes #11490 (#11496)
@isubasinghe
isubasinghe / make_graphlang.sh
Created February 5, 2024 00:14
continue_export_cmd
theory "tmp"
imports
"CParser.CTranslation"
"AsmRefine.GlobalsSwap"
"AsmRefine.SimplExport"
begin
declare [[populate_globals=true]]
typedecl machine_state
typedecl cghost_state
install_C_file "input.c"
char STRINGLITERAL[1];
typedef signed char int8_t;
typedef short int int16_t;
typedef int int32_t;
@isubasinghe
isubasinghe / hamt.c
Created December 15, 2023 11:31 — forked from robalni/hamt.c
#include <stdio.h>
#include <string.h>
#include <stdint.h>
static uint64_t hash_str(char *data) {
uint64_t prime = 0x100000001b3;
uint64_t hash = 0xcbf29ce484222325;
for (size_t i = 0; data[i]; i++) {
hash ^= (unsigned char)data[i];
hash *= prime;
@isubasinghe
isubasinghe / WellTyped.hs
Created August 24, 2023 10:48 — forked from AndrasKovacs/WellTyped.hs
Well-typed interpreter from the Idris tutorial (http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf) in Haskell.
{-# LANGUAGE
LambdaCase, GADTs, TypeOperators, TypeFamilies, DataKinds #-}
data Type = TInt | TBool | Type :=> Type
-- Needs GHC >= 7.8
type family Interp (t :: Type) where
Interp TInt = Int
Interp TBool = Bool
Interp (a :=> b) = Interp a -> Interp b
@isubasinghe
isubasinghe / CoC.ml
Created March 27, 2023 07:04 — forked from hirrolot/CoC.ml
How to implement dependent types in 80 lines of code
type term =
| Lam of (term -> term)
| Pi of term * (term -> term)
| Appl of term * term
| Ann of term * term
| FreeVar of int
| Star
| Box
let unfurl lvl f = f (FreeVar lvl)
@isubasinghe
isubasinghe / keybase.md
Created November 9, 2022 05:35
keybase.md

Keybase proof

I hereby claim:

  • I am isubasinghe on github.
  • I am isubasinghe (https://keybase.io/isubasinghe) on keybase.
  • I have a public key whose fingerprint is 5A0D F516 F669 AD89 6CEB E47B F0C5 A132 3C0A 0C9C

To claim this, I am signing this object: