「上を見るよりもまず鏡」2018年一発目です!年明けたらGUMIちゃんが悪い子になっちまったズラ〜〜〜!!!勘弁してくんろ〜〜〜〜〜wwwApple Music: https://music.apple.com/jp/artist/jille-starz/1523019502Spotify: https://open.spotify.com/artist/6kYegp5h5jlpZd3Ufjn1gIYouTube Music: https://music.youtube.com/channel/UCsQFe2W4pbpEQjf2LduTpNQ イラスト:CPUX4さん/http://piapro.jp/t/fNdD Jille.Starz☆ Feat. GUMI:mylist/49316924Song By Jille.:https://twitter.com
👋 Hi there! I’m Jeroen. In 2021 I wrote the second edition of Data Science at the Command Line, which you can read entirely for free here. If you find this book helpful, consider spreading the word! You could, for instance, share it on Twitter, write a review on Amazon, or star the Github repository. Much appreciated! Read Data Science at the Command Line for free Be sure to let me know if you ha
Mili 3rd Album “Millennium Mother” - release - 4/25/2018 CD: http://projectmili.com/millenniummother The Tour tickets available now! (Japan/Shanghai/Taipei): http://projectmili.com/lefthand Follow Mili Instagram: https://www.instagram.com/projectmili/ Twitter: https://twitter.com/ProjectMili Facebook: https://www.facebook.com/ProjectMili Spotify: https://open.spotify.com/artist/0K05TDnN7xPwIHDOw
the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Last week I jokingly said that POPL papers must pass an ‘intellectual intimidation’ threshold in order to be accepted. That’s not true of course, but it is the case that programming languages papers can look especially intimidating to the practitioner (or indeed, the academic work
Date: 2018-01-25 Git: https://gitlab.com/mort96/blog/blob/published/content/00000-home/00010-obscure-c-features.md I have been working on Snow, a unit testing library for C. I wanted to see how close I could come to making a DSL (domain specific language) with its own syntax and features, using only the C preprocessor and more obscure C features and GNU extensions. I will not go into detail about
静的コード解析の会#6でVeriFastによる停止性検査について発表してきました。(資料作って徹夜してしまった…) 前回も同じテーマでしたが私の理解も資料も十分でなかったため(α)としてました。 が、今回の発表では多重集合、整礎関係、実際の処理系で検査できるコードについての説明まで入れることが出来たので、これで一通りの内容を盛り込めたと思います(ただしシーケンシャルなプログラムに限る…)。 参照している論文はModular termination verificationです。 (多分)怪しげな記述や展開のよく分からないページがありますが、がんばって作ったので興味がある人は是非眺めてみて下さい。 個人的なおすすめはStatic Recursionパターンの検証方法のあたり(資料の末尾の方)です。 会場からは、 処理系が(もっと)がんばれ 発表の構成が悪い(直接そうは言われてないけど) とい
General program setup If you hot reload one thing, you’ll need to reload everything that depends on it – otherwise you get type errors. So if we picture our program as a DAG, you’ll need to reload a whole chunk. In the case of reprocessing, the chunk that you reload is “all of the user’s modules”, while the library modules don’t get reloaded. Another important thing is that there needs to be a “ho
Since the beginning of August — when we forked webpack/webpack#master for the next branch — we’ve seen an incredible influx of contributions! Git contribution stats for the webpack next branch at a glance using gitinspector! Try it on your project to see insights. PS: This doesn’t include the incredible work done in our webpack-cli team and webpack-contrib organization supporting our loaders and p
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く