I hereby claim:
- I am davideichmann on github.
- I am davideichmann (https://keybase.io/davideichmann) on keybase.
- I have a public key ASAd_rjzoi0guA0gL_TA2ZJs1g-eIUesVXmhTz8W28QEiQo
To claim this, I am signing this object:
David Eichmann DavidEichmann
DavidEichmann
/ gist:51f561263a65fef886cc77dad2d48226
Created
August 25, 2023 16:23
PostgresML (44c9d7e5c2db6d60ca17b343ce7f3e5620f14bdd) dashboard build error
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ~/postgresml/pgml-dashboard$ rustc --version | |
| rustc 1.72.0 (5680fa18f 2023-08-23) | |
| ~/postgresml/pgml-dashboard$ cargo run | |
| Compiling pgml-dashboard v2.7.6 (/home/postgres/postgresml/pgml-dashboard) | |
| error[E0308]: mismatched types | |
| --> src/models.rs:490:12 | |
| | | |
| 490 | Ok(sqlx::query_as!( | |
| | ____________^ |
DavidEichmann
/ hadrian.settings
Last active
October 22, 2021 21:01
— forked from mpickering/hadrian.settings
Backport instructions
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| stage1.*.ghc.hs.opts += -finfo-table-map -fdistinct-constructor-tables | |
| stage1.ghc-bin.ghc.link.opts += -eventlog |
DavidEichmann
/ gist:66c6b13a971ce5c1a7ff56f5369b011b
Last active
November 17, 2020 10:30
stub.cpp large commands
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* return non-zero on error */ | |
| static void handle_connection(const unsigned int sock_fd) { | |
| Socket sock(sock_fd); | |
| char *buf = new char[MAX_CMD_SIZE]; | |
| while (true) { | |
| uint32_t cmdlen_n, cmdlen; | |
| sock.read((char *)&cmdlen_n, 4); | |
| cmdlen = ntohl(cmdlen_n); | |
DavidEichmann
/ dump_heap.py
Created
July 15, 2020 19:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import typing | |
| from typing import List, Optional, Tuple, TypeVar, Callable, NamedTuple, Set, Dict, Iterator, Any | |
| from . import ghc_heap | |
| from .types import * | |
| from . import closure | |
| from .utils import CommandWithArgs, get_num_generations | |
| from .block import get_bdescr_val, format_bdescr, heap_start, heap_end, BlockFlags | |
| from .mut_list import collect_mut_list | |
| import gdb |
DavidEichmann
/ keybase.md
Created
January 13, 2020 11:14
DavidEichmann
/ TMP nix hie stuff
Created
December 16, 2019 14:45
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ readelf -Ws /nix/store/9ky22s9kp64ilnwf8xqam20xsixiyp6g-aeson-1.3.1.1/lib/ghc-8.4.3/x86_64-linux-ghc-8.4.3/libHSaeson-1.3.1.1-LEouCdGBCUhBv1GPewgsPO-ghc8.4.3.so | |
| Symbol table '.dynsym' contains 9802 entries: | |
| Num: Value Size Type Bind Vis Ndx Name | |
| 0: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND | |
| 1: 0000000000000000 0 OBJECT GLOBAL DEFAULT UND timezm1zi8zi0zi2_DataziTimeziCalendarziOrdinalDate_zdwfromOrdinalDateValid_closure | |
| 2: 0000000000000000 0 OBJECT GLOBAL DEFAULT UND bytestringzm0zi10zi8zi2_DataziByteStringziLazzyziInternal_unpackChars_info | |
| 3: 0000000000000000 0 OBJECT GLOBAL DEFAULT UND integerzmgmp_GHCziIntegerziType_ltIntegerzh_info | |
| 4: 0000000000000000 0 OBJECT GLOBAL DEFAULT UND unorderedzmcontainerszm0zi2zi9zi0zm5IJJnkQI2ZZvDdhI29XIpGM_DataziHashMapziBase_zdfDataHashMap_info |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- /home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_clean/stage0/bin/ghc | |
| +++ /home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_incremental/stage0/bin/ghc | |
| @@ -1,6 +1,6 @@ | |
| -/home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_clean/stage0/bin/ghc: file format elf64-x86-64 | |
| -/home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_clean/stage0/bin/ghc | |
| +/home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_incremental/stage0/bin/ghc: file format elf64-x86-64 | |
| +/home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_incremental/stage0/bin/ghc | |
| architecture: i386:x86-64, flags 0x00000112: | |
| EXEC_P, HAS_SYMS, D_PAGED |
DavidEichmann
/ gist:45dd2f26f85cf0ef7cd003581ebf82af
Last active
June 5, 2019 16:16
clean vs incremental build diff /stage0/compiler/build/RegAlloc/Linear/FreeRegs.hi
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- /home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_clean/stage0/compiler/build/RegAlloc/Linear/FreeRegs.hi | |
| +++ /home/david/Well-Typed/GHC/_nosync_git/.build2/quickest_bfccd83278_incremental/stage0/compiler/build/RegAlloc/Linear/FreeRegs.hi | |
| @@ -5,7 +5,7 @@ | |
| Way: Wanted [], | |
| got [] | |
| interface RegAlloc.Linear.FreeRegs 8061 | |
| - interface hash: 44bcaf4a3b059b4973052b1bb40cfabe | |
| + interface hash: d07c1bca2cdccecfeb85e16d7a2ed7b2 | |
| ABI hash: cd601d548e70a39688a3a77e2ce482ac | |
| export-list hash: 5447bdeacdb0192ac15216eb469001ca |
DavidEichmann
/ T-15837_objdump-g
Created
November 27, 2018 20:42
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| _build/T-15837_perf/stage1/lib/bin/ghc-iserv-dyn: file format elf64-x86-64 | |
| Contents of the .eh_frame section: | |
| 00000000 0000000000000014 00000000 CIE | |
| Version: 1 | |
| Augmentation: "zR" | |
| Code alignment factor: 1 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Main where | |
| import Data.Set (Set) | |
| import qualified Data.Set as S | |
| main :: IO () | |
| main | |
| . removePerson (Person 1) | |
| . addPerson (Person 1) |
NewerOlder