April 1, 2014 - ViperVM, C, libc, Haskell For my ViperVM project, I want to be able to manage memory at a very low-level (pinning pages into RAM, using custom allocator instead of malloc, allocating huge pages, setting execution flag, etc.). However using system calls through the legacy libc interface from Haskell is not appealing and imposes some constraints because the libc is unnecessarily stat
You can find (just about) anything on Medium — apparently even a page that doesn’t exist. Maybe these stories will take you somewhere new?
最小カットを使って「燃やす埋める問題」を解く方法について、問題とソースコードつきで、まとめました。ニコニコ生放送「TopCoderでプログラムしてみた」2000回記念放送の資料です。
Q: What does 0^0 (zero raised to the zeroth power) equal? Why do mathematicians and high school teachers disagree? Clever student: I know! = = = = . Now we just plug in x=0, and we see that zero to the zero is one! Cleverer student: No, you’re wrong! You’re not allowed to divide by zero, which you did in the last step. This is how to do it: = = = = which is true since anything times 0 is 0. Th
Warning This documentation is for an old version of IPython. You can find docs for newer versions here. Release 2.4¶ January, 2015 backport read support for nbformat v4 from IPython 3 support for PyQt5 support for Pygments 2.0 For more information on what fixes have been backported to 2.4, see our detailed release info. Release 2.3.1¶ November, 2014 Fix CRCRLF line-ending bug in notebooks on Windo
Quoraに投稿された質問 "What has happened in theoretical machine learning in the last 5 years (2009-2014)?" 「2009年から2014年の機械学習の理論的進歩について教えてください」 への、機械学習研究者Yisong Yueの回答を翻訳しました。そのままだと通じない部分は意訳しているので、原文に忠実ではありません。 「2009年から2014年の機械学習の理論的進歩について教えてください」への回答 私の個人的な視点で話します。 潜在変数モデルに対する最適推定について: 理論的な進歩として私が最初に思いつくのは、潜在変数モデルに対する(ほぼ)最適な推定です。この潜在変数モデルの最適推定は一般的に非凸な問題であり、つまり(よく知られている)凸最適化の手法の通用しない難題です。 最も輝かしいアプローチはスペクト
Data Science Desktop Survival Guide Graham Williams Togaware Graham.Williams@togaware.com 2024-05-05 Preface 20210308 “The enjoyment of one’s tools is an essential ingredient of successful work.” Donald E. Knuth This book is undergoing conversion from LaTeX to Bookdown. It is a work in progress and there remains numerous glitches. Please bear with us. Welcome to the world of Artificial Intelligenc
For most data scientists, a toolkit like scipy/matplotlib or R becomes so familiar that it becomes almost an extension of their own mind. When fleshing out an idea, we will just open up ipython, write a few lines of code, and display the plot on the screen to get a feel for the general idea. One very nice thing about such toolkits is that although the code may be short and simple, the plots are be
This post examines type-based alias analysis and how a simple one can be implemented for Rust. Background Alias analysis, in the context of LLVM, is an analysis which determines whether two pointers can point to the same data, or “alias”. More specifically, two pointers a and b alias if uses of a pointer “based” on a can ever have a dependence on use of a pointer based on b. In practice, this mean
Home Turing's sunflower In a letter to the zoologist J.Z. Young, British mathematician Alan Turing announced that his theory of embriology could explain, among other things, the connection between leaf arrangements and Fibonacci numbers. At present I am not working on the problem at all, but on my mathematical theory of embriology [...]. This is yielding to treatment, and it will so far as I can s
Shim : A vim inspired text editor with a different agendaContributing to open source is hard. Contributing to open source is a great learning experience but, Docs aren't always clear How one should go about contributing isn't obvious Codebases are gigantic and intimidating...etc. See: https://bugzilla.mozilla.org/buglist.cgi?quicksearch=sw:[good%20first%20bug] Vim could be better Vim is awesome.
Generally speaking, I love randomized algorithms, but there is one I love particularly since even after you understand how it works, it still remains magical from a programmer point of view. It accomplishes something that is almost illogical given how little it asks for in terms of time or space. This algorithm is called HyperLogLog, and today it is introduced as a new data structure for Redis. Co
Alex Crichton alex at crichton.co Thu Apr 3 11:23:42 PDT 2014 Previous message: [rust-dev] Reminder: ~[T] is not going away Next message: [rust-dev] Tagged integral & floating-point types Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Mozilla and the Rust community are pleased to announce version 0.10 of the Rust compiler and tools. Rust is a systems programming language with a foc
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く