I'm really into type theory right now. I went back to my old flame from college, Scala. Because of that, I want to see what the state of the art is in type systems
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
const https = require('https'); | |
const fs = require('fs'); | |
const testFolder = './data/'; | |
function path(i) { | |
return `./data/${i}`; | |
} | |
function json(i) { | |
return `./data/${i}.json`; |
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
// ==UserScript== | |
// @name Make a text selectable in Practice | |
// @namespace http://tampermonkey.net/ | |
// @version 0.1 | |
// @description try to take over the world! | |
// @author You | |
// @match https://www.duolingo.com/* | |
// @homepage https://userstyles.org/styles/152853 | |
// @icon https://www.google.com/s2/favicons?domain=duolingo.com | |
// @require https://ajax.googleapis.com/ajax/libs/jquery/3.4.0/jquery.min.js |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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
With[{ | |
csv = Import[ | |
"C:\\Users\\Salvador \ | |
Guzman\\Documents\\goodeads-dump\\goodreads_library_export.csv", | |
"CSV" | |
], | |
data = {2, 3, 12, 15} | |
}, | |
With[{ | |
headers = First@csv |
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
Map[ | |
Cases[ | |
Import[#, "XML"], | |
XMLElement[tag_, | |
{___, "identifier" -> id_}, { | |
___, | |
XMLElement[ | |
Pattern[container, | |
"content" | |
| "heading" |
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
name, net-model, desc | |
OpenFace Face Recognition Net Trained on CASIA-WebFace and FaceScrub Data, NetModel["OpenFace Face Recognition Net Trained on CASIA-WebFace and FaceScrub Data"], ? | |
ose-Aware Face Recognition in the Wild Nets Trained on CASIA WebFace Data, NetModel["Pose-Aware Face Recognition in the Wild Nets Trained on CASIA WebFace Data"], ? |
This file has been truncated, but you can view the full file.
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
[ | |
{ | |
"level": "title", | |
"name": "GENERAL PROVISIONS", | |
"number": "1", | |
"subparts": [ | |
{ | |
"level": "chapter", | |
"name": "RULES OF CONSTRUCTION", | |
"number": "1", |
We can make this file beautiful and searchable if this error is corrected: No commas found in this CSV file in line 0.
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
Excercise | |
Pull up bar | |
Elevated push ups | |
Treadmill running | |
*Something for lower back* | |
*Something for obliques+ |
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
"Anyway, I keep picturing all these little kids playing some game in this big field of rye and all. Thousands of little kids, and nobody's around—nobody big, I mean—except me. And I'm standing on the edge of some crazy cliff. What I have to do, I have to catch everybody if they start to go over the cliff—I mean if they're running and they don't look where they're going I have to come out from somewhere and catch them. That's all I do all day. I'd just be the catcher in the rye and all. I know it's crazy, but that's the only thing I'd really like to be. I know it's crazy." |