re-factor.blogspot.com
Re: Factor: February 2015
http://re-factor.blogspot.com/2015_02_01_archive.html
Factor: the language, the theory, and the practice. Saturday, February 28, 2015. A couple days ago, Verizon posted a press release. Complaining about the FCC's recent changes to Internet regulations. Normally, I wouldn't really bother with things like this, but they posted their statement using morse code. While it would be easy enough to read their English version. I thought it would be fun to decode it using Factor. Step 1. Download the blog post and parse the HTML. Subscribe to: Posts (Atom). Youre sm...
re-factor.blogspot.com
Re: Factor: Automated Reasoning
http://re-factor.blogspot.com/2015/08/automated-reasoning.html
Factor: the language, the theory, and the practice. Thursday, August 6, 2015. There was a post about Automated Reasoning in F#, Scala, Haskell, C , and Julia. That uses a simple algorithm from John Harrison's book Handbook of Practical Logic and Automated Reasoning. To simplify this equation:. E = (1 (0 * x) * 3) 12. Has support for ML-style pattern matching. And I thought it would be fun to contribute a simple solution using the match. We want to define a few types of expressions:. X ] } { T{ Add f.
re-factor.blogspot.com
Re: Factor: File Monitor
http://re-factor.blogspot.com/2015/05/file-monitor.html
Factor: the language, the theory, and the practice. Tuesday, May 5, 2015. Has a cross-platform file-system change monitor. Which supports detecting changes to file names, attributes and contents under a specified directory. There is some minor platform differences. Between Mac OS X, Windows, and Linux which may be worth looking at if you are building on top of the io.monitors. Some code to monitor for changed paths recursively in a directory and print each one out:. Next-change path print flush. Source c...
re-factor.blogspot.com
Re: Factor: Sieve of Eratosthenes
http://re-factor.blogspot.com/2015/06/sieve-of-eratosthenes.html
Factor: the language, the theory, and the practice. Sunday, June 7, 2015. I noticed that the Crystal Programming Language. Homepage has an example of the Sieve of Eratosthenes. Algorithm for finding prime numbers. I thought it would be fun to show a few simple variations of that algorithm in Factor. The algorithm works by iteratively marking as not prime the multiples of each prime, starting with the multiples of 2. In pseudocode, it looks like this:. Initially all set to true. N i range [ j f. Calculati...
re-factor.blogspot.com
Re: Factor: October 2014
http://re-factor.blogspot.com/2014_10_01_archive.html
Factor: the language, the theory, and the practice. Thursday, October 23, 2014. Project is a command-line tool and library for transferring data using URL syntax supporting many (many! Protocols. I recently contributed a simple wrapper for libcurl to Factor. And wanted to show a little bit about how it was made. We have a download-to. Word that uses our HTTP client to download resources from the web. I wanted to show how to build a similar word to download resources using libcurl. We will use the alien.
re-factor.blogspot.com
Re: Factor: SEND + MORE = MONEY?
http://re-factor.blogspot.com/2015/06/send-more-money.html
Factor: the language, the theory, and the practice. Monday, June 1, 2015. SEND MORE = MONEY? There's a classic verbal arithmetic. Puzzle that was published in 1924 by Henry Dudeney. Where you solve the equation:. Note: Each letter is a unique digit and. A few days ago, I noticed a blog post with solutions in Perl 6. That references another blog post with a solution in Haskell. I thought I'd show a solution in Factor. Vocabulary that provides something like John McCarthy's. To store the digits):. And it's...
re-factor.blogspot.com
Re: Factor: May 2015
http://re-factor.blogspot.com/2015_05_01_archive.html
Factor: the language, the theory, and the practice. Tuesday, May 5, 2015. Has a cross-platform file-system change monitor. Which supports detecting changes to file names, attributes and contents under a specified directory. There is some minor platform differences. Between Mac OS X, Windows, and Linux which may be worth looking at if you are building on top of the io.monitors. Some code to monitor for changed paths recursively in a directory and print each one out:. Next-change path print flush. We alrea...
re-factor.blogspot.com
Re: Factor: Bit Test
http://re-factor.blogspot.com/2015/06/bit-test.html
Factor: the language, the theory, and the practice. Friday, June 19, 2015. Generic that is used to test an integer to see if a particular bit is set. When operating on fixnum. Integers, this is implemented by the. Have instructions for performing a Bit Test. Is available. Below, we are going to implement a compiler intrinsic. In the hopes of speeding up this operation in Factor. Based on our CPU:. On x86 (returning a boolean using a temporary register and the CMOVB instruction. To check the carry flag.
re-factor.blogspot.com
Re: Factor: Compressed Sieve of Eratosthenes
http://re-factor.blogspot.com/2015/06/compressed-sieve-of-eratosthenes.html
Factor: the language, the theory, and the practice. Wednesday, June 17, 2015. Compressed Sieve of Eratosthenes. In my previous post. We used "2-3-5-7" wheel factorization. To produce a faster Sieve of Eratosthenes. With a compression factor of 2 (by storing only the odd numbers). Samuel Tardieu reminded me. That the sieve variation used by Factor. Uses less memory with a higher compression factor of 3.75. I thought would be a fun implementation to show below. Note: We use 30 here because the ". As you ca...
SOCIAL ENGAGEMENT