- https://www.slideshare.net/jackfoxy/introduction-to-the-lambda-calculus
- https://www.slideshare.net/DiegoMendona3/lambda-calculus-29802319
- https://www.slideshare.net/MahsaSeifikar/lambda-calculus-57240548
- https://speakerdeck.com/glebec/lambda-as-js-or-a-flock-of-functions-combinators-lambda-calculus-and-church-encodings-in-javascript
- http://www-verimag.imag.fr/~iosif/LogicAutomata07/lambda-calculus-slides.pdf
- https://www.jtolio.com/2017/03/whiteboard-problems-in-pure-lambda-calculus/
- https://www.dropbox.com/s/i0qgfoye6artcp8/untyped_lambda.pdf?dl=0
- https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c
- http://blog.klipse.tech/lambda/2016/07/24/lambda-calculus-1.html
- https://www.youtube.com/watch?v=3VQ382QG-y4&t=1251s
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
'use strict'; | |
Object.defineProperty(this, 'TheWild', {value: function(){ | |
var TheWild = { | |
x: [150, 50, 250, 250, 200, 350, 350, 200], | |
y: [300, 250, 250, 200, 150, 50, 300, 350], | |
w: [ 1, 1, 1, 1, 1, 1, 1, 1], | |
originalKnots: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], | |
knots: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], | |
//knots: [0, 0.9, 1.3, 1.9, 2.5, 6.1, 8.1, 8.9, 10], |
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 bmesh | |
from bpy import app, data, types | |
from traceback import format_exc | |
handlers = app.handlers.depsgraph_update_post | |
handlers.clear() | |
# data.texts{'Output'] - stdout | |
# data.meshes['Source'] - source mesh (cage) |
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
#!/bin/bash | |
set -e | |
shopt -s nullglob extglob | |
cd "`git rev-parse --git-path objects`" | |
# packed objects | |
for p in pack/pack-*([0-9a-f]).idx ; do | |
git show-index < $p | cut -f 2 -d ' ' | |
done |
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
package midpcalc; | |
/** | |
* <b>Java integer implementation of 63-bit precision floating point.</b> | |
* <br><i>Version 1.13</i> |
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
#!/usr/bin/env python3 | |
#-*- coding: utf-8 -*- | |
from __future__ import print_function | |
def binomial(n, k): | |
if n < 0 or k < 0 or k > n: | |
return 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
#include <stdio.h> | |
#include <stdlib.h> | |
#include <string.h> | |
#define LOW_PRIME_COUNT 6542 | |
int main() | |
{ | |
puts("2\n3"); |
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
#include <assert.h> | |
#include <stdio.h> | |
#include <stdlib.h> | |
#define LOG_2 0x02000000 | |
#define LOG_3 0x032B8034 | |
#define LOG_5 0x04A4D3C2 | |
#define LOG_7 0x059D5D9F | |
#define LOG_LIMIT 0x80000000 | |
#define COUNT 85348 |
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
#include <stdio.h> | |
#include <stdlib.h> | |
#define LOG_2 0x02000000 | |
#define LOG_3 0x032B8034 | |
#define LOG_5 0x04A4D3C2 | |
#define LOG_7 0x059D5D9F | |
#define LOG_LIMIT 0x80000000 | |
int main() |
This file has been truncated, but you can view the full 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
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 |
NewerOlder