Jared Roesch jroesch
jroesch
/ yolov3.py
Created
December 1, 2018 04:02
— forked from eqy/gist:2a07911ea9ceb1276c9379a40af15d7c
yolov3.py
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
| # Licensed to the Apache Software Foundation (ASF) under one | |
| # or more contributor license agreements. See the NOTICE file | |
| # distributed with this work for additional information | |
| # regarding copyright ownership. The ASF licenses this file | |
| # to you under the Apache License, Version 2.0 (the | |
| # "License"); you may not use this file except in compliance | |
| # with the License. You may obtain a copy of the License at | |
| # | |
| # http://www.apache.org/licenses/LICENSE-2.0 | |
| # |
jroesch
/ out.cpp
Created
July 15, 2016 20:13
— forked from anonymous/gist:5a1d740afde0282afe72bf468b544bf5
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
| #include <iostream> | |
| #include "util/numerics/mpz.h" | |
| #include "library/vm/vm_io.h" | |
| #include "library/vm/vm.h" | |
| #include "init/init.h" | |
| namespace lean { | |
| lean::vm_obj put_nat(lean::vm_obj const &, lean::vm_obj const &); | |
| } |
jroesch
/ gist:70e418e100f1caa3ad83
Last active
August 29, 2015 14:07
— forked from jtopper/gist:8588263
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
| config.vm.provider :vmware_fusion do |vm| | |
| vdiskmanager = '/Applications/VMware\ Fusion.app/Contents/Library/vmware-vdiskmanager' | |
| dir = "#{ENV['HOME']}/vagrant-additional-disk" | |
| unless File.directory?( dir ) | |
| Dir.mkdir dir | |
| end |
jroesch
/ gist:5516565
Last active
December 16, 2015 23:49
— forked from anonymous/gist:5516563
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
| abstract class Foo(x: Int) | |
| class Bar(x: Int) extends Foo(x) | |
| class Baz(x: Int) extends Foo(x) | |
| object Foo { | |
| import scala.reflect.runtime.{ universe => ru } | |
| def create[Nothing >: A <: Foo](x: Int)(implicit tt: ru.TypeTag[A]): A = { | |
| val mirror = ru.runtimeMirror(getClass.getClassLoader) |
jroesch
/ scala-jobs
Last active
December 12, 2015 04:08
— forked from ymasory/bay-scala-jobs
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
| Companies hiring Scala developers in the Bay Area. | |
| - CloudPhysics | |
| - Wordnik | |
| - 10Gen | |
| - Audax Health | |
| - Bizo | |
| - Box | |
| - Coraid | |
| - Ephox |
jroesch
/ pizza.hs
Created
October 13, 2012 01:12
— forked from andrewberls/pizza.rb
ACM Micro-Challenge 1
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
| -- JRo | |
| nPizza p s t = ceiling $ (/ s) $ if t `elem` [11..23] then p * 2 else p | |
| -- dumb tests runTests will tell you weather you pass or fail all tests, could do a fold and keep the state of which failed. | |
| between12am11am = 2 == (nPizza 10 5 0) && 1 == nPizza 10 10 1 && 1 == nPizza 7 12 10 | |
| between11am11pm = 4 == (nPizza 20 10 11) && 2 == (nPizza 7 12 15) | |
| after11pm = 1 == nPizza 5 10 23 |