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
@hostname = 165.227.117.48 | |
### | |
POST http://{{hostname}}/register | |
Content-type: application/json | |
{ | |
"username": "michael", | |
"password": "aaa" |
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 'package:collection/collection.dart'; | |
import 'dart:math'; | |
class Dice { | |
final List<int?> _values; | |
final List<bool> _held; | |
Dice(int numDice) | |
: _values = List<int?>.filled(numDice, null), |
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 'package:flutter/material.dart'; | |
const Color darkBlue = Color.fromARGB(255, 18, 32, 47); | |
void main() { | |
runApp(MyApp()); | |
} | |
class MyApp extends StatelessWidget { | |
@override |
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
a | |
about | |
above | |
after | |
again | |
against | |
all | |
am | |
an | |
and |
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
# team members: Michael Lee & Jane Doe | |
# picobot rules follow. |
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 csv | |
import math | |
from pprint import pprint | |
CLASS_FIELD = 'Survived' | |
FIELD_SUMMARY_TYPES = { | |
'Sex': 'bin_prob', | |
'Age': 'mean_stdev', | |
'Pclass': 'bin_prob', |
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
# | |
# js-scheme-0.4 is here: http://code.google.com/p/js-scheme/ | |
# | |
diff -urN js-scheme-0.4.orig/.htaccess js-scheme-0.4-offline/.htaccess | |
--- js-scheme-0.4.orig/.htaccess 1970-01-01 09:00:00.000000000 +0900 | |
+++ js-scheme-0.4-offline/.htaccess 2010-04-25 17:10:52.000000000 +0900 | |
@@ -0,0 +1 @@ | |
+AddType text/cache-manifest .manifest | |
diff -urN js-scheme-0.4.orig/cache.manifest js-scheme-0.4-offline/cache.manifest |
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
int i = 1, | |
fact = 1; | |
// Invariant (fact == i!) is true here | |
while (i<N) { | |
i = i + 1; | |
fact = fact * i; | |
// Invariant (fact == i!) is true here |
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
<?php | |
/** | |
* @package WordPress | |
* @subpackage Default_Theme | |
*/ | |
get_header(); | |
?> | |
<div id="content" class="narrowcolumn"> |
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
html, body { | |
padding: 0; | |
margin: 0; | |
height: 100%; /* so that the page is "defined" to be 100% */ | |
} | |
#page { | |
position: relative; | |
min-height: 100%; /* this way the page div stretches to occupy even a short page */ | |
} | |
#content { |
NewerOlder