Jul
14
Tumblr for R&D of lucille renderer.
This is my tumblelog for my lucille renderer.
Scraps, notes, quotes and etc. found on the web which is valuable for renderer development(and some quantitative finance).
Jun
10
“Here are the software tools that Eric Eide and John Regehr developed during the research described in their EMSOFT 2008 paper.”
Compiler-Testing Tools
Jun
8
“Instant Generics (IG) is an approach to datatype-generic programming in Haskell based on type classes and type families”
Manuel M T Chakravarty - Instant Generics
I’ve been using vim on the command line for ages, but just recently began work on integrating it better with Xcode, my primary development environment. Adding functionality to VIM is quite easy, and thanks to AppleScript on Mac OS, telling Xcode what to do from VIM is easy as well! First you’ll need a copy of MacVim. (via GL Software - Blog
)
May
3
“Abstract: Some type systems are first described formally, to be sometimes followed by an implementation. Other type systems are first implemented as language extensions, to be sometimes retrofitted with a formal description. In neither case it is an easy task to keep both artefacts consistent. In this paper we introduce Ruler, a domain specific language for describing type rules. Type rules can be incrementally described, thus providing a means for building complex type systems on top of simpler ones. Besides checking well-formedness of Ruler programs we use them to generate (1) a visual LATEX rendering, suitable for use in the presentation of formal aspects, and (2) an attribute grammar based implementation. Combining these two aspects in Ruler contributes to bridging the gap between theory and practice: mutually consistent representations can be generated for use in both theoretical and practical settings.”
RulerProgrammingTypeRules < Ehc < TWiki
CS 312 Schedule Spring 2005
(S)ML でいろいろ実装? Type checking あたりからが興味深い.
Mar
30
“Parabix (Parallel bit streams for XML - TM) demonstrates a fundamentally new way to perform high-speed parsing of XML documents. Byte-oriented character stream data is first transformed into eight parallel bit streams, each bit stream comprising one bit per character code unit. Code units may be ASCII characters or UTF-8 bytes, for example, with one parallel bit stream defined for each of bit 0 through bit 7 of each code unit. Given such a representation, the 128-bit SIMD (single-instruction multiple-data) registers of the SSE (Intel architecture SIMD technology) or Altivec (Power PC architecture) may be used to process 128 code unit positions at a time.”
Parabix - Trac
← Older posts
Page 1 of 35