A Computational Introduction to Number Theory and Algebra
A Computational Introduction to Number Theory and Algebra A book introducing basic concepts from computational number theory and algebra, including all the necessary mathematical background. The book (now in its second edition) is published by Cambridge University Press. It can be purchased directly from Cambridge University Press, or from online book retailers. DOWNLOADS Version 2 [pdf] (6/16/200
Sampling Based Scene Space Video Processing - Disney Research
We present a novel, sampling-based framework for processing video that enables high-quality scene-space video effects in the presence of inevitable errors in depth and camera pose estimation. Many compelling video processing effects can be achieved if per-pixel depth information and 3D camera calibrations are known. However, the success of such methods is highly dependent on the accuracy of this “
Haskell for Mac IDE — Learn Functional Programming with Haskell
Functional programming is a hot topic in programming and the source of the expressiveness and safety of modern languages like Swift, Scala, and Rust. It also is the foundation for innovative web technologies, such as React, Redux, and Elm. Haskell is simply the best way to mastering functional programming and with that all the recent and upcoming technologies based on it. Haskell is also an amazin
tatterdemalion - Effectful Haskell: Reader, Transformers, Typeclasses
Effectful Haskell: Reader, Transformers, Typeclasses This article is the second in a series on “effectful” Haskell. In the last one we looked at how to work with IO as a Monad and a Functor, using bind, return, fmap, and do notation. We also briefly examined the list type as a monad. Here we’ll be looking at Reader, starting with a common use case – accessing application configuration – and workin
Another Year With Conrod · Piston
Conrod has been getting some painstaking love and attention over the past few months, and considering it has been about a year since the last post I thought it was about time for a quick update! a pic of the classic, useless all_widgets.rs example In summary, the main changes are: Working with stable rust and on crates.io Conrod now supports custom widgets! We landed a widget_ids! macro for automa
Dependent Types and Multi-monadic Effects in F*
Nikhil Swamy1 Cătălin Hriţcu2 Chantal Keller1,3 Aseem Rastogi4 Antoine Delignat-Lavaud2,5 Simon Forest2,5 Karthikeyan Bhargavan2 Cédric Fournet1,3 Pierre-Yves Strub6 Markulf Kohlweiss1 Jean-Karim Zinzindohoue2,5 Santiago Zanella-Béguelin1 1Microsoft Research 2Inria 3MSR-Inria 4UMD 5ENS Paris 6IMDEA Software Institute Symposium on Principles of Programming Languages, POPL 2016 Abstract We present a
Paxos Made Moderately Complex
Paxos algorithms are a family of consensus algorithms (or protocols) that are used in distributed systems to achieve consensus in the presence of crash failures. These protocols are infamously difficult to understand, mainly due to the various states that have to be maintained on servers that have varying roles in the execution of the protocol. Paxos consensus protocols are generally used to imple
The Beauty of Clojure
24 August 2015 - Comments Recently, I’ve been a bit quiet on the blogging front. Part of the reason is that I’ve been learning the programming language Clojure. It’s been emotional. Lisp Hater Clojure has been around since 2007. So, it’s taken me a while to get around to exploring it in anger. Actually, I bought The Joy of Clojure1 back in 2013. So how come it took me so long to get around reading
Awesome-deep-vision
Awesome-deep-vision : A curated list of deep learning resources for computer vision View on GitHub Awesome-deep-vision A curated list of deep learning resources for computer vision Download this project as a .zip file Download this project as a tar.gz file Awesome Deep Vision A curated list of deep learning resources for computer vision, inspired by awesome-php and awesome-computer-vision. Mainta
Writing a Linux Loadable Kernel Module (LKM) - Interfacing to GPIOs | derekmolloy.ie
IntroductionIn this series of articles I describe how you can write a Linux loadable kernel module (LKM) for an embedded Linux device. This is the third article in the series — please read: Writing a Linux Kernel Module — Part 1: Introduction, andWriting a Linux Kernel Module — Part 2: A Character Device,before moving on to this article, as those articles explain how to build, load and unload load
liamoc.net - Write Your Compiler by Proving It Correct
Recently my research has been centered around the development of a self-certifying compiler for a functional language with linear types called Cogent (see O’Connor et al. [2016]). The compiler works by emitting, along with generated low-level code, a proof in Isabelle/HOL (see Nipkow et al. [2002]) that the generated code is a refinement of the original program, expressed via a simple functional s
Reddit - Dive into anything
Best Unity Assets by Keijiro Takahashi : Including open source SSAO, GPU Accelerated terrain, vignetting effects, SSR, refraction etc etc. There way to much to list in the title. 100% you'll be in awe when you see the amount of top quality asset he has on GitHub. Repost of my post on /r/UnityAssets Keijiro Takahashi Source is his ^blog I’m a game developer and software engineer. I worked at Sony C
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
mínt 1.0.0-alpha release
liamoc.net - A Lattice of Languages is a Verification Buffet
Fernando Borretti
Event Launch
Making a dictionary server with Rust
bitbucketの使い方
https://github.com/rhiever/Data-Analysis-and-Machine-Learning-Projects/blob/master/example-data-science-notebook/Example%20Machine%20Learning%20Notebook.ipynb
GitHub - csvoss/retroactive: Fun with time travel: Implementing retroactive data structures in Python
https://crypto.stanford.edu/~dabo/cryptobook/draft_0_2.pdf