Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

View dicej's full-sized avatar

Joel Dice dicej

  • Denver, Colorado
View GitHub Profile
@dicej
dicej / type-systems.txt
Last active March 30, 2024 07:34
Type system learning notes
Classes
* Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking
* Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction
* Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/
Books and Articles
* Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/
* x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html
* Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
* Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/
@dicej
dicej / resource.rs
Last active January 12, 2023 09:49
use futures::{
future::{Future, IntoFuture},
sync::oneshot,
};
use std::{
collections::VecDeque,
sync::{Arc, Mutex},
};
struct Inner<T> {
#!/bin/sh
# remove all current rules
iptables -F
iptables -X
iptables -t nat -F
iptables -t nat -X
# drop all incoming traffic by default
iptables -P INPUT DROP
@dicej
dicej / gist:7c11c8f27b3a34ffc3ad
Created June 30, 2014 15:03
attempt to use CaptureStackBackTrace for lightweight crash reporting
diff --git a/src/system/windows/signal.cpp b/src/system/windows/signal.cpp
index 23d57b9..0114474 100644
--- a/src/system/windows/signal.cpp
+++ b/src/system/windows/signal.cpp
@@ -90,6 +90,24 @@ struct MINIDUMP_EXCEPTION_INFORMATION {
LPEXCEPTION_POINTERS exception;
BOOL exceptionInCurrentAddressSpace;
};
+
+struct SYMBOL_INFO {