This file contains 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
# v--- endianness issues here | |
bytestr_to_arr = lambda s:"[" + ", ".join(['0x'+b+a for a,b in zip(s[0::2], s[1::2])]) + "]" | |
ZZtobytestr = lambda x: "".join(ZZ(x).digits(16, '0123456789abcdef')) |
This file contains 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
impl<'a, 'b> Add<&'b CachedPoint> for &'a ExtendedPoint { | |
type Output = ExtendedPoint; | |
fn add(self, other: &'b CachedPoint) -> ExtendedPoint { | |
// The coefficients of an `ExtendedPoint` are reduced after | |
// every operation. If the `CachedPoint` was negated, its | |
// coefficients grow by one bit. So on input, `self` is | |
// bounded with `b < 0.007` and `other` is bounded with | |
// `b < 1.0`. | |
let mut tmp = self.0; |
This file contains 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
create_nipk!{dleq, (x), (A, B, G, H) : A = (G * x), B = (H * x) } | |
mod dleq { | |
use curve25519_dalek::ristretto::RistrettoPoint; | |
use curve25519_dalek::scalar::Scalar; | |
use curve25519_dalek::traits::{MultiscalarMul, VartimeMultiscalarMul}; | |
use merlin::Transcript; | |
use rand::thread_rng; | |
use std::iter; |
This file contains 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
git clone https://github.com/dalek-cryptography/curve25519-dalek.git | |
cd curve25519-dalek | |
git checkout 0.18.0 | |
echo "nightly-2018-06-19" > rust-toolchain | |
export RUSTFLAGS="-C target_cpu=znver1" | |
cargo bench --features "nightly u64_backend" "aA+bB" | |
cargo bench --features "nightly avx2_backend" "aA+bB" |
This file contains 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
diff --git a/helm-bibtex.el b/helm-bibtex.el | |
index 363c2a1..13b7153 100644 | |
--- a/helm-bibtex.el | |
+++ b/helm-bibtex.el | |
@@ -109,7 +109,8 @@ composed of the BibTeX-key plus a \".pdf\" suffix." | |
:group 'helm-bibtex | |
:type '(choice directory (repeat directory))) | |
-(defcustom helm-bibtex-pdf-open-function 'find-file | |
+;(defcustom helm-bibtex-pdf-open-function 'find-file |
This file contains 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 System.Environment (getArgs) | |
import Control.Monad (liftM) | |
import Criterion.Main | |
testElemS :: String -> Bool | |
testElemS = flip elem ["a", "b", "c", "d", "e"] | |
testCondS :: String -> Bool | |
testCondS x = (x == "a" || x == "b" || x == "c" || x == "d" || x == "e") |
This file contains 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
;;; adapted from https://groups.google.com/forum/#!topic/comp.emacs/SU6h21mb0ds | |
;;; TODO get the fg/bg colors from the current theme? | |
(defun doc-view-solarized () | |
"to view solarized pdfs" | |
(interactive) | |
(let ((pattern (format "%s/*.png" doc-view--current-cache-dir)) ) | |
(dolist (png-fname(file-expand-wildcards pattern)) | |
(start-process-shell-command | |
"-doc-view-inverting-" "-doc-view-inverting-" | |
"convert" png-fname "-fill '#002b36' -opaque white -fill '#eee8d5' -opaque black" png-fname)) |
This file contains 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
# Maintainer: Henry de Valence <hdevalence@hdevalence.ca> | |
pkgname=osrm-git | |
pkgver=20140603 | |
pkgrel=1 | |
pkgdesc="Open-Source Routing Machine" | |
arch=('i686' 'x86_64') | |
url="http://project-osrm.org/" | |
license=('BSD') | |
depends=('libstxxl' 'protobuf' 'luajit' 'luabind' 'boost-libs' 'libxml2') | |
makedepends=('git') |
This file contains 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
You appear to be advocating a new: | |
[ ] cloud-hosted [*] locally installable [ ] web-based [*] browser-based [ ] language-agnostic | |
[ ] language-specific IDE. Your IDE will not succeed. Here is why it will not succeed. | |
You appear to believe that: | |
[ ] Syntax highlighting is what makes programming difficult | |
[*] Garbage collection is free | |
[*] Computers have infinite memory | |
[*] Nobody really needs: |
This file contains 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
[Unit] | |
Description=Redshift display colour temperature adjustment | |
Documentation=http://jonls.dk/redshift/ | |
After=display-manager.service | |
[Service] | |
ExecStart=/usr/bin/redshift | |
Restart=always | |