{{ message }}

Instantly share code, notes, and snippets.

🎶

# Saurabhtkshnwesper

🎶
Last active Oct 22, 2020
Proving that 1 + 1 = 2 in Rust
View rust1plus1.md

# Proving that 1 + 1 = 2 in Rust

The fact that 1 + 1 is equal to 2 is one of those things that is so obvious it may be hard to justify why. Fortunately mathematicians have devised a way of formalizing arithmetic and subsequently proving that 1 + 1 = 2. Natural numbers are based on the Peano axioms. They are a set of simple rules that define (along with a formal system) what natural numbers are. So in order to prove 1 + 1 = 2 in Rust we first need a formal system capable of handling logic. The formal system that we'll be using is not some random crate, but Rust's type system itself! We will not have any runtime code, instead the type checker will do all the work for us.

## Implementing the Peano axioms

First let's go trough the Peano axioms. The first axiom is that "Zero is a natural number". Basically what it says is that zero exists. In order to express that in the type system, we just write:

Last active Oct 22, 2020
Byobu Commands
View byobuCommands
 Byobu Commands ============== byobu Screen manager Level 0 Commands (Quick Start) ------------------------------ Create a new window
Created Jun 13, 2012
tmux cheatsheet
View tmux.md

# tmux cheat sheet

(C-x means ctrl+x, M-x means alt+x)

## Prefix key

The default prefix is C-b. If you (or your muscle memory) prefer C-a, you need to add this to `~/.tmux.conf`:

``````# remap prefix to Control + a
``````
Last active Oct 15, 2020
Creating an IPython Notebook programatically
View ProgrammaticNotebook.ipynb
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Last active Oct 13, 2020
Learn Lua quickly with this short yet comprehensive and friendly script. It's written as both an introduction and a quick reference. It's also a valid Lua script so you can verify that the code does what it says, and learn more by modifying and running this script in your Lua interpreter.
View learn.lua
 -- Two dashes start a one-line comment. --[[ Adding two ['s and ]'s makes it a multi-line comment. --]] ---------------------------------------------------- -- 1. Variables and flow control. ----------------------------------------------------
Last active Oct 13, 2020

Patch mode allows you to stage parts of a changed file, instead of the entire file. This allows you to make concise, well-crafted commits that make for an easier to read history. This feature can improve the quality of the commits. It also makes it easy to remove parts of the changes in a file that were only there for debugging purposes - prior to the commit without having to go back to the editor.

It allows you to see the changes (delta) to the code that you are trying to add, and lets you add them (or not) separately from each other using an interactive prompt. Here's how to use it:

from the command line, either use

Last active Sep 18, 2020
Setting up Babel and nodemon
View setting-up-babel-nodemon.md

## Setting up Babel and nodemon

### Inital set-up

Set up project:

```mkdir project
cd project
npm init -y```
Created Mar 30, 2012
[HOWTO] Rewrite all urls to one index.php in Apache

# Redirect All Requests To Index.php Using .htaccess

In one of my pet projects, I redirect all requests to index.php, which then decides what to do with it:

## Simple Example

This snippet in your .htaccess will ensure that all requests for files and folders that does not exists will be redirected to index.php:

``````RewriteEngine on
RewriteCond %{REQUEST_FILENAME} !-d
``````
Created Sep 26, 2012
Bottle with Cross-origin resource sharing (CORS)
View bottle-cors.py
 """ Example of setting up CORS with Bottle.py. """ from bottle import Bottle, request, response, run app = Bottle() @app.hook('after_request') def enable_cors(): """
Created Jun 26, 2013
Sieve of Eratosthenes using Scala streams.
View primesStreamExample.scala
 def sieve(s: Stream[Int]): Stream[Int] = s.head #:: sieve(s.tail filter(_ % s.head != 0)) val primes = sieve(Stream.from(2)) primes.take(100).toList
You can’t perform that action at this time.