PHP is usually included in the top five or six most popular programming languages, as measured by various metrics implemented by e.g. [Tiobe][], [LangPop][], [PYPL][], [lang-index][]. Alongside it sit C, Java, Obj-C, C++, C#, Javascript, and Python. All of these have a formal semantics or at least a rigorous specification.
Jonah Glover jonahglover
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
| <code_scheme name="Default (2)" version="173"> | |
| <option name="CLASS_COUNT_TO_USE_IMPORT_ON_DEMAND" value="999" /> | |
| <option name="NAMES_COUNT_TO_USE_IMPORT_ON_DEMAND" value="999" /> | |
| <JavaCodeStyleSettings> | |
| <option name="CLASS_COUNT_TO_USE_IMPORT_ON_DEMAND" value="999" /> | |
| <option name="NAMES_COUNT_TO_USE_IMPORT_ON_DEMAND" value="999" /> | |
| </JavaCodeStyleSettings> | |
| <JetCodeStyleSettings> | |
| <option name="NAME_COUNT_TO_USE_STAR_IMPORT" value="2147483647" /> | |
| <option name="NAME_COUNT_TO_USE_STAR_IMPORT_FOR_MEMBERS" value="2147483647" /> |
jonahglover
/ jquery.html
Created
September 28, 2018 21:00
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
| <!doctype html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <link rel="stylesheet" type="text/css" href="css/main.css"> | |
| <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script> | |
| <script type="text/javascript" src="js/app.js"></script> | |
| <title>Star Wars API Practice</title> |
jonahglover
/ PHP_semantics.md
Created
February 1, 2018 17:07
— forked from jameshfisher/PHP_semantics.md
Semantics for PHP
jonahglover
/ PHP_semantics.md
Created
February 1, 2018 17:07
— forked from jameshfisher/PHP_semantics.md
Semantics for PHP
PHP is usually included in the top five or six most popular programming languages, as measured by various metrics implemented by e.g. [Tiobe][], [LangPop][], [PYPL][], [lang-index][]. Alongside it sit C, Java, Obj-C, C++, C#, Javascript, and Python. All of these have a formal semantics or at least a rigorous specification.
jonahglover
/ GIF-Screencast-OSX.md
Created
May 19, 2017 20:24
— forked from dergachev/GIF-Screencast-OSX.md
OS X Screencast to animated GIF
jonahglover
/ GIF-Screencast-OSX.md
Created
May 19, 2017 20:24
— forked from dergachev/GIF-Screencast-OSX.md
OS X Screencast to animated GIF
jonahglover
/ GIF-Screencast-OSX.md
Created
May 19, 2017 20:24
— forked from dergachev/GIF-Screencast-OSX.md
OS X Screencast to animated GIF
jonahglover
/ typescript.md
Last active
May 27, 2017 00:40
Introduction to TypeScript for JavaScript developers
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
| def unique_open_rate | |
| recipient_activities = recipient_messages.joins(:activities) | |
| ((recipient_activities.where("activities.activity_type = 'open'").distinct.count.to_f / recicipient_messages.count) * 100).round(2) | |
| end | |
| query | |
| user.messages.select("messages.*, | |
| COUNT(DISTINCT recicipient_messages.id) recipient_count, | |
| COUNT(DISTINCT activities.id) total_activities, |
jonahglover
/ keybase.md
Last active
February 5, 2016 04:33
I hereby claim:
- I am jonahglover on github.
- I am jonahglover (https://keybase.io/jonahglover) on keybase.
- I have a public key whose fingerprint is AA54 1C7C 6A1D 11CC 6969 6681 256F B6D4 683F 4E70
To claim this, I am signing this object:
NewerOlder