Skip to content

Instantly share code, notes, and snippets.

View DavidEichmann's full-sized avatar

David Eichmann DavidEichmann

19 followers · 2 following
View GitHub Profile
@DavidEichmann
DavidEichmann / gist:51f561263a65fef886cc77dad2d48226
Created August 25, 2023 16:23
PostgresML (44c9d7e5c2db6d60ca17b343ce7f3e5620f14bdd) dashboard build error
~/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
DavidEichmann / hadrian.settings
Last active October 22, 2021 21:01 — forked from mpickering/hadrian.settings
Backport instructions
stage1.*.ghc.hs.opts += -finfo-table-map -fdistinct-constructor-tables
stage1.ghc-bin.ghc.link.opts += -eventlog
@DavidEichmann
DavidEichmann / gist:66c6b13a971ce5c1a7ff56f5369b011b
Last active November 17, 2020 10:30
stub.cpp large commands
/* 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
DavidEichmann / dump_heap.py
Created July 15, 2020 19:26
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
DavidEichmann / keybase.md
Created January 13, 2020 11:14

Keybase proof

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:

@DavidEichmann
DavidEichmann / TMP nix hie stuff
Created December 16, 2019 14:45
This file has been truncated, but you can view the full file.
$ 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
@DavidEichmann
DavidEichmann / gist:935c1230d92f6e08a4ec69f80d5633a3
Created June 5, 2019 16:28
ghc binary diff
--- /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
DavidEichmann / gist:45dd2f26f85cf0ef7cd003581ebf82af
Last active June 5, 2019 16:16
clean vs incremental build diff /stage0/compiler/build/RegAlloc/Linear/FreeRegs.hi
--- /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
DavidEichmann / T-15837_objdump-g
Created November 27, 2018 20:42
_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
@DavidEichmann
DavidEichmann / Main.hs
Created January 21, 2018 18:41
LiquidHaskell Company and Groups
module Main where
import Data.Set (Set)
import qualified Data.Set as S
main :: IO ()
main
= print
. removePerson (Person 1)
. addPerson (Person 1)