先週Microsoft社がP言語に関するブログ記事を公開し一部界隈で話題となった。 P言語くん pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017年3月26日 「いまさら一文字言語かよ…」「何個目だ？」といった批判的諦念的なものから、「RustとGoとErlangの間の子みたいなのだなあ」「なんか読みにくい」といった反応が多くこの言語の重要性やインパクトに対して正しく理解しているものがあまりなかった。尊敬しているTD勢ですらあまり重要性が伝わってないようだ 1 2 。上記のブログ記事を読んだり、マニュアルを読んだらすぐ分かるようなことではあるが、日本語で解説しておこうと思う。なおいわゆる言語入門とかそういった類のものではないことをご理解いただきたい。 TL;DR 並行処理や分散システムの形式証明や形式検証はそれ自体
Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
ニコニコVIPユーザー様、こんにちわ！ 最近、毎日新しい商品を入荷しておりまして、 特にメンズスタイルのオススメの 「Tシャツ」、「ポロシャツ」の種類が豊富です♪ 早めに夏物をGETして、夏に向けたお出かけの 準備もバッチリにしちゃいましょう★ その前に、僕は予定入れないとな、、汗 皆様のご来店、心よりお待ちしてます！ ⇒やっぱ、7分袖カーディガンが見た目キレイ 1 以下、名無しにかわりましてVIPがお送りします 投稿日：2010/06/23(水) 14:19:59.46 ID:wiLHn6pV0 俺が出会い系で会えた女について書いてみようと思う 書きためたのでゆっくり馬鹿の話を垣間見ていただければこれ幸いであります 始めたのは大学１年生で、まだ童貞だったころ 県外にいった友人が都会じゃ当たり前なんだぜ というコトバに乗せられてやってしまった 当時はもうスタビも寂れだしたこ
ORTC が切り開く SVC サイマルキャストと WebRTC NV - Block Rockin’ Codes
intro 「ORTC って WebRTC がちょっと便利になるくらいなんでしょ？」くらいに思っている人が結構いるようだったので、現時点で予想される ORTC のもつ可能性 と、現状の WebRTC の問題点、そして WebRTC がこれからどうなっていきそうかについて、自分の理解している範囲で書いてみます。 ORTC については、ほとんど実装が無く(と書いてる間に Edge に入っちゃったんですが)まだドラフトやそこにある Example、 ML での議論などの公開情報を元に書いてるだけなので、間違っているものや、将来変わるところも有ると思います。よって内容は一切保証しません。 また、何か自分の理解がおかしいところなど有った場合は、コメントなどで指摘頂けると幸いです。 低レベル API 化へ WebRTC は少なからず「ブラウザで P2P テレビ会議」をするというユースケースを中心として
P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research
The programming model in P is based on concurrently executing state machines communicating via events, with each event accompanied by a typed payload value. A memory management system based on linear typing and unique pointers provides safe memory management and data-race-free concurrent execution. In this respect, P is similar to modern systems programming languages such as Rust (opens in new tab
Block Rockin’ Codes
新しい技術などを自分で色々試せるように、自分のドメインの、自分で作ったブログに移行しました。 ここの記事も、いくつかはアップデートがてら移行していく予定です。 あたらしいブログは以下です。 ということで Blog を移転しました。 / “Blog を移転しました | https://t.co/c3DSoNCwFc” https://t.co/CHoKkYm6RW— Jxck (@Jxck_) 2016年2月15日 よろしくお願いします。 Intro 個人的には HTTP2 と ORTC/WebRTC と Service Worker 周りさわって、 JS と Go を書いてる一年だった。 Extensible Web - Progressive Web APP Extensible Web で始まった話が、様々な API の設計に適用された。 結果手に入った Service Worker
Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interleaving of messages and failures. Unsurprisingly, it is common for service teams to uncover correctness bugs after deployment. Formal methods can play an important role in addressing this challenge! P Over
O-ZONE OFFICIAL WEB SITE
「着うた®」5年間総ランキング驚異の1位を獲得!! 携帯音楽配信サイトレコード会社直営♪ではサービス開始してから2007年11月末までの「着うた®」5周年を記念し、「着うた®」5年間総ランキングが掲出された! 「着うた®」過去5年の総ランキング一位に輝いたメガヒット曲は？ なんと、日本全国を巻き込み、社会現象にまでなったオゾンの「恋のマイアヒ」。 2005年といえば...オゾンの「恋のマイアヒ」 2005年洋楽NO.1ヒット！オリコンチャート2週連続1位（2005/8/22 8/29付）有線リクエストチャート半年間1位を独占! MUSIC STATION (テレビ朝日)に洋楽アーティストとして異例の3回出演フジテレビ『smap×smap』ホストマンブルースで『恋のマイアヒ』でキムタクが踊る! 等で社会現象にまでなり、2005年は日本レコード大賞 特別賞、ゴールドディスク大賞 ARTIST
Dior cosmetics :
To be able to view the site, the flash 8 plug-in is required: Please download Flash Player. La consultation du site requiert le plug-in 8: Télécharger Flash Player. After Downloading / Après le téléchargement: Enter the site
Java5の新機能
Java5（j2sdk1.5、jdk1.5）で追加されたものを紹介していくです〜。 �@for文の構文に進化が！ 今までのfor文は、for(変数の初期化; 繰り返し条件; 変数の増分)という構文を使って たですが今回、新たにもう1つ加わったです。それは、 for(一時的に格納しておく変数 : コレクション) コレクションとは、配列、Vectorクラスなど、複数の値をまとめておけるようなものです このfor文が一体何を表してるかと言うですと、次のfor文を見てほしいです。 for(int i = 0; i<arr.length; i++){ System.out.println(arr[i]); } これは、配列の値をすべて表示するプログラムですね！ 具体的には、配列arrの要素数未満の間繰り返すって感じです。 これを新型の構文を使うともっと簡単に表現することができ
Block Rockin’ Codes
新しい技術などを自分で色々試せるように、自分のドメインの、自分で作ったブログに移行しました。 ここの記事も、いくつかはアップデートがてら移行していく予定です。 あたらしいブログは以下です。 ということで Blog を移転しました。 / “Blog を移転しました | https://t.co/c3DSoNCwFc” https://t.co/CHoKkYm6RW— Jxck (@Jxck_) 2016年2月15日 よろしくお願いします。 Intro 個人的には HTTP2 と ORTC/WebRTC と Service Worker 周りさわって、 JS と Go を書いてる一年だった。 Extensible Web - Progressive Web APP Extensible Web で始まった話が、様々な API の設計に適用された。 結果手に入った Service Worker
後半戦： 2019年のpwn問を全部解くチャレンジ【後半戦】 - CTFするぞ まえがき (2019年3月記) 最近CTFに出るとそこそこ良い成績が残せる一方，チームのpwn担当として実力不足を感じています． そこで，pwn苦手意識を克服すべく本日2019年3月13日から，2019年1月1日から2019年12月31日までに出題されるpwn問を全て解いてwriteupを書くことにしました． 週2程度でCTFがあって，各CTFに3問くらいpwnがあるイメージなので，今からコツコツやれば来年の1月には記事が出来上がってるんじゃないかなーと思います． 追記(2019年5月8日記) 思った以上に量が多いので前半と後半に分けます。前半は7月上旬、後半は来年の1月上旬に投稿するつもりです。 ほぼ初心者の状態から始めたので、解説ミスとかあれば是非コメントかTwitterでご連絡くださいm(_ _)m まえ
Plugins Refer to the Trac documentation for installation instructions. Show hacks for releases:0.11 0.12 1.0 1.2 1.4 1.6 anyrelease AccountManagerPlugin: Manage Trac user accounts (tags: 0.11, 0.12, 1.0, 1.2, 1.4, 1.6, AccountManager, authentication, babel, bsd-license, hasienda, i18n, mgood, pacopablo, plugin, pypi, rjollos) AccreditationPlugin: Support for accreditation of a ticket (tags: 1.0,
LLM as a compiler Achieves great productivity increase in development Heads up: Building code costs money Each code line incurs usually between $0.005 - $0.035 fee via LLM. The payoff? Exceptional efficiency gains. Early Adopters Note: PLang is at version 0.1. Be prepared for breaking changes and the presence of bugs. Get involved in our community on Discord or contribute by reporting issues on Gi
I find that recently often when I try to install a Python package using pip, I get the error(s) below. I found a reference online that one has to use "python2 setup.py install" from the download directory, and indeed find that this will then work if I manually find and download the package (from pypi). But, I don't know where pip is downloading packages to, and/or why it is failing in this manner.
Ghostscript についてちょっとだけ - おがさわらなるひこのオープンソースとかプログラミングとか印刷技術とか
明日某所でプレゼンしなきゃいけないんですがまだ自己紹介しかスライド書いてなくてどんぐらい喋ればいいかとか聞いてなくてスケジュール見たら1時間半もあるけどいったいオレにこの時間何をすればいいんだか教えてくれなおがさわらなるひこです。こんばんわ。 ネタは Linux 印刷ネタなんで、このブログ投影してダラダラ喋らせてもらえればラクなんですけど、さすがにそうもいかないわな。 ということで今日もこちらはさっさかやっつけるモードです。 昨日のエントリーで Ghostscript と Poppler という名前だけ出したんで、ちょっと説明しときます……とおもったら、GS だけで力尽きた。Poppler については明日。 よいこのみんなは各自調べてると思いますが、まあ、それはこのページなりの色を出しながら……。 Ghostscript とはなんぞや 知らん人はいないと思いますが……いや、印刷知らない人は
神風特攻隊ってさ:あじゃじゃしたー
神風特攻隊ってさ 1 名前：以下、VIPがお送りします[] 投稿日：2010/02/04(木) 13:15:07.01 ID:Yjzz8iYg0 こんな奴らだったんだな 普通にその辺の大学のキャンパスとかにいそうな奴らだな 5 名前：以下、VIPがお送りします[] 投稿日：2010/02/04(木) 13:18:43.57 ID:DwxSmgtu0 >>1 この後飛ぶんだぜ。 死ぬために飛ぶんだぜ。それなのにこの笑顔・・・・切なすぎる。「奴ら」とかいうなよ。彼らの犠牲があってこその今の平和だぜ。などとマジレス。 コメント：今の日本は駄目だ駄目だ言われるけど 太平洋戦争以降戦争を二度としていないっていうだけでも本当にありがたいと思う。 残された家族のためと、笑顔で飛んだ若者を思うと悲しくなります。 以下、VIPがお送りします[] 投稿日：2010/02/04(木) 13:16:55.28
Cabezonについて
Cabezonとは カベソンは自己記述可能なPascalコンパイラです（ 言語仕様、サンプル）。 カベソン・コンパイラは１パスのコンパイラで、Pascalのソースを 読み込んでＭＡＳＭのアセンブリソースを出力することにより、8086の ネイティブ・コードを生成します。 以下のアーカイブにより、カベソンをダウンロードしてお使い下さい。 取りあえず、カベソンを試してみるだけなら、実行形式だけで十分です。 実行形式(60KB) ソース(75KB) マニュアル(20KB) ライブラリソース(34KB) これらのアーカイブの転載は自由です。但し、事後でも結構ですので、 転載の旨メールを下さい。カベソンに関する転載報告や要望質問等は、 ockeghem まで連絡下さいますようお願い致します。 カベソンの実行には、アセンブラとリンカが必要となります。Microsft MASM/LINKの組み合わせか、B
ソースコードのファイル数、行数、使われている言語の割合を瞬時に調べる - Milkode 0.9.3 - ブログのおんがえし
インストール $ gem install milkode 詳しくはこちらをどうぞ - ダウンロード, Gems milk info milk info コマンドを使うと、登録されたパッケージの ファイル数 使われている言語の割合(breakdown) 行数 を表示することが出来ます。 $ milk info Name: milkode Ignore: ["test/data"] Options: {:fav=>true} Records: 112 Breakdown: Ruby:75(66%), Haml:10(8%), CSS:8(7%), JavaScript:6(5%), RDoc:2(1%), other:7(6%), unknown:4(3%) Linecount: 11266 Githubのruby/rubyを調べるとこんな感じになります。 全体の70%がRuby、12%がCで
On upcoming immutable string literals in Ruby … and check why 5600+ Rails engineers read also this On upcoming immutable string literals in Ruby Today I checked one of the solutions made by our Junior Rails Developer class student. As part of the course they make Rails apps but also learn from smaller code examples delivered by exercism.io. I found there an opportunity for him to learn more about
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
P言語の素晴らしさについて - kuenishi's blog
安全な非同期イベント駆動プログラミングのためのP言語をMicrosoftがオープンソース化
俺が経験した知る限りの出会い系について書こうと思う ニコニコVIP2ch
GitHub - p-org/P: The P programming language.
2019年のpwn問を全部解くチャレンジ【前半戦】 - CTFするぞ
plugin – Trac Hacks - Plugins Macros etc.
PLang - next evolution in programming languages
Python pip install fails: invalid command egg_info
♡♥ Dior cosmetics beauty products, makeup tips, fragrances and skincare
On upcoming immutable string literals in Ruby