| #!/bin/bash | |
| gdb -p "$1" -batch -ex 'set {short}$rip = 0x050f' -ex 'set $rax=231' -ex 'set $rdi=0' -ex 'cont' |
| open eq | |
| inductive I (F : Type₁ → Prop) : Type₁ := | |
| mk : I F | |
| axiom InjI : ∀ {x y}, I x = I y → x = y | |
| definition P (x : Type₁) : Prop := ∃ a, I a = x ∧ (a x → false). | |
| definition p := I P |
This work is released under a Creative Commons Attribution-NoDerivatives 4.0 International License.
"OpenPGP" refers to the OpenPGP protocol, in much the same way that HTML refers to the protocol that specifies how to write a web page. "GnuPG", "SequoiaPGP", "OpenPGP.js", and others are implementations of the OpenPGP protocol in the same way that Mozilla Firefox, Google Chromium, and Microsoft Edge refer to software packages that process HTML data.
| /** | |
| * Sobol Noise Generation | |
| * GNU LGPL license | |
| * By Dr. John Burkardt (Virginia Tech) | |
| * https://gist.github.com/alaingalvan/af92ddbaf3bb01f5ef29bc431bd37891 | |
| */ | |
| //returns the position of the high 1 bit base 2 in an integer n | |
| int getHighBit1(int n) | |
| { |
| // Ray Tracing Gems Chapter 25 | |
| // Code provided by Electronic Arts | |
| // Colin Barré-Brisebois, Henrik Halén, Graham Wihlidal, Andrew Lauritzen, | |
| // Jasper Bekkers, Tomasz Stachowiak, and Johan Andersson | |
| // Errata corrected by Alain Galvan | |
| struct HaltonState | |
| { | |
| unsigned dimension; |
| > scale :: Num a => a -> [a] -> [a] | |
| > scale a bs = map (a *) bs | |
| Invert an infinite upper triangular matrix with 1 on diagonal | |
| [ | |
| [1, b₀₁, b₀₂, b₀₃, …], | |
| [1, b₁₂, b₁₃, …], | |
| [1, b₂₃, …], | |
| … | |
| ] |
For a brief user-level introduction to CMake, watch C++ Weekly, Episode 78, Intro to CMake by Jason Turner. LLVM’s CMake Primer provides a good high-level introduction to the CMake syntax. Go read it now.
After that, watch Mathieu Ropert’s CppCon 2017 talk Using Modern CMake Patterns to Enforce a Good Modular Design (slides). It provides a thorough explanation of what modern CMake is and why it is so much better than “old school” CMake. The modular design ideas in this talk are based on the book [Large-Scale C++ Software Design](https://www.amazon.de/Large-Scale-Soft
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| import Control.Applicative | |
| import Data.Char | |
| import Data.List (intersperse) | |
| import Data.Monoid hiding (All, Any) | |
| import Data.Foldable hiding (all, any) | |
| import Prelude hiding (all, any) |
| # LVDB - LLOOGG Memory DB | |
| # Copyriht (C) 2009 Salvatore Sanfilippo <[email protected]> | |
| # All Rights Reserved | |
| # TODO | |
| # - cron with cleanup of timedout clients, automatic dump | |
| # - the dump should use array startsearch to write it line by line | |
| # and may just use gets to read element by element and load the whole state. | |
| # - 'help','stopserver','saveandstopserver','save','load','reset','keys' commands. | |
| # - ttl with milliseconds resolution 'ttl a 1000'. Check ttl in dump! |
| {-# LANGUAGE TemplateHaskell #-} | |
| -- | For when you have a record that doesn't have lenses derived for | |
| -- it and you need a lens, just use @$(lens 'thefield)@ and away you go. | |
| module Control.Lens.FieldTH where | |
| import Language.Haskell.TH | |
| lens :: Name -> Q Exp | |
| lens name = do | |
| [|\f r -> | |
| fmap | |
| $(lamE |
