I hereby claim:
- I am abakst on github.
- I am abakst (https://keybase.io/abakst) on keybase.
- I have a public key ASAlnfMUrWPpcpCkisfrewWuk0WKBH7DaJtOqnu6PclmsQo
To claim this, I am signing this object:
Alexander Bakst abakst
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
| ; No segfault if the below line is uncommented | |
| ;(set-option :produce-proofs true) | |
| ; | |
| ; success | |
| (set-option :produce-models true) | |
| ; success | |
| (set-option :pp.decimal true) | |
| ; success | |
| (set-option :global-declarations true) | |
| ; success |
abakst
/ keybase.md
Created
June 11, 2019 23:59
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
| fn main() { | |
| let mut x = 1; | |
| let mut y = 0; | |
| { | |
| let z = alias(&mut x,&mut y); | |
| *z = 1; | |
| } | |
| println!("y is now {}", y); | |
| } |
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 Foo where | |
| import Language.Haskell.Liquid.Prelude | |
| {-@ | |
| data Message = Ping { pingPid :: {v:Pid | validPid v} } | |
| | Pong { pongPid :: {v:Pid | validPid v} } | |
| @-} | |
| data Message = Ping Pid | |
| | Pong Pid |
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 Foo() where | |
| {-@ | |
| data Message = Ping { pingPid :: Pid } | |
| | Pong { pongPid :: Pid } | |
| @-} | |
| data Message = Ping Pid | |
| | Pong Pid |
abakst
/ gist:5085056
Created
March 4, 2013 19:55
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
| \documentclass{article} | |
| \usepackage{fullpage} | |
| \usepackage{enumerate} | |
| \usepackage{listings} | |
| \usepackage{xspace} | |
| \newcommand{\question}[1] {\subsection*{Question #1}} | |
| \newcommand{\ie}{\emph{i.e.\@\xspace}} | |
| \begin{document} | |
| \title{CSE 221 Homework} |
abakst
/ walk-packages.scm
Created
October 14, 2010 03:03
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
| (define (gather-packages package) | |
| (define (%gather-packages lst package) | |
| (let ((pkg (if (package? package) | |
| package | |
| (name->package package)))) | |
| (let ((sub-packages (%record-ref pkg 2))) | |
| (if (null? sub-packages) | |
| (cons pkg lst) | |
| (append (cons pkg lst) | |
| (concatenate (map (lambda (child) |
abakst
/ walk-packages.scm
Created
October 14, 2010 03:01
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
| (define (gather-packages package) | |
| (define (%gather-packages lst package) | |
| (let ((pkg (if (package? package) | |
| package | |
| (name->package package)))) | |
| (let ((sub-packages (%record-ref pkg 2))) | |
| (if (null? sub-packages) | |
| (cons pkg lst) | |
| (append (cons pkg lst) | |
| (concatenate (map (lambda (child) |