miniKanren: an interactive Tutorial
Core miniKanren Core miniKanren extends Scheme with three operations: ==, fresh, and conde. There is also run, which serves as an interface between Scheme and miniKanren, and whose value is a list. == unifies two terms. fresh, which syntactically looks like lambda, introduces lexically-scoped Scheme variables that are bound to new logic variables; fresh also performs conjunction of the relations w
Cloud Source Repositories のドキュメント | Cloud Source Repositories Documentation | Google Cloud
2024 年 6 月 17 日以降、新規のお客様は Cloud Source Repositories をご利用いただけなくなります。組織で以前に Cloud Source Repositories を使用したことがない場合、API を有効にしたり、Cloud Source Repositories を使用したりすることはできません。組織に接続されていない新しいプロジェクトでは、Cloud Source Repositories API を有効にできません。2024 年 6 月 17 日より前に Cloud Source Repositories を使用したことのある組織は、この変更の影響を受けません。
Drop: Passions lead here
Nothing moves us quite like music. Hear more details than ever before with quality audio gear—from exclusive headphones and earbuds to DACs, amps, accessories, and so much more. We believe typing should be a joy, not a chore—which is why we’re on a mission to make the best keyboards in the world. Explore Mech Keys and elevate your typing experience with a keyboard that’s you and all you. OK before
Mmm... Pi-hole...
I have a love-hate relationship with ad blockers. On the one hand, I despise the obnoxious ads that are forced down our throats at what seems like every turn. On the other hand, I appreciate the need for publishers to earn a living so that I can consume their hard-earned work for free. Somewhere in the middle is a responsible approach, for example the sponsorship banner you see at the top of this
Nuxt.js v2 の中身を読んで仕組みを理解しよう - Qiita
東京ラビットハウスのerukitiです。ごきげんよう。 Nuxt大人気ですね。ですが皆さん、Nuxtを使っていてもその中身がどうなってるかまではちゃんと調べている方は少ないのではないでしょうか？エンジニアたるもの中身をちゃんと知らずに使うなどとはもってのほかです！ そこで今回の記事はではNuxtの中身を読んで仕組みを解説します。 2018/10/08（月曜祝日）に開催される技術書典5では、Nuxtの中身を主な題材として、JavaScriptフレームワークの技術と仕組みについて解説する本と、V8を崇める本の2冊を出す予定です。ご興味があればサークルページから、チェックリストに登録してみてください。 この記事は、本を書く過程で調べ上げたことを元にブログバージョンとしてまとめたものです。 誤りがある、ここがわかりづらい、もっと深く説明がほしいなどの要望があれば、お気軽にコメントや、@erukit
技術系カンファレンスのスポンサーシップへの考え方 | F's Garage
社内slackで、「良いエンジニアを採用するにはどうしたらいいか」の記事で少し盛り上がったので、こっちにも書いておきたくなった。 カンファレンスではたいてい企業スポンサーを募っています。ここでスポンサーに名乗りを上げると知名度向上が期待できます。例えば日本最大のRubyカンファレンスであるRubyKaigiをスポンサーしたら「この会社はRubyに力を入れているのだな」と認知されるでしょう。しかし、単にスポンサーをしただけだと効果は限定的です。 BASE社でCTOにならせてもらってから、PHPカンファレンスやPAY.JP立ち上げ期には、僕の方でPyCon JPにスポンサーとして携わらせてもらったりしました。スポンサーになること自体は、お金さえ出せれば簡単なのですが、ブースを出して、１日張り付いているのも結構難しく、最近はちょっと疲れて手を抜いていたら、カンファレンス活動に積極的なメンバーが何
Introduction to WebSockets. Creating a Node.js server and using WebSocket API in the browser - wanago.io - Marcin Wanago Blog
September 24, 2018 WebSocket is a protocol that makes two-way communication in real-time between the user and the server possible. A common use cases are chats and online multiplayer games. Today we cover implementing it both on frontend and backend. Let’s go! Explaining WebSockets WebSocket is a different protocol than HTTP. Despite that, to establish a connection, the client sends a WebSocket ha
GitHubのRails離れと、迫りくるMicrosoft | Yakst
Microsoftによる買収が発表されたGitHubは、これまでどう進化し、今度どうなっていくのか？開発者プラットフォームとしてのGitHubが目指す未来を、同社のSam Lambert氏がプログラミング言語、データセンター戦略、AIといった様々な観点から語る。 [Ruby on Rails]原文 GitHub goes off the Rails as Microsoft closes in (English) 原文著者 Thomas Claburn (The Register) 原文公開日 2018-08-16 翻訳依頼者 翻訳者 mkasasagi 翻訳レビュアー doublemarket taka-h 原著者への翻訳報告 2240日前 メールで報告済み 2230日前 原著者承諾済み 編集 プラットフォーム改造で変わる「Ruby専門店」。今後はGo、Java、Kubernetesへ。
僕はSQLをこう学んだ | mah365
いくらRDBの操作を抽象化してくれる便利なライブラリ（ORマッパーとか）を使っていても、それでもRDBを使う限りは、テーブル設計の考え方にしろ抽出ロジックの考え方にしろ、SQLを知っていないとやりづらいと思うのです。 でも正直、「SQLこう学べば一発でわかるようになるよ」と言えるほど教えるノウハウはない。なので、僕がどうSQLを勉強したか書いておこうと思います。 正直、情報処理の試験で問われるまでSQLを使う用事がなかった プログラミングの歴だけは長いのですが、SQLを勉強する必要が出たのは、新卒で入社した会社で「ソフトウェア開発技術者（現・応用情報処理技術者）を取りなさい」と言われてからです。 いきなりお勉強的なムードからSQLを学ぶ必要が出てしまったので、最初は全くやる気にならなかった・・・ので、これはいかんと思って、何とか手を動かそうと思って、手にとったのがSQL書き方ドリルという本
qutebrowser | qutebrowser
qutebrowser's primary maintainer, The-Compiler, is currently working part-time on qutebrowser, funded by donations. To sustain this for a long time, your help is needed! See the GitHub Sponsors page or alternative donation methods for more information. Depending on your sign-up date and how long you keep a certain level, you can get qutebrowser t-shirts, stickers and more! qutebrowser is a keyboar
Swift.org - Swift 5.0 Release Process
Ted Kremenek is a member of the Swift Core Team and manages the Languages and Runtimes group at Apple. This post describes the goals, release process, and estimated schedule for Swift 5.0. Motivation and Goals The primary goal of Swift 5.0 is for the language to achieve ABI stability. This will enable a stable Swift runtime to be deployed by OS vendors that can be linked against by executables and
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fog Creek is now Glitch! – Glitch – Medium
Code of Conduct: Let's revamp it. · torvalds/linux@8a104f8
GitHub - nuxt/create-nuxt-app: Create Nuxt.js App in seconds.
WebRTC の優位性 · GitHub
GitHub - auchenberg/volkswagen: :see_no_evil: Volkswagen detects when your tests are being run in a CI server, and makes them pass.
Chrome Sync | text/plain
GitHub - ssbc/patchwork: A decentralized messaging and sharing app built on top of Secure Scuttlebutt (SSB).