This file contains hidden or 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
| // Globals | |
| $screen-width: 1280px; | |
| // Grid | |
| $column-granularity: 12; | |
| $column-gutter: 20px; | |
| // Dimensions (responsive) | |
| $screen-xs-max: 567px; | |
| $screen-sm-min: 568px; |
jar-o
/ DBIxOut.pm
Last active
January 9, 2017 05:03
Want to see the trace leading up to the sql output? Here you go.
This file contains hidden or 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
| =pod | |
| Put this is in the module in which you want to see SQL: | |
| use DBIxOut; | |
| my $dbout = DBIxOut->new(); | |
| $dbout->enable_from_rs($resultset); | |
| # OR | |
peterellisjones
/ Chess Perft test positions
Last active
May 7, 2025 02:01
Test positions for debugging chess engines. Formatted as JSON array of FEN strings
This file contains hidden or 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
| [ | |
| { | |
| "depth":1, | |
| "nodes":8, | |
| "fen":"r6r/1b2k1bq/8/8/7B/8/8/R3K2R b KQ - 3 2" | |
| }, | |
| { | |
| "depth":1, | |
| "nodes":8, | |
| "fen":"8/8/8/2k5/2pP4/8/B7/4K3 b - d3 0 3" |
davidad
/ primes_infinite.v
Last active
June 25, 2019 13:45
Coq formalization of the infinitude of primes
This file contains hidden or 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
| Require Import Arith Decidable Euclid Psatz Wf_nat. | |
| Definition divides a b := exists k, b = k * a. | |
| Definition prime p := 2 <= p /\ forall k, divides k p -> (k = 1 \/ k = p). | |
| Lemma dec_divides k n: decidable (divides k n). | |
| Proof with intuition. | |
| case (le_gt_dec k 0)... | |
| - case (le_gt_dec n 0). | |
| + left; exists 0... |
OlderNewer