Skip to content

Instantly share code, notes, and snippets.

View shubhamkumar13's full-sized avatar
๐Ÿ˜‘
is existing

shubham shubhamkumar13

๐Ÿ˜‘
is existing
View GitHub Profile
@shubhamkumar13
shubhamkumar13 / errors.md
Last active February 1, 2021 11:30
zero2prod
     Running target/debug/deps/health_check-1b83a7cb3a2b9b85

running 1 test
test health_check_works ... FAILED

failures:

---- health_check_works stdout ----
thread 'health_check_works' panicked at 'Failed to spawn our app.: Os { code: 98, kind: AddrInUse, message: "Address already in use" }', tests/health_check.rs:9:23
@shubhamkumar13
shubhamkumar13 / layers.export
Created March 5, 2021 13:49
Layers Segfault opam dependencies
opam-version: "2.0"
compiler: [
"base-bigarray.base"
"base-threads.base"
"base-unix.base"
"ocaml.4.10.0"
"ocaml-variants.4.10.0+multicore"
]
roots: [
"cmdliner.1.0.4"
orun LU_decomposition_multicore.12_2048.orun.bench [4.12.0+domains+effects+dlabs_1] (got signal SEGV)
(cd _build/4.12.0+domains+effects+dlabs_1/benchmarks/multicore-numerical && /home/shubham/sandmark/_opam/4.12.0+domains+effects+dlabs/bin/orun -o ../../LU_decomposition_multicore.12_2048.orun.bench -- taskset --cpu-list 2-13 ./LU_decomposition_multicore.exe 12 2048 &> /dev/null
orun LU_decomposition_multicore.16_2048.orun.bench [4.12.0+domains+effects+dlabs_1] (got signal SEGV)
(cd _build/4.12.0+domains+effects+dlabs_1/benchmarks/multicore-numerical && /home/shubham/sandmark/_opam/4.12.0+domains+effects+dlabs/bin/orun -o ../../LU_decomposition_multicore.16_2048.orun.bench -- taskset --cpu-list 2-13,16-27 ./LU_decomposition_multicore.exe 16 2048 &> /dev/null
orun LU_decomposition_multicore.20_2048.orun.bench [4.12.0+domains+effects+dlabs_1] (got signal SEGV)
(cd _build/4.12.0+domains+effects+dlabs_1/benchmarks/multicore-numerical && /home/shubham/sandmark/_opam/4.12.0+domains+effects+dlabs/bin
{"name":"crout-decomposition.","command":"taskset --cpu-list 5 ./crout_decomposition.exe","time_secs":1.442824125289917,"user_time_secs":1.422518,"sys_time_secs":0.020035,"maxrss_kB":67204,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":551063459,"minor_words":543585663,"promoted_words":298455,"major_words":7776251,"minor_collections":2076,"major_collections":7,"forced_major_collections":0,"heap_words":7772654,"top_heap_words":7772654,"mean_space_overhead":10.166362},"codesize":345866.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"}
{"name":"menhir.ocamly","command":"taskset --cpu-list 5 menhir benchmarks/menhir/ocaml.mly --list-errors -la 2 --no-stdlib --lalr","time_secs":254.9907898902893,"user_time_secs":251.28706,"sys_time_secs":3.699927,"maxrss_kB":3490192,"ocaml"
@shubhamkumar13
shubhamkumar13 / open_in_ocaml.ml
Created June 19, 2021 11:06
how to read a file in ocaml as a string
let read_whole_file filename =
let ch = open_in filename in
let s = really_input_string ch (in_channel_length ch) in
close_in ch;
s
add this to the start of the crontab file to access local packages
PATH=/usr/bin:/bin:/usr/local/bin/
@shubhamkumar13
shubhamkumar13 / navajo_turing_diff
Created July 24, 2021 11:14
diff navajo_vs_turing.log
https://www.diffchecker.com/mND2sMc6
@shubhamkumar13
shubhamkumar13 / local_laptop.log
Created July 25, 2021 17:55
sandmark run on my local laptop testing coq
jq '{wrappers : .wrappers, benchmarks: [.benchmarks | .[] | select(.tags | index("macro_bench") != null)]}' < run_config.json > run_config_filtered.json
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit f1d0104bd599efea109071db82c6a06808dc44ac
Merge: 9da9b70 1770b7d
Author: KC Sivaramakrishnan <[email protected]>
Date: Thu Jul 8 15:12:35 2021 +0530
Merge pull request #242 from Sudha247/grammatrix_commentary