次のページへのリンクをみつけるFastForwardアプローチの定量的評価 - bits and bytes
AutoPagerize0.0.18で、SITEINFOにexampleUrlという項目が含まれるようになりました。そのSITEINFOが動くことを想定している実際のURLを記述するためのものです。 このexampleUrlを利用してSITEINFOが壊れていないかをチェックするAutoPagerize SITEINFO Test – Userscripts.orgというのが作られています。 このようにSITEINFOを参照して、ルールが壊れていないかをチェックしてかわいく表示してくれます。 これをちょこっといじってOperaのFast Forwardはどうやって次のページを決定しているのかで心残りだった、FastForwardの特定のキーワードが入っているリンクを次のページへのリンクだということにするアプローチがどれくらいうまく機能するか定量的に調べてみました。 次のページへのリンク子要
ultra blue:Greasemonkey : LDR - Drive の Safari と Opera 対応バージョン
brazil さんの LDR - Drive は本当に便利なのに、 Safari と Opera で使えないのが残念な感じでした。 書きかえるところ 少しだけです。まずは最初をこんなふうに。 // Opera, Firefox if( typeof Keybind == typeof void 0 ){ window.addEventListener('load', init_ldr_drive, true); } else init_ldr_drive(); // Safari function init_ldr_drive() { var w = typeof unsafeWindow == typeof void 0 ? window: unsafeWindow; w.Keybind.remove('j'); w.Keybind.remove('k'); keyTapper('J',
高反発マットレスの選び方 | アフィブログに騙されない為の高反発マットレス手記
ウレタン系高反発マットレスでよく言及されるのが密度です。それを頑張って分かりやすく説明してみます。
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Opera News
AI New AI Feature Drop: Opera One Developer gets a new Aria access point and now... March 14th, 2024 In this week’s AI Feature Drop, early adopters using the Developer stream of Opera One can test using the Aria... AI, Opera for Android Opera for Android 81 now comes with Ask Aria and Aria Voice features for improved... March 13th, 2024 Opera for Android 81 introduces Ask Aria and Aria Voice, enha
del.icio.usのポスト時にページを解析してタグを追加する - higeorange's blog
Dance Party 上の画像のように，tagthenet.net でページを解析して重要そうな単語をサジェストとして追加してくれるGreasemonkeyスクリプト。 使えるかどうかは，tagthe.netの精度がどの程度かによるね。 参考 tagthe.netのAPIについて 追記 Operaで動くUserJavascriptを作った。全く同じじゃないけど。OperaのGMなんちゃらっての動かすためのuserjsを入れると元のスクリプトでも動くのかなぁ。 http://www14.plala.or.jp/operairc/customize/userjavascript/deliciousTagtheNet.js
Opera News
AI New AI Feature Drop: Opera One Developer gets a new Aria access point and now... March 14th, 2024 In this week’s AI Feature Drop, early adopters using the Developer stream of Opera One can test using the Aria... AI, Opera for Android Opera for Android 81 now comes with Ask Aria and Aria Voice features for improved... March 13th, 2024 Opera for Android 81 introduces Ask Aria and Aria Voice, enha
AutoHotKeyでOperaでもUserJSをインストールできるようにする | 暴満館 ～The House of full Violence～
;UserJSディレクトリ(最後のバックスラッシュを除く) ScriptDir = C:\Opera\profile\script URL = %1% FileName := RegExReplace( URL, ".*/", "" ) IfExist, %ScriptDir%, IfInString, FileName, .js URLDownloadToFile, %URL%, %ScriptDir%\%FileName% スクリプトの内容はこれだけ。後はExecute Programから%lの引数付きで渡すだけでUserJSをインストールすることができる。 引数からダウンロードディレクトリを指定してもよかったが、半角空白が混じっていると厄介なので、あえてスクリプト側に記述するようにした。 UserJSに限らず、ただ単にファイルをダウンロードしているだけなので、分岐してやれば拡張子ごと
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
はてなブログ | 無料ブログを作成しよう
TEXTAREA に文字列置換機能を追加する - WebOS Goodies