howm: Write fragmentarily and read collectively. * Tutorial // Tutorial is nice Howm is a note-taking tool on Emacs. It is similar to emacs-wiki; you can enjoy hyperlinks and full-text search easily. It is not similar to emacs-wiki; it can be combined with any format.
By Joey Hess, Wikis are not just for encyclopedias and Web sites anymore. You can use Ikiwiki in combination with your revision control system to handle issue tracking, news feeds, and other needs of a software project. The wiki can make your bug reports as much a part of your software project as its code, with interesting results. Ikiwiki is a wiki engine with a twist. It's best described by the term "wiki compiler". Just as a typical software project consists of source code that is stored in revision control and compiled with make and gcc, an ikiwiki-based wiki is stored as human editable source in a revision control system, and built into HTML using ikiwiki. Ikiwiki uses your revision control system to track changes and handle tasks such as rolling back changes and merging edits.
Installation of package Work with git.el Customization The git-emacs package Installation and customisation Work with existing repository Creation of new repositories Work with changes History of changes Work with tags & branches The magit package Installation and customisation Basics of work with package Work with changes Work with history of changes Tags, branches, and remote repositories The egg package Auxiliary packages git-blame gitsum egit We can work with Git using several packages — either use modules for VC и DVC packages, or use packages git.el, emacs-git, magit & egg packages. In first case we work with Git through standard interfaces of VC & DVC.
Google Maps, Yahoo! Mail, Facebook, MySpace, YouTube, and Amazon are examples of Web sites built to scale. They access petabytes of data sending terabits per second to millions of users worldwide. The magnitude is awe-inspiring. Users view these large-scale Web sites from a narrower perspective. The typical user has megabytes of data that are downloaded at a few hundred kilobits per second. Users are not so interested in the massive number of requests per second being served; they care more about their individual requests. As they use these Web applications, they inevitably ask the same question: "Why is this site so slow?" The answer hinges on where development teams focus their performance improvements. Performance for the sake of scalability is rightly focused on the back end. Database tuning, replicating architectures, customized data caching, and so on allow Web servers to handle a greater number of requests.
ldor is a programming language with an expressive type system well-suited for mathematical computing and which has been used to develop a number of computer algebra libraries. Originally known as A#, Aldor was conceived as an extension language for the Axiom system, but is now used more in other settings. In Aldor, types and functions are first class values that can be constructed and manipulated within programs. Pervasive support for dependent types allows static checking of dynamic objects. What does this mean for a normal user? Aldor solves many difficulties encountered in widely-used object-oriented programming languages. It allows programs to use a natural style, combining the more attractive and powerful properties of functional, object-oriented and aspect-oriented styles.
NearlyFreeSpeech.NET is the premier provider of pay-as-you-go web hosting. With NearlyFreeSpeech.NET, it's simple. You make a small deposit (as little as $0.25) to start up your hosting service. When your balance runs low, we'll let you know, but you won't be charged automatically. (We don't even keep your private payment details, like credit card numbers, after you make a deposit.) You can add more money any time you want. If your balance runs out, your web site hosting suspends automatically. Take your time (up to 30 days) to decide what to do next. Pricing Data Transfers (Bandwidth): Starts at $1.00 per gigabyte and goes down. Disk Space (Storage): $0.01 per megabyte-month What does "and goes down" mean? It means that we keep track of how much bandwidth you use; the more you use, the cheaper it gets: After you've transferred You get up to 1 GB 1GB / $1 ($1.00 / GB) 2 GB 1.3GB / $1 ($0.77 / GB) 5 GB 1.7GB / $1 ($0.59 / GB) haskell ocaml
Abstract from "Robust Hyperlinks Cost Just Five Words Each", We propose robust hyperlinks as a solution to the problem of broken hyperlinks. A robust hyperlink is a URL augmented with a small "signature", computed from the referenced document. The signature can be submitted as a query to web search engines to locate the document. It turns out that very small signatures are sufficient to readily locate individual documents out of the many millions on the web. Robust hyperlinks exhibit a number of desirable qualities: they can be computed and exploited automatically, are small and cheap to compute (so that it is practical to make all hyperlinks robust), do not require new server or infrastructure support, can be rolled out reasonably well in the existing URL syntax, can be used to automatically retrofit existing links to make them robust, and are easy to understand. In particular, one can start using robust hyperlinks now, as servers and web pages are mostly compatible
K4 by EXAMPLE K4 is product of Kx Inc. http://kx.com 2006.02.23. 22:15 Attila Vrabecz (VrAbi) http://vrabi.web.elte.hu/k based on J by EXAMPLE by 06/11/2005 (C) Oleg Kobchenko http://olegykj.sourceforge.net
Class 1: Overview * Arithmetic expressions * Arithmetic expressions with let-binding o Variation: Call-by-value let-binding syntax o Variation: Defining evaluation with a hypothetical judgement * Typed arithmetic expressions o Variation: Typed arithmetic expressions (extrinsic encoding) * Exercises 1 Class 2: Representation * Mechanizing Metatheory in a Logical Framework discusses this material in detail. * Exercises 2 Class 3: Mechanizing Metatheory * Type safety for MinML (intrinsic encoding) * Type safety for MinML (extrinsic encoding) * Exercises 3 Additional reading * PFPL: We will use Practical Foundations for Programming Languages as a reference for basic PL concepts. * MMLF: Mechanizing Metatheory in a Logical Framework discusses LF, representation, and mechanized metatheory in technical detail. * Proving metatheorems with Twelf is a self-contained intro tutorial
One of the pleasant new features in GHC 6.10 is the long-awaited addition of view patterns. This feature is usually advertised as making it possible to pattern match against the values of an abstract type. An essential aspect of modular software design is that we don't want to expose the implementation of complex code. Someone will surely come along and start making decisions based on bits of our code that they can see, thus limiting our future room to manoeuvre. This is all amply explained on the view pattern wiki page and in the GHC User's Guide. how do they diff from f# active pats