Multiple selections are the central way of interacting in Kakoune, with powerful handling primitives (regex matches, filtering, splitting, aligning, text objects etc). Les sélections multiples sont le moyen central pour interagir avec Kakoune, grâce à des primitives de manipulation puissantes (expression régulières, filtrage, séparation, alignement, objets textuels etc). A Kakoune legfőbb szerkesz
As you are reading this post, you probably know that there is the lens library by Edward Kmett et al. which is de facto optics library for Haskell. It's famous also for its type errors. the optics library by Adam Gundry, Andres Löh, Andrzej Rybczak and myself uses different representation for optics (note: slanted optics is a concept, monospace optics is a library name). I recommend reading throug
視界に入るもの全てを包丁に変えてしまうと言っても過言ではないYouTuber・圧倒的不審者の極み!さんが、海水から包丁を作りました。この技術を応用すれば、人糞からも包丁が作れるそうです。 海水で包丁を作っちゃいました…… 事の始まりは、「人糞から包丁を作ってほしい」という視聴者からのメール。昔のイヌイットは人糞でナイフを作っていたという話があり、最近、ある人類学者が人糞を凍らせてナイフを作ったが、強度が十分でなく、人糞を使ったナイフは作れないと結論づけたというのです。これに反論してほしいというのが依頼の趣旨でした。 ところが、圧倒的不審者の極み!さんは人糞が苦手なため「人糞からでも恐らく強度が出せるであろうレシピ」で海水から包丁が作れることを証明しました。同じ素材を使えば土や糞から包丁が作れるそうです。作りたくはないでしょうけど……。 まずは、圧倒的な数の道具を駆使して、海水を包丁にするま
2019年のベストアルバム最後の50枚です。今回は最後までトップが決まらず最終的にはたったの6点差でした。2010年代、最高でした!このリストが誰かにとっての新たな音楽との出会いになることを願って!(ぴっち) このランキングについて ネットの音楽オタクが選んだベストアルバムは音楽だいすきクラブ、及びそのメンバー等の特定の誰かが選んで作ったものではありません。 Twitterのハッシュタグ、募集記事のコメント欄に寄せられたものを集計しています。 504人分のデータを集計しました。 募集期間は2019年12月1日から31日の間ですです。 同点の場合、乱数を発生させて順位づけしています。 そのため順位に深い意味はありません。気にしすぎないでください。 150位以内はすべて5人以上に挙げられたものです。 レビューは有志によるものです。500字以内ディス無しでやっています。 レビューは随時追加してい
Haskell Problems For a New Decade It has been a decade since I started writing Haskell, and I look back on all the projects that I cut my teeth on back in the early part of this decade and realise how far the language and tooling have come. Back then Haskell was really barely usable outside of the few people who would “go dark” for months to learn it or those lucky enough to study under researcher
レヴィ=ストロースの70年来の謎を進化シミュレーションで解明 - 文化人類学の基礎「親族の構造」を数理モデルで生成 - 研究成果 多くの人間社会において社会関係は血縁関係によって決まっていて、文化的に同一の集団内では近親者でなくともインセスト・タブーによって婚姻が禁じられている。また集団間の婚姻・親子関係の総体を親族構造と呼び、特に二つの集団間で結婚する限定交換、三つ以上の集団間で一方向の女性の流れがある全面交換などが見出された。しかし、それらの多様な親族構造がいかにして生起するかは明らかでなかった。東京大学大学院総合文化研究科の板尾健司大学院生と金子邦彦教授は、計算機上で原始社会のモデルを用いて親族構造の進化を議論した。婚姻が集団間の協力を促しつつ婚姻上のライバルとの競争をもたらすことを考慮し、社会の時間発展のシミュレーションを行った。その結果、文化人類学者たちが発見した婚姻規則や多様な
This is the second in an indefinite series of posts about things that I think went well in the Sorbet project. The previous one covered our testing approach. Sorbet is fast. Numerous of our early users commented specifically on how fast it was, and how much they appreciated this speed. Our informal benchmarks on Stripe’s codebase clocked it as typechecking around 100,000 lines of code per second p
github actions でビルドした内容で github pages で公開しているサイトを更新する方法をメモ。 環境+要件 案1: github-push-action 案2: actions-gh-pages 採用案 環境+要件 github 上のパブリックリポジトリである gh-pages ブランチを github pages として公開したい gh-pages ブランチの中身を一部だけ差し替えたい(各リリースの内容をまとめて公開したい) master への push の時のみ公開するページを更新したい 案1: github-push-action github token を使って簡単に git push してくれる action。簡単に使えるし単機能でよいが、以下の理由で今回は使えなかった。 So while you can push to the `gh-pages` b
今週ちまちまと git-messenger.vim や clever-f.vim の CI を GitHub Actions に移行していました.毎回 Vim プラグインの CI のために Vim や Neovim のセットアップを書くのが面倒なのと,Windows 上で Vim や Neovim を入れるのが(Powershell に不慣れなこともあり)大変だったので,GitHub Action として切り出すことにしました. github.com 1ステップで Vim や Neovim を簡単にインストールできます. Vim と Neovim 両対応 Linux, macOS, Windows すべてで動作 'stable' と 'nightly' の両方に対応 追記: 特定バージョンにも対応(v1.1.0) 使い方 下記のようにステップを書けば Vim または Neovim をインス
はじめに スピン系をモンテカルロシミュレーションする時、Swendsen-Wang法やWolff法など、Fortuin-Kasteleyn表現を用いたクラスターアップデートアルゴリズムを使うと非常に効率良くサンプリングができます。さらに、Fortuin-Kasteleyn表現が得られている時、普通にサンプリングするよりも分散が小さくなるImproved Estimatorを構成できます。 本稿では、Ising模型の磁化やビンダー比のImproved Estimatorの導出と、どのくらい分散が小さくなるのかの説明をします。 コードは https://github.com/kaityo256/mc/tree/master/improved_estimator に置いておきます。 Improved Estimatorとは サイコロとコインの例 Improved Estimatorを一言で言うと
人材不足が最も深刻な分野の一つでありながら、効率化に役立つ(はずの)IT化が最も進まない介護の世界。私の実体験をベースに、介護ITの“闇”に迫りつつ、その中から一筋の光明ともなり得る、“安らぎ”を得るための手段について考えたいと思います。⇒連載バックナンバーはこちらから。 「通常運転」だった父 あれは今から数年前、父がまだ生きていたころの、正月休みが終わった最初の日、寒風吹きすさぶ、平日の午前9時ごろのことでした。 市役所から派遣された調査員の方が、父を担当されていた介護支援専門員(ケアマネジャー、以下、ケアマネという)を伴って、父の実家にやってきました。これは、1年に1度、必ず行われる大切なイベントです。 調査員の方が、父に対して、いろいろと質問をします。必要に応じて父に実際に体を動かすように求め、私にも話を聞きます(食事、排便、衣服の脱衣や外出の状態など)。 次に、調査員の方が、3つの
Hi everyone! After exactly 365 days of very intensive development, I'm extremely happy to unveil the first stable release of Yarn 2. In this post I will explain what this release will mean for our community. Buckle up! If you're interested to know more about what will happen to Yarn 1, keep reading as we detail our plans later down this post: Future Plans. If you just want to start right now with
こんにちは。林岳彦です。冬は寒いですね。言葉は三角、こたつは四角、ネコは丸くなる季節です。今回は研究集会の告知(速報版)です。まさかの続編の開催です。何卒よろしくお願いいたします! 国立環境研究所社会対話・協働推進オフィスの主催により、「エビデンス、リスク分析と公共政策の関係について、価値/規範の側面から議論する」ことを目的としたオープンな研究集会を3月5日(木)に以下の要領で開催いたします。ご興味のある方々のご参加を広くお待ちしております! 【*参加費・事前登録等の必要はありません。ご所属や専門分野を問わずどなたでもご参加を歓迎いたします。また、来場者が会場の定員125名を超えた場合には席が不足する可能性がありますが、予めその旨ご了承のほどよろしくお願いいたします】 研究集会『エビデンスは棍棒ではない2:エビデンス、ナラティブ/コンテクスト、規範的議論のベストミックスに向けて』 注意:新
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く