609
Spicy Pork Ragu
Ingredients:

- 1/2 lb pasta, pref. gnocchi, mezzi rigatoni, or cavatelli
- 1 28oz can whole peeled tomatoes, crushed by hand
- 1 med. onion, diced
- 1 rib celery, diced
- 4 cloves garlic, minced & s...
cooking  food  from notes
august 2018
FiatCryptoSP19.pdf
High-level, certified cryptography implementations in Coq
Coq  cryptography 
july 2018
certicoq-coqpl.pdf
Certified Coq (Gallina) compiler
Coq 
july 2018
OmegaTest.pdf
Paper Coq's Omega is based on
Coq 
july 2018
« earlier      
advertising advice agronomy algebra algorithms api arithmetic.combinatorics art astronomy books bug chemistry chess churning clojure cocktails code coding.theory combinatorics compression computability computing conway cooking copyright coq crypto cryptography data dc defcon diophantine dns druid ecc economics email erdos.turan essay exercises factor farming fashion fermentation food forth free.software geography geometry gf government grad.school grammar group.theory hacking haskell hft hiking idris internet interview javascript jekyll jobs keyboard language latex lattices law lecture letsencrypt life linear.algebra logic maps math memory mine mit motivation news norsk norwegian np number.theory open opencourseware ordinals osx oysters p-adic pathofexile philosophy physics pickles pics piratebox privacy problems processing procrastination programming ramsey.theory reddit registrar ruby sandpiles scala security server set.theory sharing sound soylent sphere.packing stack statistics style tanking tao terry thoreau tld tools topology tutorial ubuntu weather web wow writing xkcd

Copy this bookmark:



description:


tags: